Results 1  10
of
12
GMSim: A generalized semiMarkov simulation environment
, 1998
"... A discreteevent simulation environment, called GMSim, based on the generalized semiMarkov process (GSMP) framework is described. The tool is completely generic and extendible by Tcl script programming. Application specific components are developed in an objectedoriented setting by C++ programming ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
A discreteevent simulation environment, called GMSim, based on the generalized semiMarkov process (GSMP) framework is described. The tool is completely generic and extendible by Tcl script programming. Application specific components are developed in an objectedoriented setting by C++ programming in combination with M4 macro processing. Components are conveniently integrated by runtime linking. The strong links to the underlying mathematical GSMP description is favorable in two respects. First, qualitative results from a body of theory is readily available. Next, the structured view leads to an efficient implementation.
GMSim: A Tool For Compositional GSMP Modeling
 IN PROC. OF THE 1998 WINTER SIMULATION CONFERENCE (WASHINGTON DC, DEC
, 1998
"... The development of a discreteevent simulation tool, called GMSim, based on the generalized semiMarkov process (GSMP) formalism is described. The GSMP representation comprises both analysis and simulation in a unied framework. This paper focuses on the simulation aspect and how to deal with a combi ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
The development of a discreteevent simulation tool, called GMSim, based on the generalized semiMarkov process (GSMP) formalism is described. The GSMP representation comprises both analysis and simulation in a unied framework. This paper focuses on the simulation aspect and how to deal with a combinatorially exploding state space. A compositional GSMP modeling methodology is proposed, which in turn combined with an objectoriented programming approach. A key feature of the resulting tool is the close resemblance with the underlying mathematical structure. This facilitates coherent modeling and also an efficient implementation. The tool is completely generic and extendible by Tcl script programming. Application specific components are developed by C++ programming in combination with M4 macro processing.
Discrete Event Systems in Rewriting Logic
, 1996
"... In this note, we report on some work in progress on using rewriting logics for discrete event simulation. The idea is to combine the proofs in the logic with the observations in the simulations to gain a better understanding of the interaction intricacies that seem to occur in complex simulations. I ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
In this note, we report on some work in progress on using rewriting logics for discrete event simulation. The idea is to combine the proofs in the logic with the observations in the simulations to gain a better understanding of the interaction intricacies that seem to occur in complex simulations. In particular, we use communication protocols as our application domain, since they have all the interaction and unpredictability that makes formal specifications difficult. 1 Problem: Formal Methods in Simulation The historical barriers to the use of formal methods in designing and developing communication protocols derive from their different attitudes: verification models have been used for many years for proofs of behavior (a verification model cannot tell you when the model is wrong), but simulation models are used for observations of behavior (a simulation model cannot tell you when the model is right). These are almost always different models, since they must concentrate on different ...
SSJ User’s Guide Package simevents Simulation Clock and Event List Management
, 2010
"... This package provides the simulation clock and tools to manage the future events list. These are the basic tools for discreteevent simulation. Several different implementations of the event list are offered. Some basic tools for continuous simulation (i.e., solving differential equations with respe ..."
Abstract
 Add to MetaCart
(Show Context)
This package provides the simulation clock and tools to manage the future events list. These are the basic tools for discreteevent simulation. Several different implementations of the event list are offered. Some basic tools for continuous simulation (i.e., solving differential equations with respect to time) are also provided. CONTENTS 1
SSJ User’s Guide Package simevents Simulation Clock and Event List Management
, 2006
"... This package provides the simulation clock and tools to manage the future events list. These are the basic tools for discreteevent simulation. Several different implementations of the event list are offered. Some basic tools for continuous simulation (i.e., solving differential equations with respe ..."
Abstract
 Add to MetaCart
(Show Context)
This package provides the simulation clock and tools to manage the future events list. These are the basic tools for discreteevent simulation. Several different implementations of the event list are offered. Some basic tools for continuous simulation (i.e., solving differential equations with respect to time) are also provided. CONTENTS 1
UNIVERSITY OF OSLO Department of Informatics
, 1998
"... generalized semiMarkov simulation environment ..."
(Show Context)
Methods for Performance Evaluation of WormholeSwitched Networks
, 1998
"... this document. Hence, the same stylistic conventions are used throughout. ..."
Abstract
 Add to MetaCart
(Show Context)
this document. Hence, the same stylistic conventions are used throughout.
SSJ User’s Guide Package simevents Simulation Clock and Event List Management
, 2014
"... This package provides the simulation clock and tools to manage the future events list. These are the basic tools for discreteevent simulation. Several different implementations of the event list are offered. Some basic tools for continuous simulation (i.e., solving differential equations with respe ..."
Abstract
 Add to MetaCart
(Show Context)
This package provides the simulation clock and tools to manage the future events list. These are the basic tools for discreteevent simulation. Several different implementations of the event list are offered. Some basic tools for continuous simulation (i.e., solving differential equations with respect to time) are also pro