Results 1 
9 of
9
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.
An Empirical Comparison of Priority Queue Algorithms
"... In the last three decades a considerable amount of research has been pursued in the efficient implementation of the pending event set (PES) associated with discreteevent simulation. The reason is simple: a fast event management has a very crucial impact in the total running time of both sequential ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
In the last three decades a considerable amount of research has been pursued in the efficient implementation of the pending event set (PES) associated with discreteevent simulation. The reason is simple: a fast event management has a very crucial impact in the total running time of both sequential and parallel simulations. This report focuses on this problem by studying the empirical performance of a number of solutions to the PES implementation in which we include a complete binary tree described in [26], 1 Introduction The PES is defined as the set of all the events generated during a discreteevent simulation and whose occurrence have not been simulated yet. In order to determine the next event to take place, it is necessary to extract the event with the least time from the PES. We call this operation extractmin. On the other hand, the occurrence of any event during the simulation can produce the insertion of new pending or future events in the PES; insert operation. These two b...
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 ...
Simulating complex SCI topologies
"... This paper shows how rather complex SCI topologies might be constructed and simulated using our present SCI simulator. We also present the serial HIC technology developed in the European OMI/HIC project. A HIC network may be used to transport SCI packets, and our new HIC network simulator under deve ..."
Abstract
 Add to MetaCart
This paper shows how rather complex SCI topologies might be constructed and simulated using our present SCI simulator. We also present the serial HIC technology developed in the European OMI/HIC project. A HIC network may be used to transport SCI packets, and our new HIC network simulator under development is presented as it is intended to simulate such HIC networks. Keywords Scalable Coherent Interface (SCI), Simulations, HIC Technology, Serial links, Topologies I. Introduction N ODES in an SCI topology are designed to form ringlets. However, ringlet structures are sensitive to hardware failures, and their peak load is limited; they are not truly scalable [1]. Having access to switches that enable traffic to be directed from one ringlet to another, one may form rather complex networks from quite small ringlets [2], [3], [4]. Ideally, every sending node in the topology should be capable of connecting to any destination node without blocking. We call this network a crossbar networ...
Proceedings of the 1998 Winter Simulation Conference
, 1998
"... In this paper we compare the average performance of one class of lowdiscrepancy quasiMonte Carlo sequences for global optimization. Weiner measure is assumed as the probability prior on all optimized functions. We show how to construct van der Corput sequences and we prove their consistency. Numer ..."
Abstract
 Add to MetaCart
In this paper we compare the average performance of one class of lowdiscrepancy quasiMonte Carlo sequences for global optimization. Weiner measure is assumed as the probability prior on all optimized functions. We show how to construct van der Corput sequences and we prove their consistency. Numerical experimentation shows that the van der Corput sequence in base 2 has a better average performance.
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
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
, 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
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