3387 search results - page 104 / 678 » Model-Checking for Real-Time Systems |
146
Voted
ICPP
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we investigate an efficient off-line scheduling algorithm in which real-time tasks with precedence constraints are executed in a heterogeneous environment. It provi...
139
Voted
ICPP
2002
IEEE
15 years 7 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
122
click to vote
PARELEC
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we investigate the worst case performance of Earliest Due Date algorithm when applied to packet scheduling in distributed systems. We assume that the processing ele...
129
Voted
WACV
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes a method for tracking human body motion from multiple views in real-time. The method extracts silhouettes in each view using background subtraction, and then ...
135
Voted
DELTA
2004
IEEE
15 years 6 months ago
2004
IEEE
In this report we address the problem of static scheduling of realtime systems that include both hard and soft tasks. We consider systems in which both hard and soft tasks are per...