Sciweavers

936 search results - page 96 / 188
» Task Graph Scheduling Using Timed Automata
Sort
View
IPPS
1999
IEEE
15 years 5 months ago
Deterministic Batch Scheduling without Static Partitioning
The Irix 6.5 scheduling system provides intrinsic support for batch processing, including support for guaranteed access to resources and policy-based static scheduling. Long range ...
Kostadis Roussos, Nawaf Bitar, Robert English
RTSS
1999
IEEE
15 years 5 months ago
Design and Evaluation of a Feedback Control EDF Scheduling Algorithm
Despite the significant body of results in real-time scheduling, many real world problems are not easily supported. While algorithms such as Earliest Deadline First, Rate Monotoni...
Chenyang Lu, John A. Stankovic, Gang Tao, Sang Hyu...
ICFEM
2009
Springer
15 years 8 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
IPPS
2009
IEEE
15 years 8 months ago
Unit disk graph and physical interference model: Putting pieces together
Modeling communications in wireless networks is a challenging task since it asks for a simple mathematical object on which efficient algorithms can be designed, but that must also...
Emmanuelle Lebhar, Zvi Lotker
DATE
2006
IEEE
92views Hardware» more  DATE 2006»
15 years 7 months ago
Priority scheduling in digital microfluidics-based biochips
Discrete droplet digital microfluidics-based biochips face problems similar to that in other VLSI CAD systems, but with new constraints and interrelations. We focus on one such pr...
Andrew J. Ricketts, Kevin M. Irick, Narayanan Vija...