MASCOTS 1994: Durham, North Carolina, USA
Vijay K. Madisetti, Erol Gelenbe, Jean C. Walrand (Eds.): MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31 - February 2, 1994, Durham, North Carolina, USA. IEEE Computer Society 1994 ISBN 0-8186-5292-6
Invited Papers
Christopher D. Carothers, Richard Fujimoto, Yi-Bing Lin, Paul England: Distributed Simulation of Large-Scale PCS Networks. 2-6
Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fricks: Markov Reward Approach to Performability and Reliability Analysis. 7-11
Satish K. Tripathi, Sarit Mukherjee: Time Constrained Message Transmission in a LAN Environment. 12-17
Karim Harzallah, Kenneth C. Sevcik: Evaluating Memory System Performance of a Large-Scale NUMA Multiprocessor. 18-29
Jean-Michel Fourneau, Erol Gelenbe, Rina Suros: G-Networks with Multiple Class Negative and Positive Customers. 30-34
Jeffrey E. Wieselthier, Craig M. Barnhart, Anthony Ephremides: Modeling, Performance Evaluation, and Ordinal Optimization of Integrated Voice/Data Networks. 37-41
Papers Sessions
Session 1: Computer Systems
Evangelos P. Markatos, Catherine E. Chronaki: Trace-Driven Simulation of Data-Alignment and Ohter Factors Affecting Update and Invalidate Based Coherent Memory. 44-51
Yuguang Wu: Evaluation of Write-Back Caches for Multiple Block-Sizes. 57-61
Paul M. Greenawalt: Modeling Power Management for Hard Disks. 62-66
Session 2: Computer Communications Networks
Arnold W. Bragg, Wushow Chou: Analytic Models and Characteristics of Video Traffic in High Speed Networks. 68-73
Krishna M. Sivalingam, Patrick W. Dowd: A Performance Study of Photonic Local Area Network Topologies. 79-83
Session 3: Computer Performance/Modeling
Tülin Atmaca, Harry G. Perros, Yves Dallery: Approximate Analysis of a Multi-Class Open Queueing Network with Class Blocking and Push-out. 90-95
Dorina C. Petriu, Shikharesh Majumdar, Jinping Lin, Curtis E. Hrischuk: Analytic Performance Estimation of Client-Server Systems with Multi-Threaded Clients. 96-100
Barbara K. Pasquale, George C. Polyzos: A Case of Scientific Study Application I/O Behavior. 101-106
Jenlong Wang, Russell W. Quong: The Feasibility of Using Compression to Increase Memory System Performance. 107-113
Session 4: Interconnection/Networks
Hamid Sharif, Hamid Vakilzadian, Hong Jiang: Design and Simulation of a Serial-Link Interconnection Network for a Massively Parallel Computer System. 115-119
Walid A. Najjar, Annette Lagman, Sumit Sur, Pradip K. Srimani: Modeling Adaptive Routing in k-ary n-cube Networks. 120-125
Yashovardhan R. Potlapalli, Dharma P. Agrawal: Conflict Analysis of Multistage Interconnection Networks. 126-130
Rajeev Thakur, Alok N. Choudhary, Geoffrey Fox: Complete Exchange on a Wormhole Routed Mesh. 131-135
Session 5: Performance Modeling and Simulation
Abdul Waheed, Bernd Kronmüller, Diane T. Rover: A Matrix Approach to Performance Data Modeling, Analysis and Visualization. 137-141
Marios D. Dikaiakos, Anne Rogers, Kenneth Steiglitz: FAST: A Functional Algoritm Simulation Testbed. 142-146
Charles André, Marie-Agnés Péraldi: Simulation of Temporal Behaviour Based on a Synchronous Language. 147-151
Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman: Xmgm: Performance Modeling Using Matrix Geometric Techniques. 152-157
Session 6: Multiprocessor Systems
Xiaodong Zhang, Yong Yan: Modeling Data Migration on CC-NUMA and CC-COMA Hierarchical Ring Architectures. 159-163
James B. Sinclair, W. P. Dawkins: ES: A Tool for Predicting the Performance of Parallel Systems. 164-168
Mohammed Azhar Sayeed, Mohammed Atiquzzaman: Performance of Multiple-Bus Multiprocessor under Non-Uniform Memory Reference. 169-173
John T. McHenry, Scott F. Midkiff: VHDL Modeling for the Performance Evaluation of Multicomputer Networks. 174-178
Session 7: Tools and Interfaces
Sekhar R. Sarukkai: Scalability Analysis Tools for SPMD Message-Passing Parallel Programs. 180-186
Pankaj Mehra, Michelle Gower, Michael A. Bass: Automated Modeling of Message-Passing Programs. 187-192
Session 8: Efficient Simulation Mechanisms
Jack E. Veenstra, Robert J. Fowler: MINT: A Front End for Efficient Simulation of Shared-Memory Multiprocessors. 201-207
Gudjon Hermannsson, Ai Li, Larry D. Wittie: Analysis of Memory and Time Savings Using EC/DSIM. 208-213
Session 9: Network Simulation and Design
Marc Beckers, Johan Peeters, Frank Verboven: Object-Oriented Modeling, Simulation and Implementation of a Network Management System. 222-228
Henry L. Owen: Synchronous Digital Hierarchy Network Modeling. 229-233
Daniel Y. Chao, David T. Wang: The Knitting Technique and Its Application to Communication Protocol Synthesis. 234-238
Tom Routen: Genetic Algorithm and Neural Network Approaches to Local Access Network Design. 239-243
Session 10: Analytical Models and Solutions

