Sciweavers

1663 search results - page 6 / 333
» Scheduling techniques for media-on-demand
Sort
View
109
Voted
ICS
1999
Tsinghua U.
15 years 4 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
15 years 5 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
15 years 1 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»
14 years 11 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
15 years 4 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