Search results
From MaRDI portal
Did you mean: parallel computers
- applications for distributed and parallel architectures 2001-11-01 Paper Efficient symbolic analysis for parallelizing compilers and performance estimators 1999-01-11...10 bytes (13 words) - 17:15, 11 April 2026
- 1990-01-01 Paper The average performance of a parallel stable mariage algorithm 1989-01-01 Paper A parallel sorting scheme whose basic operation sortsN elements...10 bytes (15 words) - 15:48, 11 April 2026
- invocation for coupled components Journal of Parallel and Distributed Computing 2006-10-10 Paper Parallel PDE-based simulations using the common component...10 bytes (48 words) - 20:14, 14 April 2026
- 2011-01-16 Paper Parallelization of a level set method for simulating dendritic growth 2007-01-09 Paper Languages and Compilers for Parallel Computing 2005-12-27...10 bytes (15 words) - 12:11, 11 April 2026
- Coordination Models and Languages 2006-01-10 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper https://portal.mardi4nfdi.de/entity/Q4738177...10 bytes (15 words) - 18:31, 10 April 2026
- Transactions on Image Processing 2022-09-16 Paper Languages and Compilers for Parallel Computing Lecture Notes in Computer Science 2005-12-27 Paper scientific...10 bytes (47 words) - 01:26, 15 April 2026
- complex, hierarchical command structure 2008-04-14 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper https://portal.mardi4nfdi.de/entity/Q2722071...10 bytes (15 words) - 12:23, 11 April 2026
- Type Languages and Compilers for Parallel Computing Lecture Notes in Computer Science 2005-12-27 Paper Supporting dynamic parallel object arrays Concurrency...10 bytes (48 words) - 01:48, 15 April 2026
- programming New Generation Computing 2008-03-28 Paper Languages and Compilers for Parallel Computing Lecture Notes in Computer Science 2005-12-27 Paper...10 bytes (47 words) - 21:43, 14 April 2026
- Paper A shape analysis for optimizing parallel graph programs 2014-04-10 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper Look left...10 bytes (14 words) - 17:45, 10 April 2026
- refinement checking 2024-02-06 Paper Compositional learning for interleaving parallel automata 2023-11-24 Paper Lowerbounds for Bisimulation by Partition Refinement...10 bytes (17 words) - 17:47, 10 April 2026
- Optimization 2009-05-05 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper Euro-Par 2004 Parallel Processing 2005-08-23 Paper Processor-embedded...10 bytes (15 words) - 10:26, 11 April 2026
- containment theorem 2022-10-13 Paper A formal treatment of the role of verified compilers in secure computation 2022-03-09 Paper https://portal.mardi4nfdi.de/entity/Q5002798...10 bytes (15 words) - 18:19, 10 April 2026
- path for densely connected networks 2007-03-12 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper https://portal.mardi4nfdi.de/entity/Q4738690...10 bytes (13 words) - 02:11, 12 April 2026
- Paper Non-malleable codes for space-bounded tampering 2017-11-15 Paper Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model...10 bytes (13 words) - 20:30, 10 April 2026
- algorithms for object-space-parallel direct volume rendering of unstructured grids 2007-02-19 Paper Languages and Compilers for Parallel Computing 2005-12-27...10 bytes (14 words) - 18:18, 10 April 2026
- Languages and Compilers for Parallel Computing 2005-12-27 Paper Towards a first vertical prototyping of an extremely fine-grained parallel programming approach...10 bytes (15 words) - 17:15, 11 April 2026
- Paper Coupling proofs are probabilistic product programs 2017-10-20 Paper Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model...10 bytes (13 words) - 12:46, 11 April 2026
- verification of distributed phasers 2018-01-11 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper SFCGen: A framework for efficient generation...10 bytes (15 words) - 17:45, 10 April 2026
- characterization results for parallel systems with two heterogeneous exponential components 2011-12-21 Paper On parallel systems with heterogeneous gamma...10 bytes (14 words) - 17:46, 10 April 2026
