3387 search results - page 245 / 678 » Model-Checking for Real-Time Systems |
201
Voted
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
Clusters and distributed systems offer fault tolerance and high performance through load sharing, and are thus attractive in real-time applications. When all computers are up and ...
223
click to vote
ISADS
2003
IEEE
16 years 11 days ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
208
click to vote
SAC
2003
ACM
16 years 10 days ago
2003
ACM
We present a distributed framework that enables real-time streaming and visualization of data generated by large remote simulations. We address issues arising from distributed cli...
207
click to vote
ECRTS
2002
IEEE
16 years 1 days ago
2002
IEEE
The demand for real-time database services has been increasing recently. Examples include sensor data fusion, decision support, web information services, and online trading. In th...
198
Voted
ICRA
2002
IEEE
16 years 1 days ago
2002
IEEE
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...