The Community for Technology Leaders
Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences (1996)
Wailea, HI, USA
Jan. 3, 1996 to Jan. 6, 1996
ISBN: 0-8186-7324-9
TABLE OF CONTENTS

Causal message delivery in the Grasshopper operating system (PDF)

R. di Bona , Dept. of Comput. Sci., Sydney Univ., NSW, Australia
J. Rosenberg , Dept. of Comput. Sci., Sydney Univ., NSW, Australia
pp. 3-11

Distributed persistent object system with uniform representation of pointers and its garbage collection (PDF)

K. Yamamoto , Dept. of Inf. Sci., Tokyo Univ., Japan
S. Inohara , Dept. of Inf. Sci., Tokyo Univ., Japan
H. Miyazawa , Dept. of Inf. Sci., Tokyo Univ., Japan
I. Uehara , Dept. of Inf. Sci., Tokyo Univ., Japan
M. Hara , Dept. of Inf. Sci., Tokyo Univ., Japan
T. Masuda , Dept. of Inf. Sci., Tokyo Univ., Japan
pp. 12-21

A stable distributed tuple space (PDF)

S.R. Cannon , Utah State Univ., Logan, UT, USA
D.A. Brinkerhof , Utah State Univ., Logan, UT, USA
pp. 22-30

Supporting method migration in a distributed object database system: a performance study (PDF)

S. Goel , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
B. Bhargava , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 31-40

Cooperative transactions: a data-driven approach (PDF)

M. Sampaio , Lab. de Systemes Inf., Montpellier, France
S. Turc , Lab. de Systemes Inf., Montpellier, France
pp. 41-50

Fibre channel fabrics: evaluation and design (PDF)

L. Cherkasova , Hewlett-Packard Labs., Palo Alto, CA, USA
V. Kotov , Hewlett-Packard Labs., Palo Alto, CA, USA
T. Rokicki , Hewlett-Packard Labs., Palo Alto, CA, USA
pp. 53-62

The two-processor reliability of hierarchical large-scale ring-based networks (PDF)

M. Al-Rousan , Brigham Young Univ., Provo, UT, USA
L. Bearnson , Brigham Young Univ., Provo, UT, USA
J. Archibald , Brigham Young Univ., Provo, UT, USA
pp. 63-71

A performance model of space-division ATM switches with input and output queueing (PDF)

Guogen Zhang , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
pp. 72-79

Implementing and testing ATM in a production LAN (PDF)

J. Naegle , Sandia Nat. Labs., Albuquerque, NM, USA
L. Tolendino , Sandia Nat. Labs., Albuquerque, NM, USA
J. Zepper , Sandia Nat. Labs., Albuquerque, NM, USA
pp. 80-89

Data prefetching for distributed shared memory systems (PDF)

A.I.-C. Lai , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Chin-Laung Lei , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 102-110

Improving software MP efficiency for shared memory systems (PDF)

B. Sinharoy , Syst. Technol. & Arch., IBM Corp., Poughkeepsie, NY, USA
pp. 111-120

Friendly and efficient message handling (PDF)

R.A.F. Bhoedjang , Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands
K.G. Langendoen , Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands
pp. 121-130

Experiences made with the design and development of a message-passing kernel for a dual-processor-node parallel computer (PDF)

T. Garnatz , RWCP Massively Parallel Systems, GMD Lab., Berlin, Germany
U. Haack , RWCP Massively Parallel Systems, GMD Lab., Berlin, Germany
M. Sander , RWCP Massively Parallel Systems, GMD Lab., Berlin, Germany
pp. 131-140

Using shared memory for read-mostly RPC services (PDF)

R.W. Schmidt , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
H.M. Levy , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 141-149

The effect of client caching on file server workloads (PDF)

K.W. Froese , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
R.B. Bunt , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
pp. 150-159

Concurrency: a case study in remote tasking and distributed IPC (PDF)

D.S. Milojicic , OSF Res. Inst., Cambridge, MA, USA
A. Langerman , OSF Res. Inst., Cambridge, MA, USA
D.L. Black , OSF Res. Inst., Cambridge, MA, USA
S.J. Sears , OSF Res. Inst., Cambridge, MA, USA
M. Dominijanni , OSF Res. Inst., Cambridge, MA, USA
R.W. Dean , OSF Res. Inst., Cambridge, MA, USA
pp. 160-169

State management in a distributed UNIX system (PDF)

