Search results
From MaRDI portal
- searching 1973-01-01 Paper Parallel Program Schemata and Maximal Parallelism I. Fundamental Results 1973-01-01 Paper Parallel Program Schemata and Maximal Parallelism...10 bytes (15 words) - 15:46, 24 September 2023
- hierarchical distributed‐shared memory parallel systems and their implementation with integration of high‐level parallel languages 2003-02-04 Paper https://portal...10 bytes (17 words) - 15:40, 8 December 2023
- 1992-06-28 Paper Design of parallel sorting algorithm 1992-06-28 Paper Theoretical and applied aspects of structured parallel programming 1987-01-01 Paper Algorithmic...10 bytes (15 words) - 00:47, 13 December 2023
- language processors and parallel computations 1979-01-01 Paper Multilayer syntactic analysis of parallel programming systems 1979-01-01 Paper https://portal...10 bytes (15 words) - 09:50, 13 December 2023
- A calculation-based framework for systematic parallel programming with MapReduce 2012-06-22 Paper Program calculation in Coq 2011-01-21 Paper Gradual refinement...10 bytes (13 words) - 09:13, 6 October 2023
- 2024-12-03 Paper Parallel Logic Programming: A Sequel 2023-12-12 Paper Analysis and Transformation of Constrained Horn Clauses for Program Verification 2023-12-12...10 bytes (16 words) - 02:58, 12 December 2023
- Traveling-Salesman Problem and Minimum Spanning Trees 1970-01-01 Paper Parallel program schemata 1969-01-01 Paper Some Bounds on the Storage Requirements of...10 bytes (16 words) - 04:05, 9 December 2023
- notation for parallel architectures 1991-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3495633 1990-01-01 Paper A safe approach to parallel combinator...10 bytes (16 words) - 02:19, 12 December 2023
- butterflies 2008-09-04 Paper Program Schemes with Deep Pushdown Storage 2008-06-19 Paper The computational complexity of the parallel knock-out problem 2008-04-15...10 bytes (14 words) - 23:40, 9 December 2023
- Paper Algebras for program correctness in Isabelle/HOL 2014-04-16 Paper Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages...10 bytes (13 words) - 18:44, 6 October 2023
- of Publication Type Fast parallel algorithm for prefix computation in multi-mesh architecture 2022-07-04 Paper Fast parallel algorithms for binary multiplication...10 bytes (15 words) - 15:38, 12 December 2023
- Completeness of an Axiom System for Program Verification 1981-01-01 Paper Towards a complexity theory of synchronous parallel computation 1981-01-01 Paper Space...10 bytes (16 words) - 16:38, 12 December 2023
- models of parallel computation 2024-07-29 Paper Paraconsistent logic and query answering in inconsistent databases 2024-03-20 Paper Program algebra for...10 bytes (15 words) - 18:33, 24 September 2023
- line 2018-06-05 Paper Parallel machine scheduling with speed-up resources 2018-05-30 Paper Approximation algorithms for parallel machine scheduling with...10 bytes (14 words) - 12:48, 8 December 2023
- de/entity/Q4323604 1995-02-23 Paper Serial and Parallel Multicategory Discrimination 1995-01-23 Paper Parallel Variable Distribution 1995-01-23 Paper Misclassification...10 bytes (17 words) - 06:11, 9 December 2023
- Useless-code elimination and program slicing for the pi-calculus. 2010-01-05 Paper Undecidable equivalences for basic parallel processes 2009-07-15 Paper...10 bytes (14 words) - 08:08, 25 September 2023
- Models of Parallel Computation 1973-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4125823 1972-01-01 Paper Some Undecidability Results for Parallel Program...10 bytes (16 words) - 23:25, 12 December 2023
- of rectangular domains for parallel computation 1997-03-11 Paper Alternating direction splittings for block angular parallel optimization 1997-01-07 Paper...10 bytes (15 words) - 19:01, 12 December 2023
- Efficient parallel factorization and solution of structured and unstructured linear systems 2005-08-05 Paper MODELS AND RESOURCE METRICS FOR PARALLEL AND DISTRIBUTED...10 bytes (16 words) - 09:02, 8 December 2023
- https://portal.mardi4nfdi.de/entity/Q4249157 1999-06-16 Paper Parallel implementation of DNAml program on message-passing architectures 1999-01-12 Paper Fast...10 bytes (15 words) - 03:44, 9 December 2023
