220
click to vote
ICALP
15 years 11 months ago
1994 Springer 
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
185
click to vote
ICALP
15 years 11 months ago
1994 Springer 
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
167
click to vote
ICALP
15 years 11 months ago
1994 Springer 
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
167
click to vote
ICALP
15 years 11 months ago
1994 Springer
We describe efficient algorithms for finding even cycles in undirected graphs. Our main results are the following: (i) For every k 2, there is an O(V 2) time algorithm that decide...
158
click to vote
ICALP
15 years 11 months ago
1994 Springer 
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
|
Programming Languages