The Community for Technology Leaders
Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (1994)
Durham, NC, USA
Jan. 31, 1994 to Feb. 2, 1994
ISBN: 0-8186-5292-6
TABLE OF CONTENTS

Animated simulations of media access protocols in local area networks (PDF)

T. Uhl , Inst. for Telecommun., Flensburg, Germany
pp. 367-370

Hierarchical Architecture Design and Simulation Environment (PDF)

F.W. Howell , Dept. of Comput. Sci., Edinburgh Univ., UK
R. Williams , Dept. of Comput. Sci., Edinburgh Univ., UK
R.N. Ibbett , Dept. of Comput. Sci., Edinburgh Univ., UK
pp. 363-366

Stochastic bounds on execution times of parallel computations (PDF)

F. Lo Presti , Dipartimento Ingegneria Elettronica, Rome Univ., Italy
M. Colajanni , Dipartimento Ingegneria Elettronica, Rome Univ., Italy
S. Tucci , Dipartimento Ingegneria Elettronica, Rome Univ., Italy
pp. 421-422

IDtrace/spl minus/a tracing tool for i486 simulation (PDF)

J. Pierce , Michigan Univ., MI, USA
T. Mudge , Michigan Univ., MI, USA
pp. 419-420

A methodology for generation and collection of multiprocessor traces (PDF)

P.J. Bond , Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
B.C. Kim , Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
C.A. Lee , Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
D.E. Schimmel , Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 417-418

A maximum entropy analysis of the single server queue (PDF)

D. Frosch-Wilke , Dept. of Comput. Sci., Trier Univ., Germany
K. Natarajan , Dept. of Comput. Sci., Trier Univ., Germany
pp. 415-416

Discrete time open queueing networks with feedback, bulk arrivals and services (PDF)

C. Vu Duy , Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
pp. 413-414

Visual feedback for validation of informal specifications (PDF)

A. Thakar , Intel Corp., Chandler, AZ, USA
pp. 411-412

Coreference detection in automatic analysis of specifications (PDF)

S. Shankaranarayanan , Dept. of Electr. Eng., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
W. Cyre , Dept. of Electr. Eng., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
pp. 409-410

Visualization of network performance using the AVS visualization system (PDF)

R.O. Cleaver , Dept. of Comput. Sci., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
S.F. Midkiff , Dept. of Comput. Sci., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
pp. 407-408

Detecting latent sector faults in modern SCSI disks (PDF)

H.H. Kari , Dept. of Comput. Sci., Helsinki Univ. of Technol., Espoo, Finland
H. Saikkonen , Dept. of Comput. Sci., Helsinki Univ. of Technol., Espoo, Finland
pp. 403-404

Colored Petri net methods for performance analysis of scalable high-speed interconnects (PDF)

L. Cherkasova , Hewlett-Packard Co., Palo Alto, CA, USA
A. Davis , Hewlett-Packard Co., Palo Alto, CA, USA
V. Kotov , Hewlett-Packard Co., Palo Alto, CA, USA
pp. 401-402

A programmable simulator for analyzing the block data flow architecture (PDF)

S. Alexandre , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
W. Alexander , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
D.S. Reeves , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
pp. 399-400

Experiment and performance evaluation of a distributed collaboration system (PDF)

Li-Tao Shen , US Appl. Res. Lab., Bull HN Inf. Systems Inc., Billerica, MA, USA
G. Memmi , US Appl. Res. Lab., Bull HN Inf. Systems Inc., Billerica, MA, USA
P. Petit , US Appl. Res. Lab., Bull HN Inf. Systems Inc., Billerica, MA, USA
P. Denimal , US Appl. Res. Lab., Bull HN Inf. Systems Inc., Billerica, MA, USA
pp. 393-394

On-the-fly visualization and debugging of parallel programs (PDF)

M.C. Hao , Hewlett-Packard Res. Labs., Palo Alto, CA, USA
A.H. Karp , Hewlett-Packard Res. Labs., Palo Alto, CA, USA
M. Mackey , Hewlett-Packard Res. Labs., Palo Alto, CA, USA
V. Singh , Hewlett-Packard Res. Labs., Palo Alto, CA, USA
J. Chien , Hewlett-Packard Res. Labs., Palo Alto, CA, USA
pp. 386-391

