Search results
From MaRDI portal
- Paper Computation of pseudospectra by spectral dichotomy methods in a parallel environment 2003-10-14 Paper Miscible and immiscible multiphase flow in deformable...10 bytes (12 words) - 12:30, 24 September 2023
- 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) - 03:58, 12 December 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) - 16:22, 7 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) - 02:49, 12 December 2023
- 2000-10-26 Paper Parallel algorithms to solve two-stage stochastic linear programs with robustness constraints 2000-10-26 Paper Parallel multigrid solvers...10 bytes (12 words) - 16:16, 24 September 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) - 19:19, 6 October 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) - 10:59, 6 October 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) - 09:48, 6 October 2023
- dynamics of molecules on surfaces: A massively parallel implementation 2002-05-15 Paper Evolution program for parton densities with perturbative heavy flavor...10 bytes (12 words) - 13:11, 24 September 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) - 19:13, 24 September 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) - 11:13, 6 October 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) - 01:36, 10 December 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) - 14:06, 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) - 09:02, 25 September 2023
- communication network 2016-02-04 Paper A program logic for verifying secure routing protocols 2016-01-07 Paper An efficient parallel preconditioned conjugate gradient...10 bytes (15 words) - 13:41, 10 December 2023
- Implementation of parallel programs interpreter in the development environment ParJava 2009-09-04 Paper DPJ: Java class library for development of data-parallel programs...10 bytes (14 words) - 03:13, 13 December 2023
- scalability of scientific applications on parallel architectures 1997-02-27 Paper Garbage collection in shared-environment closure reducers: Space-efficient depth...10 bytes (12 words) - 11:06, 24 September 2023
- 1999-04-28 Paper Parallel m-step preconditioners for the conjugate gradient method 1999-04-28 Paper OASys: an AND/OR parallel logic programming system 1999-04-28...10 bytes (12 words) - 11:19, 24 September 2023
- 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) - 16:44, 7 December 2023
- algorithm 2018-08-20 Paper Parallel CPU- and GPU-algorithms for inverse problems in nondestructive testing 2018-08-20 Paper Parallel algorithm of the NOISEtte...10 bytes (12 words) - 17:16, 24 September 2023
