MASCOTS 1995: Durham, North Carolina, USA
Patrick W. Dowd, Erol Gelenbe (Eds.): MASCOTS '95, Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 10-18, 1995, Durham, North Carolina, USA. IEEE Computer Society 1995 ISBN 0-8186-6902-0
Session 1A: Systems
Peter J. Denning: A Short Theory of Multiprogramming. 2-7
Jacques Labetoulle, Didier Loisel, Alaa Dakroub: Analysis of the Performance of a Distributed Simulator. 13-16
Ramón Puigjaner: Performance Aspects of Real-Time Systems. 17-21
Session 1B: Queueing Systems 1
Bruno Baynat, Yves Dallery: Approximate Analysis of Multi-Class Synchronized Closed Queueing Networks. 23-27
Jean-Michel Fourneau, Leïla Kloul, Franck Quessette: Multiple Class G-Networks with Jumps back to Zero. 28-32
Jean-Michel Fourneau, Dominique Verchère: G-Networks with Triggered Batch State-Dependent Movement. 33-37
Wen-Jung Hsin, Appie van de Liefvoort: Performance Analysis of the General Multi-Server Finite Waiting Room Model. 38-42
Session 2A: Networking 1
Albert G. Greenberg, Boris D. Lubachevsky, David M. Nicol, Paul E. Wright: Efficient Massively Parallel Simulation of Dynamic Channel Assignment Schemes for Wireless Cellular Communications. 45-47
Sridhar Seshadri, Vijay Srinivasan: A Robust Heuristic for Minimizing Cell Loss in ATM Networks. 48-52
Nitin Agarwal, Yannis Viniotis: Performance Space of a GI/G/1 Queueing System under a Percentile Goal Criterion. 53-57
Session 2B: Distributed Simulation
Giovanni Chiola, Alois Ferscha: Performance Comparable Design of Efficient Synchronization Protocols for Distributed Simulation. 59-65
Sajal K. Das, Falguni Sarkar, Kalyan Basu, Seshu Madhavapeddy: Parallel Discrete Event Simulation in Star Networks with Application to Telecommunications. 66-71
Phillip M. Dickens, Philip Heidelberger, David M. Nicol: Parallelized Network Simulators for Message-Passing Parallel Programs. 72-76
D. Zampuniéris, Baudouin Le Charlier: An Efficient Algorithm to Compute the Synchronized Product. 77-81
Session 3A: Queueing Systems 2

Onno J. Boxma, Ger Koole, Isi Mitrani: A Two-Queue Polling Model with a Threshold Service Policy. 84-88
Yaakov Kogan, Andrei Yakovlev: Asymptotics of the Partition Function in Large Closed BCMP Networks with Bottlenecks. 89-93
David L. Jagerman, Benjamin Melamed: Bidirectional Estimation and Confidence Regions for TES Processes. 94-98
Session 3B: Multiprocessor Architecture
D. K. Arvind, Vinod E. F. Rebello: On the Performance Evaluation of Fully Asynchronous Processor Architectures. 100-104
C.-K. Chen, Mohammed Atiquzzaman: An Improved Model for the Performance Analysis of Multistage Switches. 105-109
Pradeep K. Dubey, Arvind Krishna, Mark S. Squillante: Analytic Performance Modeling for a Spectrum of Multithreaded Processor Architectures. 110-122
Craig Hyatt, Dharma P. Agrawal: Bidirectional versus Unidirectional Networks: Cost/Performance Trade-Offs. 123-133
Session 4A: Queueing Systems 3
Erol Gelenbe: G-Networks and Minimum Cost Functions. 135-141
Zhen Liu: Scheduling of Random Task Graphs on Parallel Processors. 143-147
Guy Pujolle: Product Form in Discrete-Time Queueing Networks: New Issues. 148-153
Session 4B: Distributed Systems 1
Dorina C. Petriu, Songtao Chen: Approximate MVA for Client-Server Systems with Nonpreemptive Priority. 155-162
Alexander Thomasian: Priority Queueing in RAID5 Disk Arrays with an NVS Cache. 168-172
Session 5A: Modeling Techniques
Paulo Fernandes, Brigitte Plateau, William J. Stewart: Numerical Evaluation of Stochastic Automata Networks. 179-183
Richard R. Muntz, John C. S. Lui: An Eclectic Survey of Bounding Methods for Markov Chain Models. 184-188
Young Rhee, Harry G. Perros: Analysis of an Open Tandem Queueing Network with Population Constraint and Constant Service Times. 189-193
Kishor S. Trivedi, Antonio Puliafito, Dimitris Logothetis: From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets. 194-198
Session 5B: Parallel Systems 1
Ishfaq Ahmad, Min-You Wu, Jaehyung Yang, Arif Ghafoor: An Experimental Assessment of Express Parallel Programming Environment. 200-204
Gary J. Nutt, Adam J. Griff, James E. Mankovich, Jeffrey D. McWhirter: Extensible Parallel Program Performance Visualization. 205-211
Muhammad A. Qureshi, William H. Sanders: The Effect of Workload on the Performance and Availability of Voting Algorithms. 217-224
Session 6A: Parallel Systems 2
Evgenia Smirni, C. A. Childers, Emilia Rosti, Lawrence W. Dowdy: Thread Placement on the Intel Paragon: Modeling and Experimentation. 226-231
Mark A. Holliday: A Program Behavior Model and Its Evaluation. 232-236
Paul E. McKenney: Differential Profiling. 237-241
Bin Wu, Andreas Johannes Bogaerts: SCILab - A Simulation Environment for the Scalable Coherent Interface. 242-247
Session 6B: TOOLS: Processor, Network and System Simulation
David R. Barach, Jaspal Kohli, John Slice, Marc Spaulding, Rajeev Bharadhwaj, Don Hudson, Cliff Neighbors, Nirmal R. Saxena, Rolland Crunk: HALSIM - A Very Fast SPARC-V9 Behavioral Model. 249-252
B. Stavrov, J. de Jogh, A. van Lomwel, R. in 't Velt: Bnet: Designing a Connectionless Broadband Data Service in an ATM Network by Simulated Annealing. 253-256
Livio Ricciulli: A Technique for the Distributed Simulation of Parallel Computers. 257-260
Session 7A: Networking 2

