Sciweavers

1663 search results - page 6 / 333
» Scheduling techniques for media-on-demand
Sort
View
ICS
1999
Tsinghua U.
14 years 1 months ago
Reorganizing global schedules for register allocation
Instruction scheduling is an important compiler technique for exploiting more instruction-level parallelism (ILP) in high-performance microprocessors, and in this paper, we study ...
Gang Chen, Michael D. Smith
AI
2005
Springer
14 years 3 months ago
Multiagent Systems Viewed as Distributed Scheduling Systems: Methodology and Experiments
In this article, we present a design technique that facilitates the work of extracting and defining the tasks scheduling problem for a multiagent system. We also compare a central...
Sébastien Paquet, Nicolas Bernier, Brahim C...
AIPS
2003
13 years 11 months ago
Vehicle Routing and Job Shop Scheduling: What's the Difference?
Despite a number of similarities, vehicle routing problems and scheduling problems are typically solved with different techniques. In this paper, we undertake a systematic study o...
J. Christopher Beck, Patrick Prosser, Evgeny Selen...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
EUROMICRO
1999
IEEE
14 years 1 months ago
An Improved Scheduling Technique for Time-Triggered Embedded Systems
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
Paul Pop, Petru Eles, Zebo Peng