933 search results - page 129 / 187 » Component-Based Real-Time Operating System for Embedded Appl... |
136
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
— There is a growing interest in developing low cost, low power, highly integrated biosensor systems to characterize individual cells for applications such as cell analysis, drug...
109
click to vote
RTAS
2005
IEEE
15 years 8 months ago
2005
IEEE
It is advantageous to perform compiler optimizations to lower the WCET of a task since tasks with lower WCETs are easier to schedule and more likely to meet their deadlines. Compi...
113
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Time-critical jobs in many real-time applications have multiple feasible intervals. Such a job is constrained to execute from start to completion in one of its feasible...
141
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
121
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...