Sciweavers

661 search results - page 9 / 133
» Distributed Real-Time Computing with Harness
Sort
View
126
Voted
CONCUR
1995
Springer
15 years 6 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
101
Voted
IPPS
2007
IEEE
15 years 9 months ago
A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors
Michele Cirinei, Enrico Bini, Giuseppe Lipari, Alb...
82
Voted
PDCAT
2004
Springer
15 years 8 months ago
Tuning Genetic Algorithms for Real Time Systems Using a Grid
Antonio Martí Campoy, Francisco Rodrí...
72
Voted
IPPS
2003
IEEE
15 years 8 months ago
Evaluation of a Hybrid Real-Time Bus Scheduling Mechanism for CAN
Jonathan Mangnall, Steven F. Quigley