674 search results - page 32 / 135 » Resource Bound Certification |
129
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
141
Voted
SIGCOMM
1996
ACM
15 years 7 months ago
1996
ACM
Emerging indoor mobile computing environments seek to provide a user with an advanced setofcommunication-intensive applications, which require sustained quality of service in the ...
136
Voted
TGC
2010
Springer
15 years 1 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
138
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— We consider a set of computer resources used by a service provider to host enterprise applications subject to service level agreements. We present an approach for resource opti...
106
Voted
JSA
2000
15 years 3 months ago
2000
In this paper, we address the problem of scheduling hybrid task sets consisting of hard periodic and soft aperiodic tasks that may share resources in exclusive mode in a dynamic e...