Sciweavers

1536 search results - page 195 / 308
» DPS - Dynamic Parallel Schedules
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 10 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
ICCAD
2001
IEEE
126views Hardware» more  ICCAD 2001»
16 years 3 months ago
Constraint Satisfaction for Relative Location Assignment and Scheduling
Tight data- and timing constraints are imposed by communication and multimedia applications. The architecture for the embedded processor imply resource constraints. Instead of ran...
Carlos A. Alba Pinto, Bart Mesman, Jochen A. G. Je...
CONCUR
2007
Springer
16 years 17 days ago
Making Random Choices Invisible to the Scheduler
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
Konstantinos Chatzikokolakis, Catuscia Palamidessi
CCGRID
2005
IEEE
16 years 1 days ago
GangSim: a simulator for grid scheduling studies
Large distributed Grid systems pose new challenges in job scheduling due to complex workload characteristics and system characteristics. Due to the numerous parameters that must b...
Catalin Dumitrescu, Ian T. Foster
HIPC
2005
Springer
15 years 12 months ago
Cooperative Instruction Scheduling with Linear Scan Register Allocation
Abstract. Linear scan register allocation is an attractive register allocation algorithm because of its simplicity and fast running time. However, it is generally felt that linear ...
Khaing Khaing Kyi Win, Weng-Fai Wong