Search results
From MaRDI portal
- 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) - 18:32, 10 April 2026
- 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) - 19:54, 10 April 2026
- 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) - 20:42, 10 April 2026
- 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) - 18:26, 9 December 2023
- 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) - 03:58, 12 December 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) - 01:32, 9 December 2023
- Yuan-Shin Hwang (section List of research outcomes)balancing on hypercube multiprocessors 2003-05-11 Paper Parallelizing graph construction operations in programs with cyclic graphs 2002-09-09 Paper...10 bytes (15 words) - 19:05, 12 April 2026
- Anne Broadbent (section List of research outcomes)power of non-local boxes 2006-09-14 Paper Extending the Known Region of Nonlocal Boxes that Collapse Communication Complexity N/A Paper Algebra of Nonlocal...10 bytes (15 words) - 01:44, 11 April 2026
- 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) - 18:26, 9 December 2023
- Kipp Martin (section List of research outcomes)semi-infinite linear programs and duality in convex programming 2015-04-01 Paper On parallelizing dual decomposition in stochastic integer programming 2014-05-14...10 bytes (14 words) - 21:29, 10 April 2026
- 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) - 11:22, 13 December 2023
- Stavros A. Zenios (section List of research outcomes)1995-06-27 Paper Parallel Factorization of Structured Matrices Arising in Stochastic Programming 1995-06-07 Paper Data-level parallel solution of min-cost network...10 bytes (15 words) - 17:55, 10 April 2026
- O. L. Mangasarian (section List of research outcomes)solutions of linear programs 1981-01-01 Paper Iterative Solution of Linear Programs 1981-01-01 Paper Locally unique solutions of quadratic programs, linear...10 bytes (17 words) - 18:35, 10 April 2026
- Foto N. Afrati (section List of research outcomes)model for parallel processing 1993-11-15 Paper The parallel complexity of single rule logic programs 1993-01-31 Paper The parallel complexity of simple logic...10 bytes (15 words) - 19:33, 10 April 2026
- 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) - 09:10, 12 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) - 02:16, 13 December 2023
- On parallelizing dual decomposition in stochastic integer programming 2014-05-14 Paper A hierarchy of bounds for stochastic mixed-integer programs 2013-05-06...10 bytes (13 words) - 22:06, 24 September 2023
- Chandra Chekuri (section List of research outcomes)\(\ell_1\)-sparsity approximation bounds for packing integer programs 2020-02-06 Paper Parallelizing greedy for submodular set function maximization in matroids...10 bytes (14 words) - 10:27, 6 October 2023
- 1993-01-23 Paper PARAFRASE-2: AN ENVIRONMENT FOR PARALLELIZING, PARTITIONING, SYNCHRONIZING, AND SCHEDULING PROGRAMS ON MULTIPROCESSORS 1989-01-01 Paper Processor...10 bytes (15 words) - 11:18, 6 October 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) - 12:36, 11 December 2023