Yongbing Zhang, Hisao Kameda, Kentaro Shimizu: Adaptive Bidding Load Balancing Algorithms in Heterogeneous Distributed Systems. 250-254
William J. Stewart, Abderezak Touzene: On Solving Stochastic Coupling Matrices Arising in Iterative Aggregation/Disaggregation Methods. 255-262
Session 11: Protocol Modeling and Simulation
Rosa M. L. R. Carmo, Guy Juanole: Modeling and Evaluating the DQDB Protocol with Stochastic Timed Petri Nets. 269-275
Sheung-lun Hung, Kwok-Wa Lam, Kam-yiu Lam: Efficient Technique for Performance Analysis of Locking Protocols. 276-283
Markus Walch, Adam Wolisz, J. Wolf-Günther: Visualization and Performance Analysis of Formally Specified Communication Protocols. 284-291
Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano: Integrating Peforamnce Analysis in the Context of LOTOS-Based Design. 292-298
Session 12: Performance Analysis
Lap Huynh, Rong-Feng Chang, Wushow Chou: Performance Comparison between TCP Slow-Start and a New Adaptive Rate-Based Congestion Avoidance Scheme. 300-307
Cedell Alexander, Donna Reese, James C. Harden: Near-Critical Path Analysis of Program Activity Graphs. 308-317
George Kesidis: Modeling to Obtain the Effective Bandwidth of a Traffic Source in an ATM Network. 318-322
Yen-Wen Lu, Kallol Kumar Bagchi, James B. Burr, Allen M. Peterson: A Comparison of Different Wormhole Routing Schemes. 323-328
Session 13: Petri-Nets and Applications
G. Manduchi, M. Moro: An Object Oriented Approach in Building an Environment for Simulation and Analysis Based on Timed Petri Nets with Multiple Execution Policies. 330-334
N. Bergé, Mazen Samaan, Guy Juanole, Youcef Atamna: Methodology for LAN Modeling and Analysis Using Petri Nets Based Models. 335-342
Hatem Sellami, James D. Allen, David E. Schimmel, Sudhakar Yalamanchili: Simulation of Marked Graphs on SIMD Architectures Using Efficient Memory Management. 343-348
Tools Sessions
Session 1: Simulation of Robotics and Process Control
Michael Gerke, R. Dicken, Helmut Hoyer: From Simulation to Virtual Reality: A Robotic Application. 351-355
Hans-Jürgen Herpel, Michael Held, Manfred Glesner: MCEMS Toolbox - A Hardware-in-the-Loop Simulation Environment for Mechatronic Systems. 356-357
Rainer Trieb, Ewald von Puttkamer: The 3d7-Simulation Environment: A Tool for Autonomous Mobile Robot Development. 358-361
Session 2: Architecture and Network Simulation
Fred W. Howell, R. Williams, Roland N. Ibbett: Hierarchical Architecture Design and Simulation Environment. 363-366
Tadeusz Uhl, J. Ulmer: Animated Simualtions of Media Access Protocols in Local Area Networks. 367-370
Steven J. Schaffer, William W. LaRue: BONeS DESIGNER: A Graphical Environment for Discrete-Event Modeling and Simulation. 371-374
Session 3: Performance Analysis and Debugging
Abdul Waheed, Bernd Kronmüller, Roomi Sinha, Diane T. Rover: A Toolkit for Advanced Performance Analysis. 376-380
Daniel Y. Chao, David T. Wang: An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols. 381-385
Ming C. Hao, Alan H. Karp, Milon Mackey, Vineet Singh, Jane Chien: On-the-Fly Visualization and Debugging of Parallel Programs. 386-391
Posters Session
Li-Tao Chen, Gérard Memmi, Pascal Petit, Patrick Denimal: Experiment and Performance Evaluation of a Distributed Collaboration System. 393-394
Brian A. Malloy: Trace-Driven and Program-Driven Simulation: A Comparison. 395-396
Ramón Puigjaner, Jacek Szymanski: Towards the Automatic Derivation of Computer Performance Models from the Real Time and Embedded Systems Design. 397-398
Sean Alexandre, Winser E. Alexander, Douglas S. Reeves: A Programmable Simulator for Analyzing the Block Data Flow Architecture. 399-400
Ludmila Cherkasova, Al Davis, Vadim E. Kotov, Tomas Rokicki: Colored Petri Net Methods for Performance Analysis of Scalable High-Speed Interconnects. 401-402
Hannu Kari, Heikki Saikkonen, Fabrizio Lombardi: Detecting Latent Sector Faults in Modern SCSI Disks. 403-404
Bin Zhou, Mohammed Atiquzzaman: Performance of Output-Multibuffered Multistage Interconnection Networks. 405-406
Russell O. Cleaver, Scott F. Midkiff: Visualization of Network Performance Using the AVS Visualization System. 407-408
S. Shankaranarayanan, Walling R. Cyre: Coreference Detection in Automatic Analysis of Specifications. 409-410
Aniruddha Thakar, Walling R. Cyre: Visual Feedback for Validation of Informal Specifications. 411-412
C. Vu Duy: Discrete Time Open Queueing Networks with Feedback, Bulk Arrivals and Services. 413-414
Paul J. Bond, Bruce C. Kim, Christopher A. Lee, David E. Schimmel: A Methodology for Generation and Collection of Multiprocessor Traces. 417-418
Francesco Lo Presti, Michele Colajanni, Salvatore Tucci: Stochastic Bounds on Execution Times of Parallel Computations. 421-422



