1980 search results - page 162 / 396 » Compositional Model Checking of Real Time Systems |
138
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
In contrast to traditional terascale simulations that have known, fixed data inputs, dynamic data-driven (DDD) applications are characterized by unknown data and informed by dynam...
105
Voted
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
Due to the lack of QoS support, ensuring an acceptable application level QoS for the real-time delivery of multiobject multimedia presentations on the current Internet is very cha...
140
Voted
TPDS
2008
15 years 1 months ago
2008
Security is increasingly becoming an important issue in the design of real-time parallel applications, which are widely used in the industry and academic organizations. However, ex...
100
click to vote
ICCV
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a novel approach to real-time structured light range scanning. After an analysis of the underlying assumptions of existing structured light techniques, we derive a new ...
120
click to vote
ISORC
2008
IEEE
15 years 8 months ago
2008
IEEE
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...