Sciweavers

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