Sciweavers

4 search results - page 1 / 1
» icalp 1993
Sort
View
ICALP
1993
Springer
13 years 8 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
ICALP
1993
Springer
13 years 8 months ago
The Fork Calculus
Klaus Havelund, Kim Guldstrand Larsen
ICALP
1993
Springer
13 years 8 months ago
Sparse Networks Supporting Efficient Reliable Broadcasting
Broadcasting concerns transmitting information from a node of a communication network to all other nodes. We consider this problem assuming that links and nodes of the network fail...
Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
ICALP
1993
Springer
13 years 8 months ago
Exact Asymptotics of Divide-and-Conquer Recurrences
The divide-and-conquer principle is a majoi paradigm of algorithms design. Corresponding cost functions satisfy recurrences that directly reflect the decomposition mechanism used i...
Philippe Flajolet, Mordecai J. Golin