The Community for Technology Leaders
Simulation Symposium, Annual (1995)
Santa Barbara, California
Apr. 25, 1995 to Apr. 28, 1995
ISSN: 1080-241X
ISBN: 0-8186-7091-6
TABLE OF CONTENTS

Preface (PDF)

pp. viii
Session 1 Time Warp Simulation: Chair: Giovanni Chiola - University of Genoa, Italy

Estimating rollback overhead for optimism control in Time Warp (Abstract)

A. Ferscha , Inst. fur Angewandte Inf. und Informationssyst., Wien Univ., Austria
J. Luthi , Inst. fur Angewandte Inf. und Informationssyst., Wien Univ., Austria
pp. 2

An implementation of a technique for sharing variables in Time Warp (Abstract)

C. Hirata , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
J. Kramer , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 13

Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator (Abstract)

P.A. Wilsey , Dept. of Electr. & Comput. Eng., Center for Digital Syst. Eng., Cincinnati, OH, USA
R. Rajan , Dept. of Electr. & Comput. Eng., Center for Digital Syst. Eng., Cincinnati, OH, USA
pp. 22
Session 2 Parallel Distributed Simulation I: Chair: Mary Bailey - University of Arizona

DiPaCS: a new concept for parallel circuit simulation (Abstract)

V. Klinger , AB Tech. Inf. 2, Tech. Univ. Hamburg-Harburg, Germany
pp. 32

A comparative study of conservative and optimistic trace-driven simulations (Abstract)

J.-L. Baer , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
Xiaohan Qin , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 42

A hypercube algorithm for GVT computation and its application in optimistic parallel simulation (Abstract)

F. Sarkar , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
S.K. Das , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
pp. 51
Session 3 Simulation of Multi-/Parallel-Processor Architectures I: Chair: Taieb Znati - University of Pittsburgh

Efficient memory simulation in SimICS (Abstract)

B. Werner , Swedish Inst. of Comput. Sci., Kista, Sweden
P. Magnusson , Swedish Inst. of Comput. Sci., Kista, Sweden
pp. 62

A simulator for real-time parallel processing architectures (Abstract)

A. Saha , Dept. of Electr. & Comput. Eng., Mississippi State Univ., MS, USA
pp. 74

PP-MEss-SIM: a simulator for evaluating multicomputer interconnection networks (Abstract)

K.G. Shin , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
J. Dolter , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
Wu-Chang Feng , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
J. Rexford , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 84
Session 4 simulation of Multi-Parallel-Processor Architectures II: Chair: Ross Gagliano - Georgia State University

Experiences in simulating a declarative multiprocessor (Abstract)

G.S.H. Tan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Y.M. Teo , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 95

Fast instruction cache analysis via static cache simulation (Abstract)

F. Mueller , Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA
D.B. Whalley , Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA
pp. 105

Algorithms for categorizing multiprocessor communication under invalidate and update-based coherence protocols (Abstract)

L. Kontothanassis , Dept. of Comput. Sci., Rochester Univ., NY, USA
R. Bianchini , Dept. of Comput. Sci., Rochester Univ., NY, USA
pp. 115
Session 5 simulation of Parallel/Distributed Programs and Systems: Chair: Philip Wilsey - University of Cincinnati

Comparative evaluation of cooperative plan execution strategies in multiagent environments (Abstract)

T.F. Znati , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
S. Lauzac , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 126

Resource optimization and self interest: variations on the game of life (Abstract)

P.A. Mitchem , Dept. of Math. & Comput. Sci., Georgia State Univ., Atlanta, GA, USA
M.R. Lauer , Dept. of Math. & Comput. Sci., Georgia State Univ., Atlanta, GA, USA
R.A. Gagliano , Dept. of Math. & Comput. Sci., Georgia State Univ., Atlanta, GA, USA
pp. 136

Time-stamp generation for optimistic parallel computing (Abstract)

A. Back , Dept. of Comput. Sci., Exeter Univ., UK
S. Turner , Dept. of Comput. Sci., Exeter Univ., UK
pp. 144
Session 6 Parallel and Distributed Simulation II: Chair: Enrique Kortright - Nicholls State University

Hierarchical schedulings of time-next-event heuristic on distributed memory machines (Abstract)

A. Boukerche , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
C. Tropper , Sch. of Comput. Sci., McGill Univ., Montreal, Que., Canada
pp. 155

Quantum modeling of distributed object computing (Abstract)

J.M. Butler , Syst. Design Lab., Raytheon Co., Tewksbury, MA, USA
pp. 175
Session 7 Simulation Environments: Chair: Patrick Homer - University of Arizona

A simulation environment for designing distributed reactive/deliberative time-constrained applications (Abstract)

D. Pinault , Onera-Cert/Deri, Toulouse, France
M. Adelantado , Onera-Cert/Deri, Toulouse, France
F. Boniol , Onera-Cert/Deri, Toulouse, France
pp. 186

Direct database-simulation using PROGREss (Abstract)

