Sciweavers

62
Voted
MFCS
1994
Springer
15 years 3 months ago
Stable Bistructure Models of PCF
Glynn Winskel
62
Voted
MFCS
1994
Springer
15 years 3 months ago
On-Line Scheduling of Parallel Jobs
Jiri Sgall
59
Voted
MFCS
1994
Springer
15 years 3 months ago
Empty Alternation
We introduce the notion of empty alternation by investigating alternating automata which are restricted to empty their storage except for a logarithmically space-bounded tape befor...
Klaus-Jörn Lange, Klaus Reinhardt
72
Voted
MFCS
1994
Springer
15 years 3 months ago
"The Big Sweep": On the Power of the Wavefront Approach to Voronoi Diagrams
We show that the wavefront approach to Voronoi diagrams (a deterministic line sweep algorithm that does not use geometric transform) can be generalized to distance measures more g...
Frank K. H. A. Dehne, Rolf Klein
67
Voted
MFCS
1994
Springer
15 years 3 months ago
Embedding Complete Binary Trees into Star Networks
A. Bouabdallah, Marie-Claude Heydemann, Jaroslav O...
130
Voted
MFCS
1994
Springer
15 years 3 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
61
Voted
MFCS
1994
Springer
15 years 3 months ago
A Competitive Analysis of the List Update Problem with Lookahead
We consider the question of lookahead in the list update problem: What improvement can be achieved in terms of competitiveness if an on-line algorithm sees not only the present re...
Susanne Albers