P.J. Roy , OSF Res. Inst., Cambridge, MA, USA
D.B. Noveck , OSF Res. Inst., Cambridge, MA, USA
W.J. Bryant , OSF Res. Inst., Cambridge, MA, USA
pp. 170-179

Improving software pipelining with unroll-and-jam (PDF)

S. Carr , Dept. of Comput. Sci., Michigan Technol. Univ., Houghton, MI, USA
Chen Ding , Dept. of Comput. Sci., Michigan Technol. Univ., Houghton, MI, USA
P. Sweany , Dept. of Comput. Sci., Michigan Technol. Univ., Houghton, MI, USA
pp. 183-192

The Janus Test: a hierarchical algorithm for computing direction and distance vectors (PDF)

J.-C. Sogno , Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France
pp. 203-212

An efficient algorithm for the creation of single assignment forms (PDF)

P.P. Pineo , Dept. of Math. & Comput. Sci., Pennsylvania Univ., Edinboro, PA, USA
pp. 213-222

Practical loop generation (PDF)

Z.S. Chamski , Centre for Novel Computing, Manchester Univ., UK
M.F.P. O'Boyle , Centre for Novel Computing, Manchester Univ., UK
pp. 223-232

Run-time parallelization for loops (PDF)

Shih-Hung Kao , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Chao-Tung Yang , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Shian-Shyong Tseng , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 233-242

Application of an object-oriented parallel run-time system to a Grand Challenge 3D multi-grid code (PDF)

C. Baillie , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
D. Grunwald , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
S. Vajracharya , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 251-260

Prefetching strategies for partitioned shared objects (PDF)

S. Ben Hassen , Dept. of Comput. Sci., Vrije Univ., Amsterdam, Netherlands
pp. 261-270

Gamma programming paradigm and heterogeneous computing (PDF)

V.K. Murthy , Sch. of Comput. & Math., Deakin Univ., Geelong, Vic., Australia
pp. 273-281

HOMAGE: a heterogeneous object-based environment to develop multi-agent systems (PDF)

A. Poggi , Dipartimento di Ingegneria dell'Inf., Parma Univ., Italy
pp. 282-289

The PVM 3.4 tracing facility and XPVM 1.1 (PDF)

J.A. Kohl , Div. of Comput. Sci. & Math., Oak Ridge Nat. Lab., TN, USA
G.A. Geist , Div. of Comput. Sci. & Math., Oak Ridge Nat. Lab., TN, USA
pp. 290-299

A visual performance debugging system for parallel programs (PDF)

N. Osawa , Grad. Sch. of Inf. Syst., Univ. of Electro-Commun., Chofu, Japan
K. Hisano , Grad. Sch. of Inf. Syst., Univ. of Electro-Commun., Chofu, Japan
T. Yuba , Grad. Sch. of Inf. Syst., Univ. of Electro-Commun., Chofu, Japan
pp. 300-309

Monitoring data-structure evolution in distributed message-passing programs (PDF)

S.R. Sarukkai , NASA Ames Res. Center, Moffett Field, CA, USA
pp. 310-319

Applying distributed simulation to a communication protocol development environment (PDF)

W.J. Chun , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
L.E. Moser , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
P.M. Melliar-Smith , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
D.A. Agarwal , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
pp. 320-329

Power minimization in heterogeneous processing (PDF)

C.H. Gebotys , Dept. of Electr. & Comput. Eng., Waterloo Univ., Ont., Canada
pp. 330-337

A dynamic load balancing algorithm for a heterogeneous computing environment (PDF)

P. Maheshwari , Sch. of Comput. & Inf. Technol., Griffith Univ., Brisbane, Qld., Australia
pp. 338-346

DEVS-C++: a high performance modelling and simulation environment (PDF)

B.P. Zeigler , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
Yoonkeun Moon , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
Doohwan Kim , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
Jeong Geun Kim , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 350-359

Where object-oriented technology meets parallel simulation (PDF)

P. Konas , Silicon Graphics Comput. Syst., Mountain View, CA, USA
pp. 360-363

Optimistic fossil collection for time warp simulation (PDF)

C.H. Young , Dept. of Electr. & Comput. Eng., Comput. Archit. Design Lab., Cincinnati, OH, USA
P.A. Wilsey , Dept. of Electr. & Comput. Eng., Comput. Archit. Design Lab., Cincinnati, OH, USA
pp. 364-372

