ICALP
1992
Springer
13 years 8 months ago
1992
Springer
ICALP
1992
Springer
13 years 8 months ago
1992
Springer
ICALP
1992
Springer
13 years 8 months ago
1992
Springer
The "nearest neighbor" relation, or more generally the "k nearest neighbors" relation, defined for a set of points in a metric space, has found many uses in co...
ICALP
1992
Springer
13 years 8 months ago
1992
Springer
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
ICALP
1992
Springer
13 years 8 months ago
1992
Springer
ICALP
1992
Springer
13 years 8 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
ICALP
1992
Springer
13 years 8 months ago
1992
Springer
Abstract. We investigate the complexity of merging sequences of small integers on the EREW PRAM. Our most surprising result is that two sorted sequences of n bits each can be merge...
ICALP
1992
Springer
13 years 8 months ago
1992
Springer
Abstract Bernard Chazelle Department of Computer Science Princeton University Burton Rosenberg Department of Mathematics and Computer Science Dartmouth College We give a lower bou...
ICALP
1992
Springer
13 years 8 months ago
1992
Springer
Suppose that n tokens are arbitrarily placed on the n nodes of a graph. At each parallel step one token may be moved from each node to an adjacent node. An algorithm for the near-...
ICALP
1992
Springer
13 years 8 months ago
1992
Springer