An interactive tool for design, simulation, verification, and synthesis of protocols (PDF)

D.Y. Chao , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
D.T. Wang , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 381-385

A toolkit for advanced performance analysis (PDF)

A. Waheed , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
B. Kronmuller , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
R. Sinha , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
D.T. Rover , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
pp. 376-380

BONeS DESIGNER: a graphical environment for discrete-event modeling and simulation (PDF)

S.J. Schaffer , Comdisco Syst. Inc., Lawrence, KS, USA
W.W. LaRue , Comdisco Syst. Inc., Lawrence, KS, USA
pp. 371-374

The 3d7-Simulation Environment: a tool for autonomous mobile robot development (PDF)

R. Trieb , Dept. of Comput. Sci., Kaiserslautern Univ., Germany
E. Von Puttkamer , Dept. of Comput. Sci., Kaiserslautern Univ., Germany
pp. 358-361

MCEMS Toolbox/spl minus/a hardware-in-the-loop simulation environment for mechatronic systems (PDF)

H.-J. Herpel , Darmstadt Univ. of Technol., Germany
M. Held , Darmstadt Univ. of Technol., Germany
M. Glesner , Darmstadt Univ. of Technol., Germany
pp. 356-357

From simulation to virtual reality a robotic application (PDF)

M. Gerke , Chair of Process Control, Fern Universitat, Hagen, Germany
R. Dicken , Chair of Process Control, Fern Universitat, Hagen, Germany
H. Hoyer , Chair of Process Control, Fern Universitat, Hagen, Germany
pp. 351-355

Simulation of marked graphs on SIMD architectures using efficient memory management (PDF)

H. Sellami , Georgia Inst. of Technol., Atlanta, GA, USA
J.D. Allen , Georgia Inst. of Technol., Atlanta, GA, USA
D.E. Schimmel , Georgia Inst. of Technol., Atlanta, GA, USA
S. Yalamanchili , Georgia Inst. of Technol., Atlanta, GA, USA
pp. 343-348

Methodology for LAN modeling and analysis using Petri nets based models (PDF)

N. Berge , Les Renardieres, Moret sur Loing, France
M. Samaan , Les Renardieres, Moret sur Loing, France
pp. 335-342

A comparison of different wormhole routing schemes (PDF)

Yen-Wen Lu , Dept. of Electr. Eng., Stanford Univ., CA, USA
K. Bagchi , Dept. of Electr. Eng., Stanford Univ., CA, USA
J.B. Burr , Dept. of Electr. Eng., Stanford Univ., CA, USA
A.M. Peterson , Dept. of Electr. Eng., Stanford Univ., CA, USA
pp. 323-328

Modeling to obtain the effective bandwidth of a traffic source in an ATM network (PDF)

G. Kesidis , Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada
pp. 318-322

Near-critical path analysis of program activity graphs (PDF)

C. Alexander , NSF Eng. Res. Center for Comput. Field Simulation, Mississippi State Univ., MS, USA
D. Reese , NSF Eng. Res. Center for Comput. Field Simulation, Mississippi State Univ., MS, USA
J. Harden , NSF Eng. Res. Center for Comput. Field Simulation, Mississippi State Univ., MS, USA
pp. 308-317

Performance comparison between TCP slow-start and a new adaptive rate-based congestion avoidance scheme (PDF)

Lap Huynh , IBM Networking Systems, Research Triangle Park, NC, USA
Rong-Feng Chang , IBM Networking Systems, Research Triangle Park, NC, USA
pp. 300-307

Integrating performance analysis in the context of LOTOS-based design (PDF)

M. Ajmone Marsan , Dipartmento di Elettronica, Torino, Italy
A. Bianco , Dipartmento di Elettronica, Torino, Italy
pp. 292-298

Efficient technique for performance analysis of locking protocols (PDF)

S.L. Hung , City Polytech. of Hong Kong, Kowloon, Hong Kong
K.W. Lam , City Polytech. of Hong Kong, Kowloon, Hong Kong
K.Y. Lam , City Polytech. of Hong Kong, Kowloon, Hong Kong
pp. 276-283

