Search results
From MaRDI portal
- synthesis of parallel programs (methodology and tools) 1998-10-19 Paper Approach to the construction of algebraic models of algorithms and programs 1997-08-24...10 bytes (15 words) - 09:50, 13 December 2023
- 1992-06-28 Paper Design of parallel sorting algorithm 1992-06-28 Paper Theoretical and applied aspects of structured parallel programming 1987-01-01 Paper Algorithmic...10 bytes (15 words) - 00:47, 13 December 2023
- developing parallel programs on two-dimensional arrays 2007-11-14 Paper Theoretical Aspects of Computing – ICTAC 2005 2006-11-01 Paper Logic Based Program Synthesis...10 bytes (13 words) - 09:13, 6 October 2023
- de/entity/Q5111642 2020-05-27 Paper Cylindric Kleene lattices for program construction 2020-05-05 Paper A calculus of space, time, and causality: its algebra...10 bytes (13 words) - 18:44, 6 October 2023
- multimappings and their construction by the method of program iterations. II 2002-07-11 Paper Nonanticipating multimappings and their construction by the method...10 bytes (16 words) - 00:53, 25 September 2023
- expressing parallel solutions for a problem in linear algebra 1995-11-14 Paper https://portal.mardi4nfdi.de/entity/Q5289072 1993-09-02 Paper Parallel Gram-Schmidt...10 bytes (13 words) - 15:39, 12 December 2023
- Paper Logic Based Program Synthesis and Transformation 2005-12-27 Paper Mathematics of Program Construction 2005-08-26 Paper Programming Languages and Systems...10 bytes (13 words) - 07:58, 6 October 2023
- Data-parallel string-manipulating programs 2016-09-29 Paper Program boosting: program synthesis via crowd-sourcing 2016-09-29 Paper Construction of natural...10 bytes (13 words) - 08:50, 7 October 2023
- searching 1973-01-01 Paper Parallel Program Schemata and Maximal Parallelism I. Fundamental Results 1973-01-01 Paper Parallel Program Schemata and Maximal Parallelism...10 bytes (15 words) - 15:46, 24 September 2023
- analysis through linear algebra 2015-11-11 Paper On optimal slicing of parallel programs 2015-02-27 Paper Modular compiler verification. A refinement-algebraic...10 bytes (15 words) - 02:44, 7 October 2023
- Paper Integration of a security type system into a program logic 2008-08-06 Paper Sequential, Parallel, and Quantified Updates of First-Order Structures...10 bytes (13 words) - 06:09, 7 October 2023
- bigger models and more data hurt* 2022-01-03 Paper Sum-of-squares meets program obfuscation, revisited 2020-02-04 Paper https://portal.mardi4nfdi.de/entity/Q4967162...10 bytes (14 words) - 05:51, 7 October 2023
- 2003-02-04 Paper TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK* 2001-09-19 Paper ON THE PARALLEL IMPLEMENTATION OF A GENERALIZED...10 bytes (13 words) - 23:41, 24 September 2023
- for pre* and post* on interprocedural parallel flow graphs 2015-03-17 Paper Paths vs. trees in set-based program analysis 2015-03-17 Paper Inductive data...10 bytes (13 words) - 13:17, 24 September 2023
- 2021-10-18 Paper Must fault localization for program repair 2021-02-09 Paper Sound and complete mutation-based program repair 2020-01-03 Paper Automated Circular...10 bytes (15 words) - 23:32, 9 December 2023
- PEARL: Enumerating the rationals 2006-06-09 Paper Mathematics of Program Construction 2005-08-26 Paper Disciplined, efficient, generalised folds for nested...10 bytes (14 words) - 00:41, 10 December 2023
- testing complexity of program segments 1996-10-01 Paper Blocking for external graph searching 1996-08-12 Paper An efficient parallel algorithm for shortest...10 bytes (17 words) - 21:42, 10 December 2023
- Gilmore-Gomory-Type Construction of Integer Programming Value Functions 2020-06-17 Paper Theorems of the alternative for conic integer programming 2020-05-26 Paper...10 bytes (15 words) - 20:10, 9 December 2023
- Paper Binary Trees and Parallel Scheduling Algorithms 1983-01-01 Paper Parallel Scheduling Algorithms 1983-01-01 Paper Parallel Generation of Postfix and...10 bytes (16 words) - 06:14, 12 December 2023
- mardi4nfdi.de/entity/Q3703288 1985-01-01 Paper Synthetic programming 1985-01-01 Paper Program abstraction and instantiation 1985-01-01 Paper https://portal...10 bytes (15 words) - 03:11, 9 December 2023
