ICALP
13 years 10 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...
ICALP
13 years 10 months ago
1994 Springer ICALP
13 years 10 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...
ICALP
13 years 10 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...
ICALP
13 years 10 months ago
1994 Springer |