1980 search results - page 100 / 396 » Compositional Model Checking of Real Time Systems |
137
click to vote
SIGGRAPH
1999
ACM
15 years 6 months ago
1999
ACM
Realistic acoustic modeling is essential for spatializing sound in distributed virtual environments where multiple networked users move around and interact visually and aurally in...
ECRTS
2005
IEEE
15 years 7 months ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
110
click to vote
RTDB
2001
15 years 3 months ago
2001
Research in the concurrency control of real-time data access over mobile networks is receiving growing attention. With possibly lengthy transmission delay and frequent disconnecti...
169
click to vote
VISUALIZATION
1995
IEEE
15 years 5 months ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
149
click to vote
RTSS
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...