Sciweavers

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