Sciweavers

24554 search results - page 359 / 4911
» Dependable distributed systems
Sort
View
CONCUR
1995
Springer
15 years 10 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
JSSPP
1995
Springer
15 years 10 months ago
Job Management Requirements for NAS Parallel Systems and Clusters
William Saphir, Leigh Ann Tanner, Bernard Traversa...