Sciweavers

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