Search results
From MaRDI portal
Did you mean: parallelizing computation
- self-certifying compilation framework for WebAssembly 2021-10-18 Paper Model checking in bits and pieces 2021-06-21 Paper Witnessing secure compilation 2020-08-05...10 bytes (15 words) - 20:58, 11 April 2026
- extensions for modular (logic) languages 2013-03-13 Paper Lightweight compilation of (C)LP to JavaScript 2013-03-13 Paper Interval-based resource usage...10 bytes (16 words) - 03:54, 13 April 2026
- Publication Type Optimization of a parallel CFD code and its performance evaluation on Tianhe-1A 2018-11-27 Paper Parallelizing and optimizing a detonation combustion...10 bytes (13 words) - 23:52, 10 April 2026
- 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
- heterogeneous networks with mpC 2003-01-21 Paper Compilation of vector statements of C[] language for architectures with multilevel memory hierarchy 2002-01-06...10 bytes (17 words) - 21:36, 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
- possibilistic knowledge bases 2015-11-04 Paper A generic framework for a compilation-based inference in probabilistic and possibilistic networks 2015-09-25...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
- shared and distributed-memory machines 2001-06-13 Paper Compilation techniques for out-of-core parallel computations 1998-08-13 Paper...10 bytes (15 words) - 10:26, 11 April 2026
- 2004-02-08 Paper Refined description of the C[] language 2003-09-01 Paper Compilation of vector statements of C[] language for architectures with multilevel...10 bytes (15 words) - 17:19, 10 April 2026
- Publication Date of Publication Type A Compilation Method for Dynamic Typing in ML 2023-03-29 Paper A fully concurrent garbage...10 bytes (13 words) - 18:19, 10 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
- Paper Combined selection of tile sizes and unroll factors using iterative compilation 2003-07-01 Paper https://portal.mardi4nfdi.de/entity/Q4791894 2003-02-04...10 bytes (17 words) - 16:13, 11 April 2026
- Single Cardinality Constraint 2022-10-28 Paper MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library 2021-12-27 Paper The SCIP...10 bytes (13 words) - 19:03, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q2764055 2002-01-22 Paper Interprocedural compilation of Fortran D. 1997-08-07 Paper https://portal.mardi4nfdi.de/entity/Q4860228...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
- Paper Automating Verification of Loops by Parallelization 2008-05-27 Paper Normal Forms for Knowledge Compilation 2008-03-17 Paper KeY: A Formal Method for...10 bytes (15 words) - 15:48, 11 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
