Search results
From MaRDI portal
- 2001-11-19 Paper Using knowledge-based techniques on loop parallelization for parallelizing compilers 1998-07-23 Paper A new probabilistic induction method...10 bytes (15 words) - 15:24, 12 December 2023
- research on parallelizing compilers 2003-02-04 Paper Using knowledge-based techniques on loop parallelization for parallelizing compilers 1998-07-23 Paper...10 bytes (17 words) - 04:35, 7 October 2023
- 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) - 11:42, 7 October 2023
- A divide-and-conquer algorithm for irregular redistribution in parallelizing compilers 2005-01-19 Paper https://portal.mardi4nfdi.de/entity/Q4451902 2004-02-11...10 bytes (13 words) - 08:26, 25 September 2023
- partitioning techniques for parallelizing compilers 2000-09-19 Paper Efficient index generation for compiling two-level mappings in data-parallel programs 2000-09-04...10 bytes (15 words) - 00:32, 9 December 2023
- partitioning techniques for parallelizing compilers 2000-09-19 Paper Efficient index generation for compiling two-level mappings in data-parallel programs 2000-09-04...10 bytes (15 words) - 08:10, 12 December 2023
- subscripts in data-parallel programs 2001-10-01 Paper Statement-level communication-free partitioning techniques for parallelizing compilers 2000-09-19 Paper...10 bytes (15 words) - 00:32, 9 December 2023
- 2005-04-26 Paper Using knowledge‐based systems for research on parallelizing compilers 2003-02-04 Paper...10 bytes (15 words) - 20:06, 26 December 2023
- A divide-and-conquer algorithm for irregular redistribution in parallelizing compilers 2005-01-19 Paper...10 bytes (13 words) - 01:00, 7 October 2023
- Publication Type Using knowledge-based techniques on loop parallelization for parallelizing compilers 1998-07-23 Paper...10 bytes (15 words) - 15:00, 24 September 2023
- Publication Type Using knowledge-based techniques on loop parallelization for parallelizing compilers 1998-07-23 Paper...10 bytes (15 words) - 15:00, 24 September 2023
- Publication Type Using knowledge‐based systems for research on parallelizing compilers 2003-02-04 Paper...10 bytes (15 words) - 23:59, 27 December 2023
- Publication Type Using knowledge‐based systems for research on parallelizing compilers 2003-02-04 Paper...10 bytes (15 words) - 23:59, 27 December 2023
- Publication Type Using knowledge‐based systems for research on parallelizing compilers 2003-02-04 Paper...10 bytes (15 words) - 23:59, 27 December 2023
- 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) - 21:23, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4499271 2001-03-05 Paper Parallelizing irregular and pointer-based computations automatically: Perspectives...10 bytes (16 words) - 02:58, 12 December 2023
- A divide-and-conquer algorithm for irregular redistribution in parallelizing compilers 2005-01-19 Paper https://portal.mardi4nfdi.de/entity/Q4823964 2004-10-28...10 bytes (14 words) - 11:29, 28 January 2024
- solver 2006-08-04 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper Computational...10 bytes (13 words) - 16:08, 12 December 2023
- Paper Formal certification of a compiler back-end or: programming a compiler with a proof assistant 2017-08-21 Paper A compiled implementation of strong reduction...10 bytes (13 words) - 02:32, 25 September 2023
- It 2008-03-28 Paper The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages 2008-03-11 Paper Inferring...10 bytes (15 words) - 10:42, 6 October 2023
