222 search results - page 11 / 45 » Temporal firewalls in large distributed real-time systems |
REX
1991
14 years 2 days ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
ECRTS
2009
IEEE
13 years 6 months ago
2009
IEEE
Performing QoS (Quality of Service) control in large computing systems requires an on line metric that is representative of the real state of the system. The Tardiness Quantile Me...
ISORC
1998
IEEE
14 years 25 days ago
1998
IEEE
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
PAAMS
2010
Springer
13 years 7 months ago
2010
Springer
The huge number of cores existing in current Graphics Processor Units (GPUs) provides these devices with computing capabilities that can be exploited by distributed applications. I...
CCGRID
2011
IEEE
13 years 5 days ago
2011
IEEE
Many large-scale distributed computing applications demand real-time responses by soft deadlines. To enable such real-time task distribution and execution on the volunteer resourc...