Sciweavers

28821 search results - page 24 / 5765
» Distributed and parallel systems
Sort
View
CONCUR
1995
Springer
15 years 4 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
79
Voted
EUROPAR
2008
Springer
15 years 2 months ago
A Reliable and Fast Data Transfer for Grid Systems Using a Dynamic Firewall Configuration
Thomas Oistrez, Egon Grünter, Markus Meier, R...
CLUSTER
2008
IEEE
15 years 15 days ago
Autonomic power and performance management for computing systems
Bithika Khargharia, Salim Hariri, Mazin S. Yousif