Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover...
ISBN:
(纸本)076951104X
Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original conference proceedings.
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carr...
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center. The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. They reflect the authors' opinions and, in the interests of timely dissemination, are published as presented and without change. Their inclusion in this publication does not necessarily constitute endorsement by the editors or the Institute of Electrical and Electronics Engineers, Inc.
This paper shows how the Prosit system, a new C + +-based framework for both sequential and distributed discrete event simulation, developed at INRIA-Sophia-Antipolis, makes an easy and efficient integration of classi...
详细信息
This paper shows how the Prosit system, a new C + +-based framework for both sequential and distributed discrete event simulation, developed at INRIA-Sophia-Antipolis, makes an easy and efficient integration of classical discrete event simulation and of new high speed simulation techniques based on evolution equations possible. This demonstrates in particular the feasibility of distributedsimulations involving simulators of different nature. Important applications of these techniques may be found in the simulation of communication switches, as illustrated in an example.
This paper analyzes the Detailed policy Assessment tool (DPAT) as an example of a practical real-world aviation simulation that uses optimistic simulation technology. We present a review of analyses that have used DPA...
详细信息
ISBN:
(纸本)0769511058
This paper analyzes the Detailed policy Assessment tool (DPAT) as an example of a practical real-world aviation simulation that uses optimistic simulation technology. We present a review of analyses that have used DPAT results to support their conclusions, and discuss the design and performance of the system in the context of parallelsimulation. The thrust of this paper is to explain how DPAT avoids some of the problems associated with optimistic simulation, while exploiting its strengths. A key conclusion is that parallelsimulation technology, particularly optimistic synchronization, needs to be built into the product from its conceptual design through implementation, as opposed to adding it afterwards.
This paper discusses the problem of risk in optimistic simulation protocols, using as example simulation of a distributed mutual exclusion protocol with strong consistency properties. the simulation model is augmented...
详细信息
ISBN:
(纸本)076951104X;0769511058
This paper discusses the problem of risk in optimistic simulation protocols, using as example simulation of a distributed mutual exclusion protocol with strong consistency properties. the simulation model is augmented to detect model inconsistency errors resulting from risky optimistic simulation. While the model runs sequentially consistency errors, errors occur when the model is executed in parallel optimistically. Some of the errors entirely violate the fundamental mutual exclusion properties of the model itself. To address this problem we extend the optimistic simulation library to eliminate these inconsistencies. We discuss the detail od these extensions and the performance and the performance trade-off for adding them.
暂无评论