Sciweavers

JACM
2000
77views more  JACM 2000»
13 years 11 months ago
The fault span of crash failures
A crashing network protocol is an asynchronous protocol whose memory does not survive crashes. We show that a crashing network protocol that works over unreliable links can be driv...
George Varghese, Mahesh Jayaram
JACM
2000
56views more  JACM 2000»
13 years 11 months ago
Complexity of finite-horizon Markov decision process problems
Martin Mundhenk, Judy Goldsmith, Christopher Lusen...
JACM
2000
86views more  JACM 2000»
13 years 11 months ago
Periodification scheme: constructing sorting networks with constant period
We consider comparator networks M that are used repeatedly: while the output produced by M is not sorted, it is fed again into M. Sorting algorithms working in this way are called ...
Miroslaw Kutylowski, Krzysztof Lorys, Brigitte Oes...
JACM
2000
55views more  JACM 2000»
13 years 11 months ago
An automata-theoretic approach to branching-time model checking
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper
JACM
2000
57views more  JACM 2000»
13 years 11 months ago
Contention resolution with constant expected delay
Leslie Ann Goldberg, Philip D. MacKenzie, Mike Pat...
JACM
2000
73views more  JACM 2000»
13 years 11 months ago
Parallel RAMs with owned global memory and deterministic context-free language recognition
We identify and study a natural and frequently occurring subclass of Concurrent Read, Exclusive Write Parallel Random Access Machines (CREW-PRAMs). Called Concurrent Read, Owner Wr...
Patrick W. Dymond, Walter L. Ruzzo
JACM
2000
119views more  JACM 2000»
13 years 11 months ago
A minimum spanning tree algorithm with Inverse-Ackermann type complexity
A deterministic algorithm for computing a minimum spanning tree of a connected graph is presented. Its running time is O(m (m, n)), where is the classical functional inverse of Ack...
Bernard Chazelle
JACM
2000
131views more  JACM 2000»
13 years 11 months ago
The soft heap: an approximate priority queue with optimal error rate
A simple variant of a priority queue, called a soft heap, is introduced. The data structure supports the usual operations: insert, delete, meld, and findmin. Its novelty is to beat...
Bernard Chazelle
JACM
2000
50views more  JACM 2000»
13 years 11 months ago
Tight bounds for k-set agreement
Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, M...
JACM
2000
119views more  JACM 2000»
13 years 11 months ago
A subdivision-based algorithm for the sparse resultant
Multivariate resultants generalize the Sylvester resultant of two polynomials and characterize the solvability of a polynomial system. They also reduce the computation of all comm...
John F. Canny, Ioannis Z. Emiris