Search results
From MaRDI portal
- and Program Development Environment and Its Design Philosophy 2008-06-19 Paper Context-Sensitive Multivariant Assertion Checking in Modular Programs 2008-05-27...10 bytes (16 words) - 02:58, 12 December 2023
- Logic Program Execution Time Estimation 2008-03-11 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational...10 bytes (13 words) - 01:49, 12 December 2023
- Iterative development of parallel programs in the ParJava environment 2009-11-24 Paper Implementation of parallel programs interpreter in the development environment...10 bytes (15 words) - 18:19, 6 October 2023
- Language and Program Development Environment and Its Design Philosophy 2008-06-19 Paper Using Combined Static Analysis and Profiling for Logic Program Execution...10 bytes (13 words) - 13:06, 6 October 2023
- Publication Date of Publication Type Implementation of parallel programs interpreter in the development environment ParJava 2009-09-04 Paper Construction of speculative...10 bytes (15 words) - 18:13, 24 September 2023
- methods of paralleling the Tarjan algorithm 2009-02-28 Paper Instrumental complexity of program synthesis by the method of multilevel structural program design...10 bytes (15 words) - 09:59, 6 October 2023
- of Equivalence-Based Rewriting 2014-09-08 Paper A Parallelized Theorem Prover for a Logic with Parallel Execution 2013-08-07 Paper The right tools for the...10 bytes (15 words) - 08:02, 25 September 2023
- Publication Date of Publication Type Iterative development of parallel programs in the ParJava environment 2009-11-24 Paper Construction of speculative optimization...10 bytes (16 words) - 08:48, 6 October 2023
- 2011-11-28 Paper An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy 2008-06-19 Paper Towards Description...10 bytes (15 words) - 15:22, 7 December 2023
- problems 1997-04-27 Paper A possibilistic linear program is equivalent to a stochastic linear program in a special case 1997-02-23 Paper AN INTERACTIVE...10 bytes (13 words) - 23:19, 8 December 2023
- evaluation of a new flexible preconditioning method on a parallel finite element structure analysis program, FrontISTR 2024-01-18 Paper A New Type of Variable...10 bytes (13 words) - 04:25, 9 December 2023
- Advanced environments for parallel and distributed applications: A view of current status. 2003-01-21 Paper Advanced environments for parallel and distributed...10 bytes (17 words) - 00:36, 10 December 2023
- 1994-12-11 Paper Parallel stable compactification for ODEs with parameters and multipoint conditions 1994-12-04 Paper Stable parallel elimination for boundary...10 bytes (15 words) - 14:05, 8 December 2023
- algorithm for quadratic zero- one programming 1990-01-01 Paper Parallel branch and bound algorithms for quadratic zero-one programs on the hypercube architecture...10 bytes (17 words) - 13:56, 7 December 2023
- applications of parallel mechanisms 2016-08-03 Paper Joint force decomposition and variation in unified inverse dynamics analysis of a metamorphic parallel mechanism...10 bytes (13 words) - 10:13, 6 October 2023
- logic programs using mode and type analyses 2010-06-29 Paper An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its...10 bytes (13 words) - 13:55, 28 January 2024
- techniques in the development and management of linear and integer programming applications 2015-04-22 Paper \texttt{tttplots-compare}: a Perl program to compare...10 bytes (16 words) - 15:44, 7 December 2023
- Distributed and parallel systems: Environments and tools 1998-07-22 Paper A graphical development and debugging environment for parallel programs 1998-07-22...10 bytes (13 words) - 11:12, 24 September 2023
- Taxonomy of Software Development Environments and their Applicabilities to Supporting Evolutionary Information Systems Development 1990-01-01 Paper A linear...10 bytes (14 words) - 21:05, 22 September 2023
- 2024-09-05 Paper Efficient algorithms for flexible job shop scheduling with parallel machines 2023-10-09 Paper Needle exchange for controlling HIV spread under...10 bytes (17 words) - 13:19, 8 December 2023
