%
%   BibTeX entry for \cite{brp:1995a}
%
%   Copyright (c) 2004 by Bruno R. Preiss, P.Eng.
%
%   URL:http://www.brpreiss.com/papers/published/1995/pads/paper.bib
%
%

%
%   Copyright (c) 1999 by Bruno R. Preiss, P.Eng.
%
%   $Author: brpreiss $
%   $Date: 2001/12/09 19:22:40 $
%   $RCSfile: abbrev.bib,v $
%   $Revision: 1.22 $
%
%   $Id: abbrev.bib,v 1.22 2001/12/09 19:22:40 brpreiss Exp $
%

@string{ablex = "Ablex Publishing Corporation"}
@string{acm = "Association for Computing Machinery, Inc."}
@string{acmsurveys = "ACM Computing Surveys"}
@string{acmtomacs = "ACM Trans.\ on Modeling and Computer Simulation"}
@string{acmtoplas = "ACM Trans.\ on Programming Languages and Systems"}
@string{ass = " Ann.\ Simulation Symp."}
@string{brp = "Bruno R. Preiss"}
@string{cacm = "Communications of the ACM"}
@string{ccece = " Canadian Conf.\ on Elec.\ and Comp.\ Eng."}
@string{ccng = "Computer Communications Networks Group"}
@string{ccvlsi = " Canadian Conf.\ on VLSI"}
@string{cips = "Canadian Information Processing Society"}
@string{csece = "Canadian Society for Electrical and Computer Engineering"}
@string{ece = "Department of Electrical and Computer Engineering"}
@string{ee = "Department of Electrical Engineering"}
@string{eic = "Engineering Institute of Canada"}
@string{home = "http://www.brpreiss.com"}
@string{icpp = " Int.\ Conf.\ on Parallel Processing"}
@string{ieee = "Institute of Electrical and Electronics Engineers, Inc."}
@string{ieeecomp = "IEEE Computer"}
@string{ieeemicro = "IEEE Micro"}
@string{ieeetc = "IEEE Trans.\ on Computers"}
@string{ieeetcad = "IEEE Trans.\ on Computer-Aided Design"}
@string{ieeetpds = "IEEE Trans.\ on Parallel and Distributed Systems"}
@string{ieeetse = "IEEE Trans.\ on Software Engineering"}
@string{ijcs = "International Journal in Computer Simulation"}
@string{infocom = " INFOCOM"}
@string{isca = " Int.\ Symp.\ on Computer Architecture"}
@string{jpdc = "Journal of Parallel and Distributed Computing"}
@string{pads = " Workshop on Parallel and Distributed Simulation"}
@string{pennstate = "Pennsylvania State University"}
@string{proc = "Proc.\ "}
@string{sc = "Simulation Councils, Inc."}
@string{scs = "Society for Computer Simulation"}
@string{scsmcds = " SCS Multiconf. on Distributed Simulation"}
@string{tscs = "Trans.\ of the Society for Computer Simulation"}
@string{ut = "University of Toronto"}
@string{uw = "University of Waterloo"}
@string{wiley = "John Wiley \& Sons"}
@string{wsc = " Winter Simulation Conf."}

%
%   Copyright (c) 1999, 2000 by Bruno R. Preiss, P.Eng.
%
%   $Author: brpreiss $
%   $Date: 2004/11/13 13:48:41 $
%   $RCSfile: preiss.bib,v $
%   $Revision: 1.204 $
%
%   $Id: preiss.bib,v 1.204 2004/11/13 13:48:41 brpreiss Exp $
%


@inproceedings{brp:1995a,
    url = home # "/papers/published/1995/pads/paper.pdf",
    bibtex = home # "/papers/published/1995/pads/paper.bib",
    talk = home # "/talks/1995/pads/slides.pdf",
    author = "Bruno Richard Preiss",
    title = "An Algorithm for Speculative Parallel Execution
	of Rendezvous-Synchronized Simulation",
    booktitle = proc # 1995 # pads,
    address = "Lake Placid, NY",
    organization = ieee,
    month = Jun,
    year = 1995,
    pages = "11--20",
    copyright = ieee,
    abstract =
    {
	This paper presents an approach for speculative parallel execution
	of rendezvous-synchronized simulations.
	Rendezvous-synchronized simulation
	is based on the notions of processes and gates
	and on the rendezvous mechanism
	defined in the the basic process algebra of {\sc Lotos}---a
	standard formal specification language for temporal ordering.
	Time is introduced via a mechanism similar to
	the {\tt delay} behaviour annotation
	provided by the {\sc Topo} toolset.
	\par
	The algorithm allows speculative gate activations.
	This increases the available parallelism
	while ensuring correct execution of the computation.
	\par
	The model is used to describe closed stochastic queueing network
	simulations.
	Analysis of their execution results suggests that the model makes
	available a promising degree of parallelism.
    }
}