Search results
From MaRDI portal
- hierarchical distributed‐shared memory parallel systems and their implementation with integration of high‐level parallel languages 2003-02-04 Paper https://portal...10 bytes (17 words) - 16:40, 8 December 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) - 16:46, 24 September 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) - 01:47, 13 December 2023
- by the method of program iterations. II 2002-07-11 Paper Nonanticipating multimappings and their construction by the method of program iterations. I 2002-07-11...10 bytes (16 words) - 18:39, 10 April 2026
- A calculation-based framework for systematic parallel programming with MapReduce 2012-06-22 Paper Program calculation in Coq 2011-01-21 Paper Gradual refinement...10 bytes (13 words) - 10:13, 6 October 2023
- Paper Distributed and parallel algorithms for weighted vertex cover and other covering problems 2014-07-23 Paper On a linear program for minimum-weight triangulation...10 bytes (16 words) - 15:51, 10 December 2023
- 2024-05-29 Paper Performance modeling and running strategy of parallel cdugksFOAM program 2024-05-25 Paper...10 bytes (14 words) - 13:30, 3 March 2025
- rounds 2017-08-09 Paper Degree sequences of multigraphs 2016-11-25 Paper Parallel enumeration of degree sequences 2016-11-25 Paper On the scores and degrees...10 bytes (14 words) - 12:40, 28 January 2024
- Optimization 2009-05-05 Paper Languages and Compilers for Parallel Computing 2005-12-27 Paper Euro-Par 2004 Parallel Processing 2005-08-23 Paper Processor-embedded...10 bytes (15 words) - 07:41, 12 December 2023
- Type An integer program and new lower bounds for computing the strong rainbow connection numbers of graphs 2023-12-11 Paper A parallel hub-and-spoke system...10 bytes (14 words) - 10:35, 5 September 2024
- 2024-12-03 Paper Parallel Logic Programming: A Sequel 2023-12-12 Paper Analysis and Transformation of Constrained Horn Clauses for Program Verification 2023-12-12...10 bytes (16 words) - 03:58, 12 December 2023
- experimental language for parallel programming of MHD- models in plasma physics 1995-01-31 Paper Evaluation of two parallelization techniques for the MHD-modelling...10 bytes (15 words) - 22:16, 9 December 2023
- Probabilistic program verification via inductive synthesis of inductive invariants 2024-04-05 Paper Counterexample-driven synthesis for probabilistic program sketches...10 bytes (13 words) - 09:41, 6 October 2023
- 2008-03-21 Paper The formal specification of a problem solved by a parallel program - a relational model 2002-02-13 Paper...10 bytes (13 words) - 11:00, 5 September 2024
- 2006-01-03 Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational Logic 2005-12-23 Paper Optimizing compilation...10 bytes (21 words) - 00:56, 10 December 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) - 07:09, 7 October 2023
- networks 2015-10-06 Paper Introducing \texttt{PROFESS 2.0}: a parallelized, fully linear scaling program for orbital-free density functional theory calculations...10 bytes (16 words) - 01:09, 11 December 2023
- 2003-05-06 Paper The distributed program reliability analysis on ring-type topologies 2001-10-23 Paper The disributed program reliability analysis on star...10 bytes (15 words) - 00:34, 9 December 2023
- butterflies 2008-09-04 Paper Program Schemes with Deep Pushdown Storage 2008-06-19 Paper The computational complexity of the parallel knock-out problem 2008-04-15...10 bytes (14 words) - 00:40, 10 December 2023
- quantum chaos 2005-01-19 Paper HIGH SPEED MONTE CARLO SIMULATIONS ON VECTOR PARALLEL COMPUTERS 2004-10-06 Paper Renormalisation in quantum mechanics, quantum...10 bytes (17 words) - 16:57, 8 December 2023
