Sciweavers

2544 search results - page 364 / 509
» Process pipeline scheduling
Sort
View
CSCLP
2006
Springer
15 years 1 months ago
A Constraint Model for State Transitions in Disjunctive Resources
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
Roman Barták, Ondrej Cepek
SNPD
2008
14 years 11 months ago
Tools and Techniques for Model Checking Networked Programs
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
WSC
2004
14 years 11 months ago
Characterizations and Relationships of World Views
We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe t...
C. Michael Overstreet, Richard E. Nance
MIC
2003
128views Control Systems» more  MIC 2003»
14 years 11 months ago
A Discrete Event Simulation Package for Modular and Adaptive Assembly Plants
The paper deals with the discrete event simulation of a modular assembly plant for automotive derivation boxes. A simulation package has been developed in objectoriented language ...
Luca E. Bruzzone, Rezia M. Molfino, Matteo Zoppi
WSC
2000
14 years 11 months ago
Electronic workflow for transaction-based work cells in a financial services firm
In determining an electronic workflow system, a financial services firm utilized simulation to determine the necessary capital expenditure. Analysis included batching options, Ser...
David M. Ferrin, Martin J. Miller, Gustavo Giron