Sciweavers

2370 search results - page 8 / 474
» The Characterization of Data-Accumulating Algorithms
Sort
View
EUROPAR
2000
Springer
15 years 1 months ago
Timestamping Algorithms: A Characterization and a Few Properties
Giovanna Melideo, Marco Mechelli, Roberto Baldoni,...
46
Voted
LMCS
2007
61views more  LMCS 2007»
14 years 9 months ago
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...