Search results
From MaRDI portal
Did you mean: concurrent quake algorithm
- Numerical Reasoning 2014-01-17 Paper Automatically verifying concurrent queue algorithms 2013-08-30 Paper Synthesis of Circular Compositional Program Proofs...10 bytes (13 words) - 06:27, 7 October 2023
- Nonatomic dual bakery algorithm with bounded tokens 2012-03-23 Paper Simulation refinement for concurrency verification 2011-06-06 Paper Queue based mutual exclusion...10 bytes (15 words) - 11:05, 9 December 2023
- Prediction of Times and Queue Lengths in the M/G/1 Queue 1988-01-01 Paper A vertex-allocation theorem for resources in queuing networks 1988-01-01 Paper...10 bytes (15 words) - 09:13, 13 December 2023
- Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors 1999-08-23 Paper An efficient algorithm for concurrent priority...10 bytes (16 words) - 03:02, 7 October 2023
- 2002-08-28 Paper An optimal algorithm for the construction of the system dependence graph 2001-10-01 Paper A highly concurrent priority queue 2000-07-06 Paper https://portal...10 bytes (14 words) - 15:35, 24 September 2023
- deterministic heavy traffic limits for queue-based random-access algorithms 2021-11-04 Paper Transition time asymptotics of queue-based activation protocols in...10 bytes (16 words) - 12:45, 28 January 2024
- Computation of Derivatives by Means of the Power-Series Algorithm 1996-10-28 Paper Waiting times in a two-queue model with exhaustive and Bernoulli service 1996-02-13...10 bytes (21 words) - 18:39, 8 December 2023
- Paper A linear time algorithm for the minimum weighted feedback vertex set on diamonds 2009-12-04 Paper Reducing Context-Bounded Concurrent Reachability to...10 bytes (15 words) - 04:10, 12 December 2023
- self-stabilizing 1-maximal independent set algorithm 2024-04-19 Paper Concurrent lock-free unbounded priority queue with mutable priorities 2023-08-02 Paper...10 bytes (17 words) - 11:30, 28 January 2024
- in serial queueing networks 1993-05-16 Paper Optimal inspection policies for a manufacturing station 1993-04-01 Paper The m/g/l queue with queue-length dependent...10 bytes (17 words) - 12:55, 8 December 2023
- bounds for centered colorings 2021-02-02 Paper Planar Graphs Have Bounded Queue-Number 2020-11-11 Paper Boolean dimension, components and blocks 2020-07-17...10 bytes (14 words) - 15:54, 6 October 2023
- Paper An on-line competitive algorithm for coloring bipartite graphs without long induced paths 2017-05-02 Paper On the queue-number of graphs with bounded...10 bytes (13 words) - 11:16, 6 October 2023
- within a band in polynomial time 2014-09-26 Paper Wavelet Frame Based Algorithm for 3D Reconstruction in Electron Microscopy 2014-05-26 Paper https://portal...10 bytes (16 words) - 08:10, 12 December 2023
- mardi4nfdi.de/entity/Q4263677 1999-09-22 Paper An efficient algorithm for concurrent priority queue heaps 1997-02-27 Paper...10 bytes (13 words) - 12:13, 24 September 2023
- computational algorithm for queues with state-dependent vacations. I: \newline \(G/M(n)/1/K\) 2007-01-25 Paper Analysis and computational algorithm for queues with...10 bytes (13 words) - 18:41, 9 December 2023
- Real-time double-ended queue verified (proof pearl) 2024-11-26 Paper Gale-Shapley verified 2024-09-27 Paper Formal verification of algorithm \(\mathcal{W}\):...10 bytes (15 words) - 09:17, 6 October 2023
- Paper Replay, recovery, replication, and snapshots of nondeterministic concurrent programs 2015-06-19 Paper Relative expressiveness of defeasible logics...10 bytes (15 words) - 17:25, 12 December 2023
- Paper On the inherent sequentiality of concurrent objects 2012-09-12 Paper A scalable lock-free stack algorithm 2012-03-07 Paper Transactional Mutex Locks...10 bytes (15 words) - 17:00, 9 December 2023
- approximations 2003-06-24 Paper A path-consistent singleton modeling (CSM) algorithm for arc-constrained networks 2003-03-12 Paper Asymptotic shape of the Erlang...10 bytes (16 words) - 00:18, 13 December 2023
- 1977-01-01 Paper Note on Hopcroft and Tarjan's Planarity Algorithm 1976-01-01 Paper On Algorithms for Enumerating All Circuits of a Graph 1976-01-01 Paper...10 bytes (15 words) - 21:07, 10 December 2023
