Search results
From MaRDI portal
- Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms 2023-03-21 Paper Automated Verification of Parallel Nested DFS 2022-10-13 Paper Automated...10 bytes (13 words) - 14:28, 9 December 2023
- Algorithms-by-Tiles on Multithreaded Architectures 2017-05-19 Paper High-performance up-and-downdating via householder-like transformations 2017-05-19 Paper Parallel Matrix...10 bytes (21 words) - 18:42, 9 December 2023
- Function 2003-01-05 Paper Specialized parallel algorithms for solving Lyapunov and Stein equations 2002-07-31 Paper Parallel algorithms for LQ optimal control...10 bytes (19 words) - 08:30, 9 December 2023
- systems 2016-05-26 Paper Modeling multithreaded applications using Petri nets 2003-05-06 Paper The distributed program reliability analysis on ring-type...10 bytes (15 words) - 23:34, 8 December 2023
- Optimize Message-Passing Programs by Code Transformations 2007-10-23 Paper Adaptive dynamic thread scheduling for simultaneous multithreaded architectures with...10 bytes (17 words) - 07:28, 9 December 2023
- system: Compiling multithreaded Java bytecode for distributed execution 2001-08-20 Paper Formal validation of data-parallel programs: a two-component assertional...10 bytes (15 words) - 01:59, 9 December 2023
- Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding 2012-11-21 Paper Analyzing Asynchronous Programs with Preemption 2012-10-19 Paper...10 bytes (15 words) - 19:11, 6 October 2023
- Multiprocess Programs 1979-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4190101 1979-01-01 Paper On the proof of correctness of a calendar program 1979-01-01...10 bytes (15 words) - 16:16, 6 October 2023
- Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous 2022-12-09 Paper Dealing with Priorities and Locks for Concurrent Programs 2022-08-12...10 bytes (13 words) - 12:50, 7 October 2023
- 2001-10-14 Paper Parallel algorithms for the circuit value update problem 1998-08-24 Paper Space-Efficient Scheduling of Multithreaded Computations 1998-05-10...10 bytes (17 words) - 22:53, 9 December 2023
- the static analysis of concurrent programs with procedures 2015-09-11 Paper Analysis of recursively parallel programs 2015-09-11 Paper On the verification...10 bytes (13 words) - 05:38, 12 December 2023
- checking LTL using constraint programming 2022-12-09 Paper Petri nets, commutative context-free grammars, and basic parallel processes 2022-12-09 Paper A...10 bytes (15 words) - 06:58, 7 October 2023
- Reduction of Large-Scale Dense Systems on Parallel Computers 2002-01-13 Paper Solving algebraic Riccati equations on parallel computers using Newton's method with...10 bytes (15 words) - 08:30, 9 December 2023
- Layerings for Arbitrary and Fixed Drawing Areas 2017-10-12 Paper Multithreaded Reactive Programming—the Kiel Esterel Processor 2017-07-12 Paper A Generalization...10 bytes (15 words) - 11:34, 13 December 2023
- 2000-07-19 Paper Modeling parallel bandwidth: Local versus global restrictions 2000-07-10 Paper Planarity testing in parallel 2000-06-21 Paper Can a shared-memory...10 bytes (14 words) - 14:51, 10 December 2023
- 2023-01-30 Paper Scheduling algorithms for strict multithreaded computations 2023-01-25 Paper Efficient parallel algorithms for shortest paths in planar graphs...10 bytes (17 words) - 09:20, 8 December 2023
- and Experience 2005-09-13 Paper Deleting keys of B-trees in parallel 2004-11-18 Paper Parallel algorithms for red--black trees 2002-03-03 Paper...10 bytes (13 words) - 08:23, 25 September 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
- equivalent semantics for CCS 1995-01-11 Paper Lambda-calculi for (strict) parallel functions 1994-09-26 Paper A theory of processes with localities 1994-06-29...10 bytes (13 words) - 15:53, 12 December 2023
- of a 2SPS+UPR parallel manipulator 2007-11-28 Paper Analyzing kinematics and solving active/constrained forces of a 3SPU + UPR parallel manipulator 2007-09-18...10 bytes (13 words) - 09:28, 25 September 2023
