Search results
From MaRDI portal
- randomized shared memory simulations 2017-12-04 Paper Fault-tolerant shared memory simulations 2017-11-16 Paper On the parameterized parallel complexity...10 bytes (21 words) - 14:24, 10 December 2023
- partitioning algorithm 2019-09-12 Paper Parallel \(d\)-D Delaunay triangulations in shared and distributed memory 2019-09-12 Paper Distributed Evolutionary...10 bytes (15 words) - 16:35, 8 December 2023
- Publication Date of Publication Type Self-stabilization of wait-free shared memory objects 2023-12-01 Paper Concurrent lock-free unbounded priority queue...10 bytes (15 words) - 08:16, 25 September 2023
- Efficiency of embedded explicit pseudo two-step RKN methods on a shared memory parallel computer 2007-01-31 Paper On error estimation in general linear methods...10 bytes (13 words) - 23:42, 11 December 2023
- The processor‐sharing queueing model for time‐shared systems with bulk arrivals 1971-01-01 Paper Swap-Time Considerations in Time-Shared Systems 1970-01-01...10 bytes (15 words) - 17:05, 6 October 2023
- reversal-bounded automata on series-parallel graphs 2018-04-10 Paper Model checking parameterized asynchronous shared-memory systems 2018-03-01 Paper Quantifying...10 bytes (14 words) - 09:01, 6 October 2023
- 2023-05-08 Paper Collecting garbage pages in a distributed shared memory with reduced memory and communication overhead 2021-12-20 Paper Greedy hot-potato...10 bytes (13 words) - 20:47, 8 December 2023
- Flexible scheduling of transactional memory on trees 2023-10-12 Paper Flexible scheduling of transactional memory on trees 2023-06-12 Paper Fast deterministic...10 bytes (15 words) - 04:31, 12 December 2023
- methods for parallel computers∗ 2000-10-05 Paper Numerical experiments with some explicit pseudo two-step RK methods on a shared memory computer 2000-03-15...10 bytes (15 words) - 03:28, 9 December 2023
- Efficiency of embedded explicit pseudo two-step RKN methods on a shared memory parallel computer 2007-01-31 Paper Linearly-implicit two-step methods and their...10 bytes (14 words) - 15:55, 8 December 2023
- SOFSEM 2005: Theory and Practice of Computer Science 2005-12-07 Paper Relationships Between Broadcast and Shared Memory in Reliable Anonymous Distributed...10 bytes (15 words) - 08:10, 12 December 2023
- TRAINING METHOD ON A PARALLEL COMPUTER SYSTEM 2004-10-06 Paper PARALLEL DISTRIBUTED NEURAL NETWORKS FOR CLASSIFICATION 2004-10-06 Paper PARALLEL SYMMETRIC ELIMINATION...10 bytes (15 words) - 07:04, 9 December 2023
- Two Parallel Machines 2007-01-19 Paper DNA Computing 2006-10-19 Paper Scheduling Two-Point Stochastic Jobs to Minimize the Makespan on Two Parallel Machines...10 bytes (19 words) - 10:35, 9 December 2023
- abstract) 2023-08-02 Paper Self-stabilizing and private distributed shared atomic memory in seldomly fair message passing networks 2023-04-21 Paper Location...10 bytes (15 words) - 11:06, 9 December 2023
- optical buses 2002-07-22 Paper Scalable parallel matrix multiplication on distributed memory parallel computers 2002-07-04 Paper A study of average-case...10 bytes (15 words) - 10:24, 9 December 2023
- isolation 2020-06-30 Paper Parallel Programming 2013-12-13 Paper Programming support and scheduling for communicating parallel tasks 2013-08-22 Paper An...10 bytes (14 words) - 13:35, 11 December 2023
- cellular automata, over cyclic binary configurations and parallel update 2023-11-30 Paper Fast-Parallel Algorithms for Freezing Totalistic Asynchronous Cellular...10 bytes (16 words) - 16:43, 9 December 2023
- Convergence of Automata in PVS 2008-12-04 Paper Convergence Verification: From Shared Memory to Partially Synchronous Systems 2008-12-02 Paper Specification transformers:...10 bytes (17 words) - 13:29, 28 January 2024
- against concurrency 2017-05-19 Paper On bounded reachability analysis of shared memory systems 2017-04-25 Paper Tractable refinement checking for concurrent...10 bytes (13 words) - 05:38, 12 December 2023
- primitive 2019-03-14 Paper Parameterized Verification of Asynchronous Shared-Memory Systems 2018-08-02 Paper Model checking procedural programs 2018-07-20...10 bytes (15 words) - 06:58, 7 October 2023
