707 search results - page 124 / 142 » Real-Time Scheduling with a Budget |
IJCSA
2006
14 years 9 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlem...
DAC
2012
ACM
13 years 4 days ago
2012
ACM
We consider software transactional memory (STM) concurrency control for multicore real-time software, and present a novel contention manager (CM) for resolving transactional conï¬...
RTAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
Data center power infrastructure incurs massive capital costs, which typically exceed energy costs over the life of the facility. To squeeze maximum value from the infrastructure,...