Sciweavers

181 search results - page 15 / 37
» Petri Net Based Simulation of Construction Schedules
Sort
View
WSC
2008
13 years 10 months ago
Simulation of modular building construction
Modular construction has the advantage of producing structures quickly and efficiently, while not requiring the resources to build a structure to be co-located with the constructi...
Osama M. Mohsen, Paul J. Knytl, Basel Abdulaal, Ja...
WSC
2008
13 years 10 months ago
A simulation based scheduling model for call centers with uncertain arrival rates
In this paper we develop a two stage algorithm for scheduling call centers with strict SLAs and arrival rate uncertainty. The first cut schedule can be developed in less than a mi...
Thomas R. Robbins, Terry P. Harrison
WSC
2000
13 years 9 months ago
Teaching system modeling, simulation and validation
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
Jörg Desel
ACPC
1999
Springer
14 years 16 hour ago
Modeling and Scheduling for MPEG-4 Based Video Encoder Using a Cluster of Workstations
In this paper, we first present an Object Composition Petri Nets (OCPN) based model methodology for describing the dynamic behaviour of the multiple video objects and user interac...
Yong He, Ishfaq Ahmad, Ming L. Liou
CODES
2001
IEEE
13 years 11 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung