Sciweavers

WSC
2008
13 years 6 months ago
A methodology for unit testing actors in proprietary discrete event based simulations
CT This paper presents a dependency injection based, unit testing methodology for unit testing components, or actors, involved in discrete event based computer network simulation v...
Mark E. Coyne, Scott R. Graham, Kenneth M. Hopkins...
ANSS
1991
IEEE
13 years 8 months ago
A provably correct, non-deadlocking parallel event simulation algorithm
This paper first summerizes and then presents a formal proof to a new conservative deadlock-free algorithm, YADDES [l], for asynchronous discrete event simulation. The proof not o...
Meng-Lin Yu, Sumit Ghosh, Erik DeBenedictis
CGI
2004
IEEE
13 years 8 months ago
From Continuous to Discrete Games
Computer games follow a scheme of continuous simulation, coupling the rendering phase and the simulation phase. That way of operation has disadvantages that can be avoided using a...
Inmaculada García, Ramón Mollá...
HYBRID
1994
Springer
13 years 8 months ago
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, He...
PADS
1996
ACM
13 years 8 months ago
Design of High Level Modelling / High Performance Simulation Environments
Advances in massively parallel platforms are increasing the prospects for high performance discrete event simulation. Still the di culty in parallel programming persists and there...
Bernard P. Zeigler, Doohwan Kim
HPCN
1997
Springer
13 years 8 months ago
High Performance Discrete Event Simulations to Evaluate Complex Industrial Systems
We have developed a Modelling and Simulation platform for technical evaluation of Electronic Toll Collection on Motor Highways. This platform is used in a project of the Dutch gov...
Alfons G. Hoekstra, Leo Dorst, Martin Bergman, Jos...
ICRA
1999
IEEE
140views Robotics» more  ICRA 1999»
13 years 8 months ago
Optimal Control of Production Systems with Unreliable Machines and Finite Buffers
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...
Fabio Balduzzi, Giuseppe Menga, Alessandro Giua
ICCS
2004
Springer
13 years 9 months ago
An Application of the DEDS Control Synthesis Method
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
Frantisek Capkovic
25
Voted
HYBRID
2004
Springer
13 years 9 months ago
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
Natasha A. Neogi
ANSS
2006
IEEE
13 years 10 months ago
iSimBioSys: A Discrete Event Simulation Platform for 'in silico' study of biological systems
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...