R. de Souza , Gintic Inst. of Manuf. Technol., Nanyang Technol. Univ., Singapore
Nai-Choon Ho , Gintic Inst. of Manuf. Technol., Nanyang Technol. Univ., Singapore
Kwang-Hang Koh , Gintic Inst. of Manuf. Technol., Nanyang Technol. Univ., Singapore
pp. 196

Design of an environment for physical phenomena simulation: application to visualization and animation of electrostatic field and potential (Abstract)

A. Blanca-Pancorbo , Fac. of Phys, Univ. of La Habana, Cuba
E. Casado-Revuelta , Fac. of Phys, Univ. of La Habana, Cuba
D. Gonzalez-Caballero , Fac. of Phys, Univ. of La Habana, Cuba
J. Leon-Alvarez , Fac. of Phys, Univ. of La Habana, Cuba
M. Cuevas-Rubino , Fac. of Phys, Univ. of La Habana, Cuba
P. Martinez-Jimenez , Fac. of Phys, Univ. of La Habana, Cuba
pp. 201
Session 8 Network Modeling and Simulation: Chair: Roman Blasko - University of Vienna, Austria

Design, implementation, and applications of a B-ISDN simulation testbed (Abstract)

Zsehong Tsai , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Jin-Fu Chang , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Shi-Chung Chang , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Hsu-Chun Yen , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Jung-Shyr Wu , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 212

A simulation model of adaptive protocols in distributed computing systems with mobile hosts (Abstract)

G.M. Martin , Dept. of Comput. Technol., Monash Univ., Melbourne, Vic., Australia
A. Zaslavsky , Dept. of Comput. Technol., Monash Univ., Melbourne, Vic., Australia
S.J. Lai , Dept. of Comput. Technol., Monash Univ., Melbourne, Vic., Australia
pp. 220

Performance of internal overload controls in large switches (Abstract)

K. Kant , Bellcore, Red Bank, NJ, USA
pp. 228
Session 9 Simulation Tools: Chair: Alois Ferscha - University of Vienna, Austria

TimeNET-Sim-a parallel simulator for stochastic Petri nets (Abstract)

C. Kelling , Inst. fur Tech. Inf., Tech. Univ. Berlin, Germany
pp. 250

Efficient simulation of systems with random uncertainty using interpolation (Abstract)

F.H. Bursal , Dept. of Mech. Eng., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
pp. 259
Session 10 Object-Oriented Simulation: Chair: Eduardo Casado-Revualta - University of La Habana, Cuba

REBUS: an object-oriented simulator for business processes (Abstract)

P. Briccarello , CSELT, Torino, Italy
E. Ronco , CSELT, Torino, Italy
G. Bruno , CSELT, Torino, Italy
pp. 269

Development of an intelligent monitoring and control system for a heterogeneous numerical propulsion system simulation (Abstract)

R.D. Schlichting , Toledo Univ., OH, USA
H. Lewandowski , Toledo Univ., OH, USA
J.A. Reed , Toledo Univ., OH, USA
P.T. Homer , Toledo Univ., OH, USA
A.A. Afjeh , Toledo Univ., OH, USA
pp. 278

An object oriented C++ approach for discrete event simulation of complex and large systems of many moving objects (Abstract)

M. Marin , Dept. de Computacion, Univ. de Magallanes, Punta Arenas, Chile
P. Cordero , Dept. de Computacion, Univ. de Magallanes, Punta Arenas, Chile
pp. 288
Session 11 Logic and VLSI Circuit Simulators: Chair: Patrick Dowd - State University of New York at Buffalo

Special purpose array processor for digital logic simulation (Abstract)

Youngmin Hur , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
S.A. Szygenda , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 297

Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition (Abstract)

G. Jennings , Div. of Comput. Eng., Lulea Univ. of Technol., Sweden
pp. 303

Hazard analysis of structured sequential systems (Abstract)

J.-C. Geffroy , Complexe Sci. de Rangueil, INSA/DGE LESIA, Toulouse, France
C. Rominger , Complexe Sci. de Rangueil, INSA/DGE LESIA, Toulouse, France
pp. 311
Session 12. Simulation for Performance Evaluation: Chair: Krishna Kant - Bellcore

Simulation analysis of early commit concurrency control protocols (Abstract)

P.J. Fortier , Dept. of Electr. & Comput. Eng., Massachusetts Univ., Dartmouth, MA, USA
J.C. Sieg, Jr. , Dept. of Electr. & Comput. Eng., Massachusetts Univ., Dartmouth, MA, USA
pp. 322

A performance comparison of adaptive and static load balancing in heterogeneous distributed systems (Abstract)

H. Kameda , Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
K. Hakozaki , Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
Yongbing Zhang , Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
K. Shimizu , Graduate Sch. of Inf. Syst., Univ. of Electro-Commun., Tokyo, Japan
pp. 332

Simulation based performance prediction by PEPSY (Abstract)

R. Blasko , Dept. of Software Technol. & Parallel Syst., Wien Univ., Austria
pp. 341

Author Index (PDF)

pp. 351
95 ms
(Ver 3.3 (11022016))