Search results

Nonatomic dual bakery algorithm with bounded tokens 2012-03-23 Paper Simulation refinement for concurrency verification 2011-06-06 Paper Queue based mutual exclusion...

numerical reasoning 2014-01-17 Paper Automatically verifying concurrent queue algorithms 2013-08-30 Paper Synthesis of circular compositional program proofs...

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...

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...

2023-12-01 Paper Concurrent lock-free unbounded priority queue with mutable priorities 2023-08-02 Paper Monotonically relaxing concurrent data-structure...

self-stabilizing 1-maximal independent set algorithm 2024-04-19 Paper Concurrent lock-free unbounded priority queue with mutable priorities 2023-08-02 Paper...

Paper A linear time algorithm for the minimum weighted feedback vertex set on diamonds 2009-12-04 Paper Reducing Context-Bounded Concurrent Reachability to...

Paper Replay, recovery, replication, and snapshots of nondeterministic concurrent programs 2015-06-19 Paper Relative expressiveness of defeasible logics...

reduction algorithm 2000-11-21 Paper The choleski Q.I.F. algorithm for solving symmetric linear systems 2000-11-21 Paper Localized algorithms for vlsi processor...

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...

Paper Checking linearizability of concurrent priority queues 2020-05-27 Paper Abstract Semantic Diffing of Evolving Concurrent Programs 2019-09-16 Paper Abstract...

expensive synchronization in concurrent algorithms cannot be eliminated 2014-04-10 Paper The power of DCAS, highly-concurrent software transactional memory...

Engineering MultiQueues: Fast Relaxed Concurrent Priority Queues 2023-09-20 Paper Parallel Weighted Random Sampling 2023-03-29 Paper Concurrent expandable AMQs...

Parallelization of EM-algorithms for Markovian arrival processes 2021-12-08 Paper Markovian arrival processes in multi-dimensions 2021-12-08 Paper Concurrent MDPs with...

multi-objective particle swarm optimization algorithm 2020-05-28 Paper Checking linearizability of concurrent priority queues 2020-05-27 Paper Local knot method...

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...

distributed transactional memory 2016-03-23 Paper Competitive concurrent distributed queuing 2016-03-04 Paper Unifying synchronous and asynchronous message-passing...

Visibility in Arrangements of Segments and the Queue Size in the Bentley-Ottmann Line Sweeping Algorithm 1992-06-25 Paper https://portal.mardi4nfdi.de/entity/Q3359793...

finite-population vacation queueing systems 1991-01-01 Paper An improved algorithm for symbolic reliability analysis 1991-01-01 Paper Two queues with alternating...

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...