3387 search results - page 87 / 678 » Model-Checking for Real-Time Systems |
SIGGRAPH
1999
ACM
14 years 2 months ago
1999
ACM
This paper describes VolumePro, the world’s first single-chip realtime volume rendering system for consumer PCs. VolumePro implements ray-casting with parallel slice-by-slice p...
RTAS
1997
IEEE
14 years 1 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
RTSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...
WORDS
2002
IEEE
14 years 2 months ago
2002
IEEE
The majority of today’s Internet-based services are generally not concerned about the level of Quality of Service (QoS) presented to their users. For many such services, however...
RTAS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...