59 search results - page 7 / 12 » You Assume, We Guarantee: Methodology and Case Studies |
DAM
1998
13 years 6 months ago
1998
We study a discrete problem of scheduling activities of several types under the constraint that at most a single activity can be scheduled to any one period. Applications of such ...
TPDS
2010
13 years 1 months ago
2010
In the past, some research has been done on how to use proactive recovery to build intrusion-tolerant replicated systems that are resilient to any number of faults, as long as reco...
RTSS
2006
IEEE
14 years 21 days ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
WIOPT
2006
IEEE
14 years 21 days ago
2006
IEEE
— Channel-aware scheduling strategies provide an effective mechanism for improving the throughput performance in wireless data networks by exploiting channel fluctuations. The p...
TEC
2008
13 years 6 months ago
2008
Abstract-- This article describes the Candidate Design Environment we developed for efficient identification of promising drug candidates. Developing effective drugs from active mo...