Search results
From MaRDI portal
- relations: A paradigm for parallel program design 1993-01-17 Paper PEI: A language and its refinement calculus for parallel programming 1993-01-17 Paper Synthesis...10 bytes (15 words) - 11:34, 13 December 2023
- 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...10 bytes (15 words) - 07:45, 13 December 2023
- applied aspects of structured parallel programming 1987-01-01 Paper Algorithmic data structure algebras and multilevel program design 1986-01-01 Paper Formal...10 bytes (15 words) - 00:47, 13 December 2023
- 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...10 bytes (16 words) - 02:58, 12 December 2023
- 2018-06-06 Paper Mechanism design for one-facility location game with obnoxious effects on a line 2018-06-05 Paper Parallel machine scheduling with speed-up...10 bytes (14 words) - 12:48, 8 December 2023
- de/entity/Q4281609 1994-03-10 Paper An operational semantics for paragon: A design notation for parallel architectures 1991-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3495633...10 bytes (16 words) - 02:19, 12 December 2023
- for the design of complex engineering systems: Peculiarities of the system software 1996-12-11 Paper Sequential-parallel computer-aided design of complex...10 bytes (15 words) - 09:39, 12 December 2023
- 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...10 bytes (16 words) - 04:05, 9 December 2023
- Correct Hardware Design and Verification Methods 2006-10-20 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification...10 bytes (15 words) - 23:32, 9 December 2023
- butterflies 2008-09-04 Paper Program Schemes with Deep Pushdown Storage 2008-06-19 Paper The computational complexity of the parallel knock-out problem 2008-04-15...10 bytes (14 words) - 23:40, 9 December 2023
- Efficient parallel factorization and solution of structured and unstructured linear systems 2005-08-05 Paper MODELS AND RESOURCE METRICS FOR PARALLEL AND DISTRIBUTED...10 bytes (16 words) - 09:02, 8 December 2023
- 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...10 bytes (14 words) - 00:41, 10 December 2023
- Profiling for Logic Program Execution Time Estimation 2008-03-11 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development...10 bytes (13 words) - 01:49, 12 December 2023
- On lower and upper bounds for single machine parallel batch scheduling 2022-11-01 Paper Stochastic program for disassembly lot-sizing under uncertain component...10 bytes (15 words) - 13:57, 10 December 2023
- markets with production 2019-06-20 Paper The notion of a rational convex program, and an algorithm for the Arrow-Debreu Nash bargaining game 2019-05-10 Paper...10 bytes (17 words) - 10:01, 12 December 2023
- Date of Publication Type An asynchronous parallel benders decomposition method for stochastic network design problems 2024-06-06 Paper Optimal allocation...10 bytes (15 words) - 04:12, 9 December 2023
- Schema for parallel insertion and deletion 2010-08-31 Paper On a special class of primitive words 2010-02-05 Paper On the Reversibility of Parallel Insertion...10 bytes (13 words) - 14:14, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q4249157 1999-06-16 Paper Parallel implementation of DNAml program on message-passing architectures 1999-01-12 Paper Fast...10 bytes (15 words) - 03:44, 9 December 2023
- memory models with program transformations 2020-01-03 Paper A separation logic for a promising semantics 2019-09-13 Paper On parallel snapshot isolation...10 bytes (13 words) - 20:07, 24 September 2023
- Optimal design of the seasonal influenza vaccine with manufacturing autonomy 2020-11-09 Paper Solving stochastic and bilevel mixed-integer programs via a...10 bytes (15 words) - 20:10, 9 December 2023
