ICALP
1992
Springer
14 years 3 months ago
1992
Springer
ICALP
1992
Springer
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 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
14 years 3 months ago
1992
Springer
PLSA
1994
14 years 3 months ago
1994
PLSA
1994
14 years 3 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
PLSA
1994
14 years 3 months ago
1994
PLSA
1994
14 years 3 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...