An incremental benchmark suite for performance tuning of parallel discrete event simulation (PDF)

R. Ronngren , Dept. of Teleinformatics, R. Inst. of Technol., Stockholm, Sweden
L. Barriga , Dept. of Teleinformatics, R. Inst. of Technol., Stockholm, Sweden
R. Ayani , Dept. of Teleinformatics, R. Inst. of Technol., Stockholm, Sweden
pp. 373-382

WARPED: a time warp simulation kernel for analysis and application development (PDF)

D.E. Martin , Dept. of ECECS, Cincinnati, OH, USA
T.J. McBrayer , Dept. of ECECS, Cincinnati, OH, USA
P.A. Wilsey , Dept. of ECECS, Cincinnati, OH, USA
pp. 383-386

Performance analysis of mapping strategies for parallel simulation (PDF)

Yong Meng Teo , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
Seng Chuan Tay , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 387-396

Evaluation of parallel logic simulation using DVSIM (PDF)

G. Meister , Dept. of Comput. Sci., Darmstadt Tech. Univ., Germany
pp. 397-406

Advanced distributed simulation through the Aggregate Level Simulation Protocol (PDF)

R.M. Weatherly , Mitre Corp., McLean, VA, USA
A.L. Wilson , Mitre Corp., McLean, VA, USA
B.S. Canova , Mitre Corp., McLean, VA, USA
E.H. Page , Mitre Corp., McLean, VA, USA
A.A. Zabek , Mitre Corp., McLean, VA, USA
pp. 407-415

Real-time speed of a conservative parallel simulation (PDF)

N. Kalantery , Centre for Parallel Comput., Univ. of Westminster, London, UK
pp. 416-423

Towards a thread-based parallel direct execution simulator (PDF)

P. Dickens , Inst. for Comput. Applications in Sci. & Eng., NASA Langley Res. Center, Hampton, VA, USA
M. Haines , Inst. for Comput. Applications in Sci. & Eng., NASA Langley Res. Center, Hampton, VA, USA
P. Mehrotra , Inst. for Comput. Applications in Sci. & Eng., NASA Langley Res. Center, Hampton, VA, USA
pp. 424-432

Some algebraic considerations for efficient computations in timed Petri nets (PDF)

B. Gaujal , Inst. Nat. de Recherche en Inf. et Autom., Sophia-Antipolis, France
pp. 433-441

Parallel transient analysis for circuit simulation (PDF)

U. Wever , Corp. Res. & Dev., Siemens AG, Munich, Germany
Q. Zheng , Corp. Res. & Dev., Siemens AG, Munich, Germany
pp. 442-447

Jitter control in time-triggered systems (PDF)

Kwei-Jay Lin , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
A. Herkert , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 451-459

Competitive on-line scheduling of imprecise computations (PDF)

S.K. Baruah , New Jersey Inst. of Technol., Newark, NJ, USA
pp. 460-468

Dynamic scheduling of real-time aperiodic tasks on multiprocessor architectures (PDF)

B. Hamidzadeh , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
Y. Atif , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
pp. 469-478

A performance analyzer for a parallel real-time functional language (PDF)

O. Hansen , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
P. Fritzson , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
pp. 479-488

Debugging and dynamic modification of embedded systems (PDF)

P. Burgess , Dept. of Comput. Sci., Massey Univ., Palmerston North, New Zealand
pp. 489-498

Design of a real-time co-operating system for multiprocessor workstations (PDF)

G. Krikor , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
M.T. Raza , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
D.B. Stewart , Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
pp. 499-507

Integrating behavioural and performance analysis with topology information (PDF)

C. Priami , Dipartimento di Inf., Pisa Univ., Italy
pp. 508-516

A branching time semantics for the Ada rendezvous mechanism (PDF)

B. Belkhouche , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
pp. 517-524

Compiler techniques for determining data distribution and generating communication sets on distributed-memory machines (PDF)

PeiZong Lee , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
Wen-Yao Chen , Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
pp. 537-546

A multiphase partitioner and scheduler for distributed memory systems (PDF)

S. Pande , School of Electr. Eng. & Comput. Sci., Ohio Univ., Athens, OH, USA
T. Bali , School of Electr. Eng. & Comput. Sci., Ohio Univ., Athens, OH, USA
pp. 547-556

ADDT: automatic data distribution tool for porting programs to PVM (PDF)

