Sciweavers

18493 search results - page 57 / 3699
» Timers for Distributed Systems
Sort
View
REX
1993
15 years 6 months ago
Verification Tools for Finite-State Concurrent Systems
Edmund M. Clarke, Orna Grumberg, David E. Long
84
Voted
IPPS
1992
IEEE
15 years 6 months ago
Exploiting Concurrency among Tasks in Partitionable Parallel Processing Systems
Wayne G. Nation, Anthony A. Maciejewski, Howard Ja...