Search results
From MaRDI portal
Did you mean: parallel computation
- Models for Hardware/Software Compilation and Their System-Level Realization 2017-07-27 Paper Gaalop -- high performance parallel computing based on conformal...10 bytes (13 words) - 18:21, 10 April 2026
- for Certified Abstraction Layers 2021-01-21 Paper Typed cross-module compilation 2019-09-26 Paper Toward compositional verification of interruptible OS...10 bytes (15 words) - 23:51, 11 April 2026
- properties 2014-03-10 Paper Formal languages and compilation 2013-12-05 Paper Deterministic counter machines and parallel matching computations 2013-08-07 Paper...10 bytes (15 words) - 19:32, 10 April 2026
- programming environment for high-performance parallel computing on heterogeneous networks 2004-02-08 Paper Parallel Computing on Heterogeneous Networks 2003-09-21...10 bytes (17 words) - 21:36, 11 April 2026
- reasoning 2024-09-11 Paper Provenance calculus and possibilistic logic: a parallel and a discussion 2024-08-15 Paper Tractable closure-based possibilistic...10 bytes (13 words) - 17:58, 10 April 2026
- de/entity/Q4190087 1979-01-01 Paper A semantic view of ALGOL 68 1979-01-01 Paper Parallel compilation: A design and its application to SIMULA 67 1978-01-01 Paper...10 bytes (15 words) - 11:28, 6 October 2023
- Publication Date of Publication Type Certified knowledge compilation with application to verified model counting 2024-11-26 Paper Clausal proofs...10 bytes (15 words) - 04:09, 13 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
- Paper Lock-free parallel dynamic programming 2012-03-07 Paper Efficient local unfolding with ancestor stacks 2011-08-17 Paper Parallel backtracking with...10 bytes (16 words) - 03:54, 13 April 2026
- Paper Combined selection of tile sizes and unroll factors using iterative compilation 2003-07-01 Paper https://portal.mardi4nfdi.de/entity/Q4791901 2003-02-04...10 bytes (18 words) - 16:13, 11 April 2026
- https://portal.mardi4nfdi.de/entity/Q5701678 2005-11-04 Paper Euro-Par 2004 Parallel Processing 2005-08-23 Paper Towards general and exact distributed invalidation...10 bytes (17 words) - 16:13, 11 April 2026
- de/entity/Q2763683 2002-01-21 Paper Parallel functional programming on recursively defined data via data-parallel recursion 2000-11-28 Paper https://portal...10 bytes (13 words) - 18:19, 10 April 2026
- fortran for high performance parallel computing 2005-09-05 Paper A language and programming environment for high-performance parallel computing on heterogeneous...10 bytes (15 words) - 17:19, 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
- roads Pattern Recognition Letters 2002-03-13 Paper Compilation Techniques for Recognition of Parallel Processable Tasks in Arithmetic Expressions IEEE Transactions...10 bytes (48 words) - 01:32, 15 April 2026
- 2011-03-14 Paper LinBox founding scope allocation, parallel building blocks, and separate compilation 2010-09-14 Paper An introspective algorithm for the...10 bytes (15 words) - 01:22, 11 April 2026
- 2012-10-24 Paper LinBox founding scope allocation, parallel building blocks, and separate compilation 2010-09-14 Paper https://portal.mardi4nfdi.de/entity/Q3568137...10 bytes (13 words) - 05:43, 11 April 2026
- systems 2007-10-09 Paper Fast Frequent Querying with Lazy Control Flow Compilation 2007-07-12 Paper Improving PARMA trailing 2007-02-13 Paper Logic Programming...10 bytes (13 words) - 10:58, 13 April 2026
- partial Grundy number on trees 2005-12-29 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper Scalarization using loop alignment and loop...10 bytes (15 words) - 17:45, 10 April 2026
- de/entity/Q4281611 1994-03-10 Paper Continuation-based compilation of functional languages for parallel machines 1994-02-16 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 19:39, 11 April 2026
