Sciweavers

661 search results - page 9 / 133
» Distributed Real-Time Computing with Harness
Sort
View
121
Voted
CONCUR
1995
Springer
15 years 5 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
76
Voted
PDCAT
2004
Springer
15 years 7 months ago
Tuning Genetic Algorithms for Real Time Systems Using a Grid
Antonio Martí Campoy, Francisco Rodrí...