Search results

Manuel Hermenegildo (section List of research outcomes)
Paper Computing abstract distances in logic programs 2022-08-25 Paper Incremental analysis of logic programs with assertions and open predicates 2022-08-25...

10 bytes (16 words) - 02:58, 12 December 2023
S. Gorlatch (section List of research outcomes)
programs: An overview of the SAT approach 2000-06-05 Paper Parallelizing functional programs by generalization 2000-04-26 Paper Extracting and implementing...

10 bytes (13 words) - 17:26, 9 December 2023
T. Fahringer (section List of research outcomes)
analysis for parallelizing compilers and performance estimators 1999-01-11 Paper Compile-time estimation of communication costs for data prallel programs. 1997-08-07...

10 bytes (13 words) - 11:42, 7 October 2023
V. Val'kovs'kyj (section List of research outcomes)
1979-01-01 Paper Parallelizing operational schemata over block variables 1977-01-01 Paper Large-block segmentation and parallelization of program schemata 1976-01-01...

10 bytes (14 words) - 09:14, 24 September 2023
Peter J. Stuckey (section List of research outcomes)
Practice of Constraint Programming – CP 2004 2008-09-09 Paper Principles and Practice of Constraint Programming – CP 2004 2008-09-09 Paper The design of the...

10 bytes (15 words) - 23:40, 9 December 2023
Alfons Geser (section List of research outcomes)
2003-01-14 Paper Decidability of termination of grid string rewriting rules 2002-04-23 Paper A complete characterization of termination of \(0^p1^q\to 1^r0^s\)...

10 bytes (13 words) - 01:16, 13 December 2023
Ewing Lusk (section List of research outcomes)
MPI--IO 2002-03-03 Paper Components and interfaces of a process management system for parallel programs 2002-03-03 Paper A high-performance MPI implementation...

10 bytes (15 words) - 17:26, 9 December 2023
N. A. Likhoded (section List of research outcomes)
Paper Construction of generalized parallelizing functions 2009-12-11 Paper Parallelizing of algorithms on the basis of splitting of macro-operations 2009-04-14...

10 bytes (15 words) - 18:04, 24 September 2023
Kuei-Ping Shih (section List of research outcomes)
subscripts in data-parallel programs 2001-10-01 Paper Statement-level communication-free partitioning techniques for parallelizing compilers 2000-09-19...

10 bytes (15 words) - 00:32, 9 December 2023
Richard Bornat (section List of research outcomes)
https://portal.mardi4nfdi.de/entity/Q2721096 2001-07-01 Paper Parallelizing imperative functional programs: The vectorization monad 1997-05-22 Paper https://portal...

10 bytes (13 words) - 11:29, 6 October 2023
Chua-Huang Huang (section List of research outcomes)
problem 1989-01-01 Paper The derivation of systolic implementations of programs 1987-01-01 Paper The automated proof of a trace transformation for a bitonic...

10 bytes (15 words) - 08:10, 12 December 2023
W. E. Nagel (section List of research outcomes)
heterogeneous hardware 2018-06-22 Paper Synchronization debugging of hybrid parallel programs 2018-01-11 Paper A fast spectral element solver combining static condensation...

10 bytes (15 words) - 11:36, 11 December 2023
Robert E. Bixby (section List of research outcomes)
integer programming -- a look back from the other side of the tipping point 2011-05-20 Paper Solving Real-World Linear Programs: A Decade and More of Progress...

10 bytes (17 words) - 12:16, 28 January 2024
Jang-Ping Sheu (section List of research outcomes)
techniques for parallelizing compilers 2000-09-19 Paper Efficient index generation for compiling two-level mappings in data-parallel programs 2000-09-04 Paper...

10 bytes (15 words) - 00:32, 9 December 2023
Tsung-Chuan Huang (section List of research outcomes)
sequences for coupled subscripts in data-parallel programs. 2003-04-28 Paper A statement based parallelizing framework for processor-in-memory architectures...

10 bytes (15 words) - 23:03, 24 September 2023
Gil Utard (section List of research outcomes)
validation of data-parallel programs: a two-component assertional proof system for a simple language 1998-06-30 Paper Deadlock-free absorption of barrier...

10 bytes (13 words) - 08:02, 7 October 2023
Jonathan M. D. Hill (section List of research outcomes)
very low cost 2000-06-04 Paper Parallelizing imperative functional programs: The vectorization monad 1997-05-22 Paper Parallel lexical analysis and parsing...

10 bytes (17 words) - 10:22, 13 December 2023
N. V. Baranovskiy (section List of research outcomes)
Algorithms for parallelizing a mathematical model of forest fires on supercomputers and theoretical estimates for the efficiency of parallel programs 2015-11-17...

10 bytes (15 words) - 10:50, 6 October 2023
Natasha Sharygina (section List of research outcomes)
Automated discovery of simulation between programs 2016-01-12 Paper Booster: an acceleration-based verification framework for array programs 2015-12-17 Paper...

10 bytes (15 words) - 02:39, 25 September 2023
Kedar S. Namjoshi (section List of research outcomes)
Publication Date of Publication Type Synthesis of compact strategies for coordination programs 2024-01-23 Paper Synthesis of asynchronous reactive programs from temporal...

10 bytes (15 words) - 08:23, 7 October 2023