3387 search results - page 33 / 678 » Model-Checking for Real-Time Systems |
RTCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
Cache partitioning techniques have been proposed in the past as a solution for the cache interference problem. Due to qualitative differences with general purpose platforms, real-...
RTAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Recent studies show that, voltage scaling, which is an efficient energy management technique, has a direct and negative effect on system reliability because of the increased rate...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
RTAS
2003
IEEE
14 years 25 days ago
2003
IEEE
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
HICSS
2002
IEEE
14 years 15 days ago
2002
IEEE
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...