Search results
From MaRDI portal
- 1976-01-01 Paper Proving assertions about parallel programs 1975-01-01 Paper Translating Program Schemas to While-Schemas 1975-01-01 Paper Decidable Properties...10 bytes (17 words) - 09:09, 24 September 2023
- the design of parallel programs: An overview of the SAT approach 2000-06-05 Paper Termination detection in parallel loop nests with while loops 2000-06-04...10 bytes (13 words) - 23:41, 24 September 2023
- Multi-objective integer programming: Synergistic parallel approaches 2017-05-08 Paper Efficient Projection Partitioning for parallel multi-objective integer...10 bytes (15 words) - 06:35, 13 December 2023
- Algorithms for Coloring Graphs While Avoiding Monochromatic Cycles 2010-07-20 Paper Single-pass and approximate dynamic-programming algorithms for order acceptance...10 bytes (13 words) - 13:36, 6 October 2023
- Hoare-like logic for their while-programs 1982-01-01 Paper The completeness of the algebraic specification methods for computable data types 1982-01-01 Paper https://portal...10 bytes (15 words) - 23:41, 24 September 2023
- low-volume supply chains 2018-05-17 Paper Coloring graphs using two colors while avoiding monochromatic cycles 2016-06-29 Paper Stable multi-skill workforce...10 bytes (15 words) - 16:37, 12 December 2023
- 1997-08-14 Paper A parallel algorithm for the reduction of a nonsymmetric matrix to block upper-Hessenberg form 1997-02-28 Paper Parallel matrix transpose...10 bytes (16 words) - 01:22, 9 December 2023
- packing while traveling problem 2018-05-25 Paper Solving hard control problems in voting systems via integer programming 2016-10-07 Paper Packing While Traveling:...10 bytes (13 words) - 23:57, 9 December 2023
- cost of isogeometric multi-frontal solvers on parallel distributed memory machines 2018-10-22 Paper Parallel space-time \(hp\) adaptive discretization scheme...10 bytes (13 words) - 22:16, 11 December 2023
- Combining Parallel Graph Rewriting and Quotient Graphs 2022-12-22 Paper https://portal.mardi4nfdi.de/entity/Q5021220 2022-01-12 Paper Parallel coherent...10 bytes (13 words) - 17:05, 6 October 2023
- Recursive assertions and parallel programs 1981-01-01 Paper Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes 1980-01-01...10 bytes (17 words) - 23:04, 11 December 2023
- Publication Date of Publication Type https://portal.mardi4nfdi.de/entity/Q6079226 2023-10-27 Paper Small tile sets that compute while solving mazes 2023-09-21...10 bytes (13 words) - 01:52, 7 October 2023
- which fail to possess a sound and decidable Hoare-like logic for their while-programs 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3327706 1982-01-01...10 bytes (17 words) - 20:19, 8 December 2023
- non-random) nonconvex quadratic programs 2021-10-20 Paper An ADMM-based interior-point method for large-scale linear programming 2021-07-06 Paper On the behavior...10 bytes (16 words) - 14:05, 8 December 2023
- Publication Date of Publication Type Task-based parallel programming for scalable matrix product algorithms 2024-09-10 Paper Combining...10 bytes (13 words) - 10:51, 6 October 2023
- Paper SEQUENTIAL AND PARALLEL ALGORITHMS FOR THE k CLOSEST PAIRS PROBLEM 1996-02-26 Paper Maintaining the visibility map of spheres while moving the viewpoint...10 bytes (15 words) - 12:50, 13 December 2023
- a Matching-Based Algorithm 2022-07-21 Paper Recourse in Kidney Exchange Programs 2022-06-30 Paper Online bin packing with overload cost 2022-03-24 Paper...10 bytes (19 words) - 23:57, 9 December 2023
- single door and asymmetric handover relations 2023-07-03 Paper How to charge while driving: scheduling point-to-point deliveries of an electric vehicle under...10 bytes (13 words) - 02:18, 7 October 2023
- context-free grammar 1975-01-01 Paper Translatability of flowcharts into while programs 1974-01-01 Paper Covering-languages of grammars 1971-01-01 Paper https://portal...10 bytes (13 words) - 09:23, 24 September 2023
- de/entity/Q4938650 2000-07-10 Paper A note on Coinduction and Weak Bisimilarity for While Programs 2000-03-16 Paper Bisimulation for probabilistic transition systems:...10 bytes (21 words) - 23:56, 9 December 2023
