Sciweavers

2355 search results - page 44 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
WSC
1997
13 years 11 months ago
Using Simulation to Schedule Manufacturing Resources
This paper discusses a real-world application of simulation to schedule operator and machine resources in a floor tile manufacturing plant. The paper discusses attempts at using a...
Hank Czarnecki, Bernard J. Schroer, M. Mizzanur Ra...
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
INFOCOM
2009
IEEE
14 years 4 months ago
On the Impact of Heterogeneity and Back-End Scheduling in Load Balancing Designs
—Load balancing is a common approach for task assignment in distributed architectures. In this paper, we show that the degree of inefficiency in load balancing designs is highly...
Ho-Lin Chen, Jason R. Marden, Adam Wierman
SIPS
2007
IEEE
14 years 4 months ago
Low-Overhead Run-Time Scheduling for Fine-Grained Acceleration of Signal Processing Systems
In this paper, we present four scheduling algorithms that provide flexible utilization of fine-grain DSP accelerators with low run-time overhead. Methods that have originally been...
Jani Boutellier, Shuvra S. Bhattacharyya, Olli Sil...
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
14 years 4 months ago
Scheduling under resource constraints using dis-equations
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
Hadda Cherroun, Alain Darte, Paul Feautrier