Modeling and evaluating the DQDB protocol with stochastic timed Petri nets (PDF)

R.L.R. Carmo , Lab. d'Autom. et d'Anal. de Syst., CNRS, Toulouse, France
G. Juanole , Lab. d'Autom. et d'Anal. de Syst., CNRS, Toulouse, France
pp. 269-275

An analytical model for the binary feedback scheme (PDF)

Wei Liu , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
B. Stephens , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
pp. 263-267

On solving stochastic coupling matrices arising in iterative aggregation/disaggregation methods (PDF)

W.J. Stewart , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 255-262

Adaptive bidding load balancing algorithms in heterogeneous distributed systems (PDF)

Y. Zhang , Dept. of Comput. Sci., Univ. of Electro-Commun., Tokyo, Japan
pp. 250-254

Dynamic load balancing in distributed systems (PDF)

E. Gelenbe , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
pp. 245-249

Genetic algorithm and neural network approaches to local access network design (PDF)

T. Routen , Dept. of Comput. Sci., De Montfort, Leicester, UK
pp. 239-243

The knitting technique and its application to communication protocol synthesis (PDF)

D.Y. Chao , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
D.T. Wang , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 234-238

Synchronous digital hierarchy network modeling (PDF)

H.L. Owen , Sch. of Electr. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 229-233

Object-oriented modeling, simulation and implementation of a network management system (PDF)

M. Beckers , Res. Centre, Alcatel Bell Telephone, Antwerp, Belgium
J. Peeters , Res. Centre, Alcatel Bell Telephone, Antwerp, Belgium
F. Verboven , Res. Centre, Alcatel Bell Telephone, Antwerp, Belgium
pp. 222-228

A performance study of the RPE mechanism for PDES (PDF)

J.E. Butler , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
V.E. Wallentine , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 214-220

Analysis of memory and time savings using EC/DSIM (PDF)

G. Hermannsson , Dept. of Comput. Sci., State Univ. of New York, Stony Brook, NY, USA
pp. 208-213

MINT: a front end for efficient simulation of shared-memory multiprocessors (PDF)

J.E. Veenstra , Dept. of Comput. Sci., Rochester Univ., NY, USA
pp. 201-207

A flexible graphical user interface for performance modeling (PDF)

Y.-B. Lin , Bellcore, Morristown, NJ, USA
D. Daly , Bellcore, Morristown, NJ, USA
pp. 193-199

Automated modeling of message-passing programs (PDF)

P. Mehra , Recom Technol., NASA Ames Res. Center, Moffett Field, CA, USA
pp. 187-192

Scalability analysis tools for SPMD message-passing parallel programs (PDF)

S.R. Sarukkai , Recom Technol., NASA Ames Res. Center, Moffett Field, CA, USA
pp. 180-186

VHDL modeling for the performance evaluation of multicomputer networks (PDF)

J.T. McHenry , Bradley Dept. of Electr. Eng., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
S.F. Midkiff , Bradley Dept. of Electr. Eng., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
pp. 174-178

Performance of multiple-bus multiprocessor under non-uniform memory reference (PDF)

M.A. Sayeed , Dept. of Electr. Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
pp. 169-173

ES: a tool for predicting the performance of parallel systems (PDF)

J.B. Sinclair , Dept. of Electr. & Comput. Eng., Rice Univ., Houston, TX, USA
pp. 164-168

XMGM: performance modeling using matrix geometric techniques (PDF)

B.R. Haverkort , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
A.P.A. Van Moorsel , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
D.-J. Speelman , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 152-157

Simulation of temporal behaviour based on a synchronous language (PDF)

C. Andre , Lab. Inf., Signaux, Systemes, Univ. de Nice-Sophia Antipolis, Nice, France
M.A. Peraldi , Lab. Inf., Signaux, Systemes, Univ. de Nice-Sophia Antipolis, Nice, France
pp. 147-151

FAST: a functional algorithm simulation testbed (PDF)

