Date 3-5 Dec. 2003
Filter Results
Displaying Results 1 - 25 of 43
-
-
Generating formal models for real-time verification by exact low-level runtime analysis of synchronous programs
|
PDF (303 KB)
-
-
An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software
|
PDF (254 KB)
-
Addressing timeliness/accuracy/cost tradeoffs in information collection for dynamic environments
|
PDF (520 KB)
-
-
-
Rotational-position-aware real-time disk scheduling using a dynamic active subset (DAS)
|
PDF (432 KB)
-
A hybrid control design for QoS management
|
PDF (287 KB)
-
Evaluating mission critical large-scale embedded system performance in real-time Java
|
PDF (286 KB)
-
-
Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems
|
PDF (384 KB)
-
Hardware support for priority inheritance
|
PDF (5652 KB)
-
Quick-release fair scheduling
|
PDF (553 KB)
-
-
-
A consensus protocol for CAN-based systems
|
PDF (331 KB)
-
-
-
-
-
-
-
-


