1980 search results - page 162 / 396 » Compositional Model Checking of Real Time Systems |
223
click to vote
SC
2005
ACM
15 years 12 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...
149
click to vote
WORDS
2003
IEEE
15 years 11 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...
199
click to vote
TPDS
2008
15 years 6 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...
157
click to vote
ICCV
2001
IEEE
16 years 8 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 ...
178
click to vote
ISORC
2008
IEEE
16 years 24 days 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...