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