Table of Contents

• G-Networks: A Unifying Model for Neural Nets and Queueing NetworksErol Gelenbe. 3-8
• The TES Methodology: Modeling Temporal Dependence in Empirical Time SeriesBenjamin Melamed. 11-16
• A Review of Quick Simulation Methods for QueuesGeorge Kesidis, Jean C. Walrand. 17-21
• The IMPROV Meta-Tool Design Methodology for Visualization of Parallel ProgramsThomas L. Casavant, James Arthur Kohl. 22-27
• Performance Analysis of Fault-Tolerant Tree-Based VLSI ArchitecturesMarco Roccetti. 31-37
• Concurrent Simulation of Instruction Systolic Array StructuresOlivier Y. de Vel. 38-43
• VLSI Architecture for Switch-Level SimulationHenry L. Owen. 44-49
• Modeling and Evaluation of a Superscalar ArchitectureJin-Ching Chung. 50-53
• MultiSim: A Simulation Tool for the Study of Large-Scale MultiprocessorsPhilip K. McKinley, Christian Trefftz. 57-62
• Evaluating Sequential Consistency in a Virtually Shared Memory System by Deterministic and Stochastic Petri NetsChristoph Lindemann, Friedrich Schön. 63-68
• A Design for Efficient Simulation of a MultiprocessorPeter S. Magnusson. 69-78
• A Parallel Algorithm for Cache Miss Ratio EvaluationDavid T. Harper III, David Tuma. 79-82
• Execution-Driven Simulation of Shared-Memory MultiprocessorsSandhya Dwarkadas, J. Robert Jump, R. Mukherjee, James B. Sinclair. 83-86
• Cell-Relay Network Simulation: A Demonstration of Heterogeneous Large-System ModelingAllen Lao, John Loh, David G. Messerschmitt. 89-94
• A Testbed for Studying Parallel Programs and Parallel Execution ArchitecturesDirk Grunwald, Gary J. Nutt, Anthony M. Sloane, David Wagner, Benjamin G. Zorn. 95-106
• X-Window Implementation of Finding Critical Loop, Next-Critical Loops and Iteration Bounds of Data Flow GraphsDaniel Y. Chao, David T. Wang. 107-112
• A Modeling Technique for Media Access Protocol EvaluationPatrick W. Dowd, Kalyani Bogineni. 115-120
• NETSIM: A General-Purpose Interconnection Network SimulatorJ. Robert Jump, Sridhar Lakshmanamurthy. 121-125
• Incorporating Recovery in Performability Models for Multi-Computer SystemsMeng-Lai Yin, Douglas M. Blough, Lubomir Bic. 126-131
• Approximation of Performance Parameters for Multistage, Multipath NetworksPatrick Sobalvarro. 132-139
• Reliability and Availability Analysis of Manhattan Street NetworkZheng Chen, Toby Berger. 143-148
• Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case StudyMohamed Bettaz, Mourad Maouche, M. Soulami, Madani Boukebeche. 149-154
• Performance Analysis of Routing Algorithms for the Rattlesnake NetworkGerard J. M. Smit, Paul J. M. Havinga. 155-160
• A Delay Model for a Frame Relay SwitchL. Po, P. Sarachik, Shivendra S. Panwar. 161-167
• Fast Parallel Simulation of SS7 Telecommunication NetworksNasser Kalantery, Stephen C. Winter, Derek R. Wilson, A. P. Redfern. 171-175
• Modeling and Performance Evaluation of Multiaccess Mechanisms at SUPERLANAdrian Popescu, Yuri Ismailov, Hassan Rajaei, Rassul Ayani. 176-182
• A Generic Framework for the Simulation Analysis of Protocol Layered Communication SystemsS. P. W. Jones, C. Smythe. 183-186
• A Visual Simulation Model for Performance Analysis of a Complex Software SystemDennis Mok, T. Steven Yuen. 187-190
• Automated Generation of Discrete Event-Driven Simulation Code From Computer Network SpecificationsFrank Verboven, Fannie Tallieu. 191-194
• Use of Hybrid and Hierarchical Simulation to Reduce Computation CostsKumar K. Goswami, Ravishankar K. Iyer. 197-202
• Incomplete Trace Data and Trace Driven SimulationJ. Kelly Flanagan, Brent E. Nelson, James K. Archibald, Knuth Stener Grimsrud. 203-209
• Fast Implementations of the Pending Event SetRobert Rönngren, Jens Riboe, Rassul Ayani. 210-215
• Modeling Object Behaviors Using Finite State AutomataBruno Mongazon-Cazavet. 216-221
• A Model for Pipelined Query ExecutionAnnita N. Wilschut, Stephan A. van Gils. 225-232
• Simulation Modeling of Weak-Consistency ProtocolsRichard A. Golding, Darrell D. E. Long. 233-238
• The Two-to-One-Criterion for Load Control in Locking SystemsHans-Ulrich Heiss, Marcus Dormanns. 239-242
• Performance Models for Perfect and Imperfect Clocks on Timestamp Ordering in Distributed DatabasesChristos Bouras, Paul G. Spirakis. 243-246
• A General Framework for Modelling Data Replication SchemesOliver E. Theel. 247-250
• Stochastic Petri Nets and an Extension of Norton s TheoremGuenter Klas. 253-258
• A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Coloured Petri NetsGiovanni Chiola, Rossano Gaeta, Matteo Sereno. 259-264
• Minimum Marking for No Loop-Combination of General Petri NetsDaniel Y. Chao, David T. Wang. 265-270
• Sensitivity Analysis of Deterministic and Stochastic Petri NetsHoon Choi, Varsha Mainkar, Kishor S. Trivedi. 271-276
• Experimental Evaluation of Distributed System ConfigurationsJohn E. Collins, Elizabeth S. Ghalichi. 279-282
• A Comparative Analysis of Static Processor Partitioning Policies for Parallel ComputersSanjeev Setia, Satish K. Tripathi. 283-286
• Parallel Modelling of Computer Networks for Connectivity AnalysisJerzy A. Barchanski. 287-290
• A Semi-Markov Model of a Home Network Access ProtocolJoost-Pieter Katoen. 293-298
• Equilibrium Point Approximations for Multiple Access Protocols with Different Customer ClassesMichael E. Woodward, Kamajith R. S. Rodrigo. 299-304
• On Message Delay for Multi-Access Protocols Based on TDMA SchemesFrançoise Simonot, Yeqiong Song, Jean-Pierre Thomesse. 305-310
• An Exact Analysis of Prioritized Bus Arbitration ProtocolPeram Marimuthu. 311-314
• On the Methods to Detect Sector Faults of a Disk SubsystemHannu Kari, Heikki Saikkonen, Fabrizio Lombardi. 317-322
• OMNeT: Objective Modular Network TestbedGyörgy Pongor. 323-326
• Conceptual Modeling of Digital Systems From Informal DescriptionsRobin Greenwood, Walling R. Cyre. 327-332
• Modeling and Simulation of Astronomical Image Transfer Via the Advanced Communications Technology SatelliteGeorghios A. Georghiou, Stephen J. Horan. 333-336
• SESAME - An Object Oriented Software Tool for Design, Simulation and Analysis of Neural NetsChristoph Tietz, Alexander Linden, Thomas Sudbrak. 339-340
• The NeuroGraph Neural Network SimulatorPeter Wilke, Christian Jacob. 341-342
• SNNS: An Efficient Simulator for Neural NetsAndreas Zell, Günter Mamier, R. Hübner, N. Schmalzl, Tilman Sommer, Michael Vogt. 343-346
• COMNET III: The New Enterprise-Wide Performance Analysis ToolRobb Mills, Shari Skinner. 349-350
• SMURPH: An Object-Oriented Simulator for Communication Networks and ProtocolsWlodzimierz Dobosiewicz, Pawel Gburzynski. 351-352
• The GILDA LAN Design ToolCharles Campbell Palmer, Mahmoud Naghshineh, Jeane S.-C. Chen. 353-354
• Program Development Simulator (PDS)Basel Kanawati, Nixon Patel, Chien Vu. 357-358
• Constructing Microarchitecture Simulators Using Object-Oriented Building BlocksJohn Turner, Raj Yavatkar. 359-360
• The Research Queueing Package Modeling EnvironmentKow C. Chang, Robert F. Gordon, Paul G. Loewner. 361-362
• NeMoSys: A Neural Modeling SystemFrank H. Eeckman, Frédéric E. Theunissen, John P. Miller. 365-366
• Modeling Using Stochastic Reward NetsJogesh K. Muppala, Gianfranco Ciardo, Kishor S. Trivedi. 367-372
• DSPNexpress: A Software Package for the Efficient Simulation of Deterministic and Stochastic Petri NetsChristoph Lindemann. 373-374
• Power Processor Architecture SimulationBasel Kanawati, Nixon Patel, Chien Vu. 377-381
• Simulating Neural Networks in a Distributed Computing Environment Using NeuroGraphPeter Wilke, Christian Jacob. 382-383
• Object-Oriented Paradigms for Model Development EnvironmentsBernard P. Zeigler. 384-389
• SPNP: The Stochastic Petri Net Package (Version 3.1)Gianfranco Ciardo, Kishor S. Trivedi. 390-391