1758 search results - page 145 / 352 » Schedule processes, not VCPUs |
155
click to vote
FUIN
2006
15 years 6 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
207
click to vote
AOR
2010
15 years 4 months ago
2010
We show how a technique from signal processing known as zero-delay convolution can be used to develop more efficient dynamic programming algorithms for a broad class of stochastic...
200
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
194
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Non-uniform utilization of functional units in combination with hardware mechanisms such as clock gating leads to different power consumptions in different parts of a processor ch...
188
click to vote
JSSPP
2009
Springer
16 years 1 months ago
2009
Springer
It is important to identify scalability constraints in existing job scheduling software as they are applied to next generation parallel systems. In this paper, we analyze the scala...