Search results
From MaRDI portal
- for Linda 2008-04-11 Paper Automata, Languages and Programming 2006-01-10 Paper Automata, Languages and Programming 2005-08-24 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 00:57, 10 December 2023
- processes for a structural programming language 1988-01-01 Paper Theoretical and applied aspects of structured parallel programming 1987-01-01 Paper Multilevel...10 bytes (15 words) - 09:50, 13 December 2023
- Regular path clauses and their application in solving loops 2024-12-03 Paper Parallel Logic Programming: A Sequel 2023-12-12 Paper Analysis and Transformation...10 bytes (16 words) - 02:58, 12 December 2023
- Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm 2019-06-21 Paper Planar methods and grossone for the conjugate...10 bytes (16 words) - 15:01, 6 December 2023
- synthesis of parallel programs (methodology and tools) 1998-10-19 Paper Strategies for symbolic processing and synthesis of algorithms and programs 1997-05-13...10 bytes (15 words) - 00:47, 13 December 2023
- families of languages 1976-01-01 Paper A note on linear precedence functions 1976-01-01 Paper Necessary and sufficient conditions for a power language to be...10 bytes (15 words) - 00:32, 9 December 2023
- on trees 2005-12-29 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper Scalarization using loop alignment and loop skewing 2005-11-16...10 bytes (15 words) - 02:02, 9 December 2023
- Differential logic programs: Programming methodologies and semantics 1996-12-08 Paper Observable behaviors and equivalences of logic programs 1996-03-18 Paper...10 bytes (15 words) - 17:05, 11 December 2023
- an experimental language for parallel programming of MHD- models in plasma physics 1995-01-31 Paper Evaluation of two parallelization techniques for the...10 bytes (15 words) - 21:16, 9 December 2023
- Multiprocessor System 1972-01-01 Paper Rollback and Recovery Strategies for Computer Programs 1972-01-01 Paper System Modeling and Testing Procedures for Microdiagnostics...10 bytes (15 words) - 08:20, 25 September 2023
- co-design and analysis 2014-01-24 Paper Partial order reduction for rewriting semantics of programming languages 2014-01-24 Paper Abstraction and completeness...10 bytes (15 words) - 10:55, 11 December 2023
- Approximate Dynamic Programming with Hidden Semi-Markov Stochastic Models in Energy Storage Optimization 2017-10-11 Paper Parallel Nonstationary Direct...10 bytes (15 words) - 08:25, 25 September 2023
- for Program Correctness in Isabelle/HOL 2014-04-16 Paper Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages 2014-04-16...10 bytes (13 words) - 18:44, 6 October 2023
- Computing System 2003-02-20 Paper The design and implementation of the parallel out-of-core ScaLAPACK LU, QR, and Cholesky factorization routines 2003-02-04...10 bytes (16 words) - 01:22, 9 December 2023
- Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper A Term...10 bytes (15 words) - 16:54, 11 December 2023
- SECTION AND INTERIOR-TO-BOUNDARY MAPPING 1999-01-06 Paper A programming approach for complex animations. I: Methodology. 1999-01-01 Paper A programming approach...10 bytes (13 words) - 04:23, 13 December 2023
- https://portal.mardi4nfdi.de/entity/Q3365739 2006-01-23 Paper Automata, Languages and Programming 2006-01-10 Paper Complexities for Generalized Models of Self-Assembly...10 bytes (17 words) - 16:58, 9 December 2023
- polymorphic type inference in logic programming 1993-05-16 Paper A transformational approach to negation in logic programming 1992-06-25 Paper RECOGNIZING NON-FLOUNDERING...10 bytes (13 words) - 11:30, 28 January 2024
- independent semantics and verification technology for the HLPSL specification language 2013-09-26 Paper Attacking fair-exchange protocols: parallel models vs. trace...10 bytes (15 words) - 02:01, 13 December 2023
- Minimal Spanning Trees and Spanning Forests 1977-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4131673 1975-01-01 Paper Parallel Balancing of Binary Search...10 bytes (17 words) - 10:37, 13 December 2023