Marco Ajmone Marsan, Francis Galliano, Fabio Neri: Quality-of-Service for Video and Data in Very-High-Speed DQDB MANs. 267-274
Peter E. Sholander, Henry L. Owen: Simulation Model for Analysis of Synchronous Digital Hierarchy Network Payload Jitter. 275-279
Saragur M. Srinidhi, William H. Thesling, Vijay K. Konangi: A Heuristic Algorithm for Admission Control in ATM Networks. 280-286
Session 7B: TOOLS: Optimizing Parallel Programs
Ming C. Hao, Alan H. Karp, Abdul Waheed, Mehdi Jazayeri: VIZIR: An Integrated Environment for Distributed Program Visualization. 288-292
Session 8A: Systems Modeling 1
Youcef Atamna, Guy Juanole: Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol. 299-306
Mohamed Bettaz, Mourad Maouche: Modelling of Object Based Systems with Hidden Sorted ECATNets. 307-311
Sidharta Mohanty, Venkatram Krishnaswamy, Philip A. Wilsey: System Modeling, Performance Analysis, and Evolutionary Prototyping with Hardware Description Languages. 312-318
Damià Vidal: Performance Simulation on a Multitarget Radial Remote-Positioning System. 319-323
Session 8B: TOOLS: Petri Nets, Neural Networks and Genetic Algorithms
Nikolay A. Anisimov, Aleksey Kavalenko, Pavel Postupalski: PN3-Editor: Compositional Petri Net Editor for Protocol Specification. 325-328
Peter Wilke, G. Billing, C. Mansfeld, Jörg Nilson: Integration of Genetic Algorithms and Fuzzy Logic into a Neural Network Simulation Environment. 330-333
Session 9A: Distributed Systems 2
Shahram Latifi, Pradip K. Srimani: Wildcard Dimensions in Augmented Star and Bubble-Sort Networks. 335-339
Shikharesh Majumdar, Revathy Ramadoss: Interval-Based Performance Analysis of Computing Systems. 345-351
Julie A. McCann, N. J. Williams, Peter Osmon, David Bolton: Dynamic File Migration to Support Parallel Database Systems. 352-356
Session 9B: Networking 3
Ying H. Cao, Carey L. Williamson: The Loading Region: A Framework for the Performance Evaluation of Admission Control Policies for High Speed Networks. 358-364
Mihai Mateescu, Hendrik Augsten: Discrete Event Simulation Modeling of Concurrent Access in ATM-Based Computer Networks. 365-369
Jeyakesavan Veerasamy, S. Venkatesan, Jay C. Shah: Spare Capacity Assignment in Telecom Networks Using Path Restoration. 370-374
Session 10A: Real Time
Jari Ahola: RECET - A Real-Time Cache Evaluation Tool. 376-381
Zbigniew Huzar, Jan Magott: Real-Time and Performance Evaluation Extensions of Specification Language LOTOS. 382-386
Session 10B: Systems Modeling 2
Abdennour El Rhalibi, F. Prunet, C. Durante: From Modelling Using Function Charts for Control Systems to Analysis Using Petri Nets. 389-393
Reinhard German: Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables. 394-398
Curtis E. Hrischuk, Jerome A. Rolia, C. Murray Woodside: Automatic Generation of a Software Performance Model Using an Object-Oriented Prototype. 399-409
Invited Papers
Gagan L. Choudhury, Ward Whitt: Q2: A New Performance Analysis Tool Exploiting Numerical Transform Inversion. 411-415
Patricia E. Wirth: Teletraffic Challenges in Mobile and Personal Communications. 416-420
Additional Papers
Peter G. Harrison, Edwige Pitel: M/G/1 Queues with Negative Arrivals: An Iteration to Solve a Fredholm Integral Equation of the First Kind. 423-426
Brian G. Marchent: Performance Evaluation of Signalling Procedures for 3rd-Generation Mobile Systems. 427-431
M. J. van der Westhuizen, R. G. Harley, D. C. Levy: SPLAT: A Standard-to-Standard Real-Time Graphical Scheduling and Code Generation Tool. 432-435
Christian Jacob, J. Rehder, J. Siemandel, A. Friedmann: XNeuroGene: A System for Evolving Artificial Neural Networks. 436-439



