1243 search results - page 41 / 249 » EDZL Scheduling Analysis |
ISORC
2008
IEEE
14 years 5 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
ICCAD
1994
IEEE
14 years 3 months ago
1994
IEEE
For a logic design with level-sensitive latches, we need to validate timing signal paths which may flush through several latches. We developed efficient algorithms based on the mo...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
RTCSA
2007
IEEE
14 years 5 months ago
2007
IEEE
In this paper we explore the possibility of using commodity graphics processing units (GPUs) to speedup standard schedulability analysis algorithms. Our long-term goal is to explo...
CORR
2004
Springer
2004
Springer
A Grid-enabled Interface to Condor for Interactive Analysis on Handheld and Resource-limited Devices
13 years 10 months ago
This paper presents the design and implementation of a Grid-enabled interactive analysis environment for handheld and other resource-limited computing devices. Handheld devices ar...