A specification language to assist in analysis of discrete event simulation models
Communications of the ACM
Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
The implementation of the hierarchical abstract simulator on the HEP computer
WSC '85 Proceedings of the 17th conference on Winter simulation
SAM—a computer aided design tool for specifying and analyzing modular, heirarchical systems
WSC '86 Proceedings of the 18th conference on Winter simulation
PACS: a parallel microprocessor array for scientific calculations
ACM Transactions on Computer Systems (TOCS)
Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Active logical processes and distributed simulation: An analysis
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
Performance analysis of a distributed simulation algorithm based on active logical processes
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
An experiment in microprocessor-based distributed digital simulation
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
The Yorktown Simulation Engine
DAC '82 Proceedings of the 19th Design Automation Conference
Distributed simulation on multiprocessors: specification, design, and architecture (discrete event, computer)
The class kernel-models in DEVS-scheme: a hypercube architecture example
ACM SIGSIM Simulation Digest
Development Life Cycle of Computer Networks: The Executable Model Approach
IEEE Transactions on Software Engineering
Software Reliability Allocation Based on Structure, Utility, Price, and Cost
IEEE Transactions on Software Engineering
Model base management for multifacetted systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Using simulation to aid in the design of an intelligent tutoring systems
ACM SIGSIM Simulation Digest
Object-oriented memory management in DEVSIM++
WSC '93 Proceedings of the 25th conference on Winter simulation
Towards a computer aided simulation model engineering (CASME) environment
WSC '93 Proceedings of the 25th conference on Winter simulation
Hierarchical modular modeling/knowledge representation
WSC '86 Proceedings of the 18th conference on Winter simulation
The role of polymorphism in class evolution in the DEVS-scheme environment
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Entity Structure Based Design Methodology: A LAN Protocol Example
IEEE Transactions on Software Engineering
Model Validation of a Wormhole Router System
HPC-ASIA '97 Proceedings of the High-Performance Computing on the Information Superhighway, HPC-Asia '97
Object oriented simulation of multimedia on demand services over ATM network
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Self-reproducible DEVS formalism
Journal of Parallel and Distributed Computing - Special issue: Design and performance of networks for super-, cluster-, and grid-computing: Part II
An SDS modeling approach for simulation-based control
WSC '05 Proceedings of the 37th conference on Winter simulation
MMACTE'05 Proceedings of the 7th WSEAS International Conference on Mathematical Methods and Computational Techniques In Electrical Engineering
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
A distributed virtual M&S framework for military tactical training
WSEAS Transactions on Information Science and Applications
Performance analysis for session and error management agent running on home network environment
MUSP'09 Proceedings of the 9th WSEAS international conference on Multimedia systems & signal processing
Performance analysis for a web based session and error management agent on home network environment
WSEAS Transactions on Computers
ICIC'07 Proceedings of the intelligent computing 3rd international conference on Advanced intelligent computing theories and applications
An adaptive dynamic window binding model for RCSM
ICIC'07 Proceedings of the intelligent computing 3rd international conference on Advanced intelligent computing theories and applications
An error sharing agent for multimedia collaboration environment running on pervasive networks
ICHIT'06 Proceedings of the 1st international conference on Advances in hybrid information technology
A hooking method running on MHAP environment
ACE'10 Proceedings of the 9th WSEAS international conference on Applications of computer engineering
Benefits and challenges in developing warship simulator based on DEVS formalism
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A metamodel and a DEVS implementation for component based hierarchical simulation modeling
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Ptera: an event-oriented model of computation for heterogeneous systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
DEVS formalism: a hierarchical generation scheme
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Timed i/o test sequences for discrete event model verification
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Hi-index | 0.01 |
A methodology is being developed to map hierarchical, modular discrete event models onto distributed simulator architectures. Concept developed for the first step of the methodology concerning model representation are discussed. The DEVS (Discrete Event System Specification) is extended to facilitate modular, hierarchical model specification. Procedures for top-down model development are expressed with the extended formalism and illustrated with a computer system model design.