H. Sivaraman , School of Electr. Eng. & Comput. Sci., Washington State Univ., Pullman, WA, USA
C.S. Raghavendra , School of Electr. Eng. & Comput. Sci., Washington State Univ., Pullman, WA, USA
pp. 557-564

Enhancing data locality by using terminal propagation (PDF)

B. Hendrickson , Sandia Nat. Labs., Albuquerque, NM, USA
R. Leland , Sandia Nat. Labs., Albuquerque, NM, USA
pp. 565-574

Partitioning and dynamic load balancing of adaptive hybrid grids for large-scale turbulent flow simulations (PDF)

T. Minyard , Dept. of Aerosp. Eng. & Eng. Mech., Texas Univ., Austin, TX, USA
Y. Kallinderis , Dept. of Aerosp. Eng. & Eng. Mech., Texas Univ., Austin, TX, USA
K. Schulz , Dept. of Aerosp. Eng. & Eng. Mech., Texas Univ., Austin, TX, USA
pp. 575-584

Balancing load versus decreasing communication: exploring the tradeoffs (PDF)

V.E. Taylor , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
B.K. Holmer , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
E.J. Schwabe , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
M.R. Hribar , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 585-593

A parallel implementation of MRSB (PDF)

S.T. Barnard , Cray Res. Inc., Sunnyvale, CA, USA
pp. 594-603

On partitioning dynamic adaptive grid hierarchies (PDF)

M. Parashar , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
J.C. Browne , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 604-613

"No-Compile-Time Knowledge" distribution of finite element computations on multiprocessors (PDF)

J. Erhel , Campus de Beaulieu, INRIA, Rennes, France
M. Hahad , Campus de Beaulieu, INRIA, Rennes, France
T. Priol , Campus de Beaulieu, INRIA, Rennes, France
pp. 614-615

Class partitions-a new approach to sequential object oriented programs (PDF)

R.R. Raje , Indiana Univ.-Purdue Univ., Indianapolis, IN, USA
pp. 616-625

A new model for dynamic processor allocation in multicomputer systems (PDF)

Huey-Ling Chen , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Chung-Ta King , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 626-635

Distributing AND-work and OR-work in parallel logic programming systems (PDF)

I.D.C. Dutra , COPPE/Sistemas, Federal Univ. of Rio de Janeiro, Brazil
pp. 646-655

Synchronous distribution of SIGNAL programs (PDF)

P. Aubry , Campus de Beaulieu, INRIA, Rennes, France
P. Le Guernic , Campus de Beaulieu, INRIA, Rennes, France
S. Machard , Campus de Beaulieu, INRIA, Rennes, France
pp. 656-665

The impact of message scheduling on a packet switching interconnect fabric (PDF)

L. Cherkasova , Hewlett-Packard Co., Palo Alto, CA, USA
V. Kotov , Hewlett-Packard Co., Palo Alto, CA, USA
T. Rokicki , Hewlett-Packard Co., Palo Alto, CA, USA
pp. 668-669

Software process improvement at AlliedSignal Aerospace (PDF)

C.D. Buchman , Center for Process Improvement, AlliedSignal Inc., Teterboro, NJ, USA
pp. 673-680

Continuous process improvement-why wait till Level 5? (PDF)

G. Seshagiri , Adv. Inf. Services Inc., Peoria, IL, USA
pp. 681-692

Software process improvement via ISO 9000? Results of two surveys among European software houses (PDF)

D. Stelzer , Business Comput., Koln Univ., Germany
W. Mellis , Business Comput., Koln Univ., Germany
G. Herzwurm , Business Comput., Koln Univ., Germany
pp. 703-712

Initial effects of software process improvement on an experienced software development team (PDF)

E.G. McGuire , Dept. of Comput. Sci. & Inf. Syst., American Univ., Washington, DC, USA
pp. 713-721

A design-based model for the reduction of software cycle time (PDF)

K.W. Collier , Comput. Sci. & Eng., Northern Arizona Univ., Flagstaff, AZ, USA
pp. 731-740

A formal framework for specifying design methods (PDF)

M. d'Inverno , School of Comput. Sci., Univ. of Westminster, London, UK
G.R.R. Justo , School of Comput. Sci., Univ. of Westminster, London, UK
P. Howells , School of Comput. Sci., Univ. of Westminster, London, UK
pp. 741-750

Author index (PDF)

pp. 769
93 ms
(Ver 3.3 (11022016))