M.D. Dikaiakos , Dept. of Comput. Sci., Princeton Univ., NJ, USA
A. Rogers , Dept. of Comput. Sci., Princeton Univ., NJ, USA
K. Steiglitz , Dept. of Comput. Sci., Princeton Univ., NJ, USA
pp. 142-146

A matrix approach to performance data modeling, analysis and visualization (PDF)

A. Waheed , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
B. Kronmuller , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
D.T. Rover , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
pp. 137-141

Complete exchange on a wormhole routed mesh (PDF)

R. Thakur , Northeast Parallel Architectures Center, Syracuse Univ., NY, USA
A. Choudhary , Northeast Parallel Architectures Center, Syracuse Univ., NY, USA
G. Fox , Northeast Parallel Architectures Center, Syracuse Univ., NY, USA
pp. 131-135

Conflict analysis of multistage interconnection networks (PDF)

Y.R. Potlapalli , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
D.P. Agrawal , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
pp. 126-130

Modeling adaptive routing in k-ary n-cube networks (PDF)

W.A. Najjar , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
A. Lagman , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
S. Sur , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
P.K. Srimani , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
pp. 120-125

The feasibility of using compression to increase memory system performance (PDF)

J. Wang , Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
R.W. Quong , Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
pp. 107-113

A case study of scientific application I/O behavior (PDF)

B.K. Pasquale , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
G.C. Polyzos , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 101-106

Analytic performance estimation of client-server systems with multi-threaded clients (PDF)

D.C. Petriu , Carleton Univ., Ottawa, Ont., Canada
S. Majumdar , Carleton Univ., Ottawa, Ont., Canada
J. Lin , Carleton Univ., Ottawa, Ont., Canada
C. Hrischuk , Carleton Univ., Ottawa, Ont., Canada
pp. 96-100

On the interaction between gateway scheduling and routing (PDF)

I. Matta , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
A.U. Shankar , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 84-88

A performance study of photonic local area network topologies (PDF)

K.M. Sivalingam , Dept. of Electr. & Comput. Eng., State Univ. of New York, Buffalo, NY, USA
pp. 79-83

An analysis of space priority queueing in ATM switches (PDF)

K.L. Reid , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
pp. 74-78

Analytic models and characteristics of video traffic in high speed networks (PDF)

A.W. Bragg , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
W. Chou , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
pp. 68-73

Modeling power management for hard disks (PDF)

P.M. Greenawalt , Distributed Comput. Res. Lab., Notre Dame Univ., IN, USA
pp. 62-66

Evaluation of write-back caches for multiple block-sizes (PDF)

Y. Wu , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
pp. 57-61

On predictability of caches for real-time applications (PDF)

J.-C. Liu , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 52-56

Trace-driven simulation of data alignment and other factors affecting update and invalidate based coherent memory (PDF)

E.P. Markatos , Inst. of Comput. Sci., FORTH, Crete, Greece
C.E. Chronaki , Inst. of Comput. Sci., FORTH, Crete, Greece
pp. 44-51

Modeling, performance evaluation, and ordinal optimization of integrated voice/data networks (PDF)

J.E. Wieselthier , Inf. Technol. Div., Naval Res. Lab., Washington, DC, USA
C.M. Barnhart , Inf. Technol. Div., Naval Res. Lab., Washington, DC, USA
pp. 37-41

Parallel simulation of Markovian queueing networks (PDF)

P. Heidelberger , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 35-36

G-Networks with multiple class negative and positive customers (PDF)

J.M. Fourneau , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
pp. 30-34

Evaluating memory system performance of a large scale NUMA multiprocessor (PDF)

K. Harzallah , Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
K.C. Sevcik , Comput. Syst. Res. Inst., Toronto Univ., Ont., Canada
pp. 18-29

Time constrained message transmission in a LAN environment (PDF)

S.K. Tripathi , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 12-17

Markov reward approach to performability and reliability analysis (PDF)

K.S. Trivedi , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
pp. 7-11

Distributed simulation of large-scale PCS networks (PDF)

C.D. Carothers , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
R.M. Fujimoto , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 2-6
109 ms
(Ver 3.3 (11022016))