Search results

relations: A paradigm for parallel program design 1993-01-17 Paper A method and a language for constructing iterative programs 1985-01-01 Paper Description...

2024-12-03 Paper Parallel Logic Programming: A Sequel 2023-12-12 Paper Analysis and Transformation of Constrained Horn Clauses for Program Verification 2023-12-12...

TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK* 2001-09-19 Paper Abstraction and performance in the design of parallel programs:...

eigenfunctions in porous convection problems 1996-10-22 Paper The design of a parallel dense linear algebra software library: Reduction to Hessenberg, tridiagonal...

multi-channel lans 2009-08-27 Paper Layered models of parallel computation 2009-07-22 Paper Parallel algorithms for the reversal distance of permutations...

Date of Publication Type An asynchronous parallel benders decomposition method for stochastic network design problems 2024-06-06 Paper Optimal allocation...

performance in the design of parallel programs: An overview of the SAT approach 2000-06-05 Paper Termination detection in parallel loop nests with while...

Paper Strategies for parallelizing the solution of rational matrix equations 2009-02-09 Paper Design, Tuning and Evaluation of Parallel Multilevel ILU Preconditioners...

Traveling-Salesman Problem and Minimum Spanning Trees 1970-01-01 Paper Parallel program schemata 1969-01-01 Paper Some Bounds on the Storage Requirements of...

2001-07-12 Paper A para-functional programming interface for a parallel computer algebra package 1997-06-03 Paper The design of the SACLIB/PACLIB kernels 1996-03-27...

Play In and Play Out: Synthesis of Design Models from Scenarios by Learning 2007-09-03 Paper Formal Methods for the Design of Real-Time Systems 2006-10-19...

language: design and logical encoding 2010-04-27 Paper Real World Verification 2009-07-28 Paper Integration of a Security Type System into a Program Logic...

testing complexity of program segments 1996-10-01 Paper Blocking for external graph searching 1996-08-12 Paper An efficient parallel algorithm for shortest...

Constrained Horn Clauses for Program Verification 2023-12-12 Paper A general framework for static cost analysis of parallel logic programs 2022-08-25 Paper https://portal...

Paper Algorithm design with the selection monad 2023-08-03 Paper Breadth-first traversal via staging 2023-06-30 Paper How to design co-programs 2021-09-24 Paper...

Paper Computer-aided verification for mechanism design 2017-02-10 Paper Product programs and relational program logics 2016-12-15 Paper Higher-order approximate...

applied aspects of structured parallel programming 1987-01-01 Paper Algorithmic data structure algebras and multilevel program design 1986-01-01 Paper Formal...

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...

the parallel solution of problems in computational mechanics 1993-05-16 Paper Using a reduced number of Lagrange multipliers for assembling parallel incomplete...

skew-circulant matrices 2003-10-29 Paper Parallel wavelet-based compression of two-dimensional data 2003-09-18 Paper Program development tools for clusters of...