Sciweavers

28821 search results - page 24 / 5765
» Distributed and parallel systems
Sort
View
CONCUR
1995
Springer
15 years 10 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
144
Voted
CLUSTER
2008
IEEE
15 years 6 months ago
Autonomic power and performance management for computing systems
Bithika Khargharia, Salim Hariri, Mazin S. Yousif