932 search results - page 45 / 187 » Verifying Progress in Timed Systems |
120
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Modern operating systems frequently support applications with a variety of timing constraints including hard real-time, soft real-time, and best-effort. To guarantee performance, ...
147
Voted
SAC
2003
ACM
15 years 8 months 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...
115
click to vote
CIDR
2007
15 years 4 months ago
2007
Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
121
click to vote
RTAS
2010
IEEE
15 years 1 months ago
2010
IEEE
Providing QoS and performance guarantees to arbitrarily divisible loads has become a significant problem for many cluster-based research computing facilities. While progress is be...
125
click to vote
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...