The Community for Technology Leaders
1993 The Twenty-sixth Hawaii International Conference on System Sciences (1993)
Wailea, HI, USA
Jan. 8, 1993 to Jan. 8, 1993
ISBN: 0-8186-3230-5
TABLE OF CONTENTS

Ray tracing and binary tree computations using PVM (PDF)

N. Chandrasekharan , Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA
V. Goel , Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA
pp. 104-105

Xab: a tool for monitoring PVM programs (PDF)

A.L. Beguelin , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 102-103

ActorSpaces: a model for scalable heterogeneous computing (PDF)

G. Agha , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
C.J. Callsen , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 100-101

Process migration in virtual memory multicomputer systems (PDF)

M. Malkawi , Dept. of Electr. Eng., Jordan Univ. of Sci. & Technol., Irbid, Jordan
M. Abaza , Dept. of Electr. Eng., Jordan Univ. of Sci. & Technol., Irbid, Jordan
pp. 90-98

Resource-driven resource location (PDF)

C.E. Wills , Dept. of Comput. Sci., Worcester Polytech Inst., MA, USA
S. Suresh , Dept. of Comput. Sci., Worcester Polytech Inst., MA, USA
pp. 80-89

A distributed object oriented language and operating system (PDF)

R. Trehan , Toshiba Corp., Kanagawa, Japan
K. Maeda , Toshiba Corp., Kanagawa, Japan
pp. 70-79

Object-orientation in a family of parallel operating systems (PDF)

W. Schroder-Preikschat , German Nat. Res. Center for Comput. Sci., Tech. Univ. of Berlin, Germany
pp. 60-69

Object-oriented transactions in Choices (PDF)

L. Xiao , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
R.H. Campbell , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 50-59

Comparisons of Mach distributed performance using the WPI Benchmark Suite (PDF)

R.E. Kinicki , Dept. of Comput. Sci., Worcester Polytech. Inst., MA, USA
D. Finkel , Dept. of Comput. Sci., Worcester Polytech. Inst., MA, USA
pp. 40-49

Fortran 90D intrinsic functions on distributed memory machines: implementation and scalability (PDF)

I. Ahmad , Northeast Parallel Archit. Center, Syracuse Univ., NY, USA
R. Bordawekar , Northeast Parallel Archit. Center, Syracuse Univ., NY, USA
Z. Bozkus , Northeast Parallel Archit. Center, Syracuse Univ., NY, USA
A. Choudhary , Northeast Parallel Archit. Center, Syracuse Univ., NY, USA
G. Fox , Northeast Parallel Archit. Center, Syracuse Univ., NY, USA
K. Parasuram , Northeast Parallel Archit. Center, Syracuse Univ., NY, USA
R. Ponnusamy , Northeast Parallel Archit. Center, Syracuse Univ., NY, USA
S. Ranka , Northeast Parallel Archit. Center, Syracuse Univ., NY, USA
R. Thakur , Northeast Parallel Archit. Center, Syracuse Univ., NY, USA
pp. 35-36

On the allocations of documents in the distributed memory information retrieval system (PDF)

D.F. Ghazfan , Dept. of Comput. Sci., Monash Univ., Clayton, Vic., Australia
B. Srinivasan , Dept. of Comput. Sci., Monash Univ., Clayton, Vic., Australia
pp. 33-34

PDDP: a parallel data distribution preprocessor (PDF)

K.H. Warren , Lawrence Livermore Nat. Lab., CA, USA
pp. 23-32

A graphical user interface for data-parallel programming (PDF)

D. McCallum , Mentor Graphics Corp., Wilsonville, OR, USA
pp. 5-13

Data parallelism (PDF)

B.C. Gorda , Lawrence Livermore Nat. Lab., Livermore, CA, USA
pp. 3-4

Optimizing the time cost of multiple groups of parallel processes within a parallel structure (PDF)

T.A. Fergany , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
R.A. Ammar , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
M.R. Neilforoshan-Dardashti , Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
pp. 650-659

Migrating multi-threaded, shared objects (PDF)

W. Lux , Gesellschaft fuer Math. und Datenverarbeitung, Augustin, Germany
H. Hartig , Gesellschaft fuer Math. und Datenverarbeitung, Augustin, Germany
pp. 642-649

Scalable load-sharing for distributed systems (PDF)

O. Kremien , Dept. of Comput., Imperial Coll., London, UK
J. Kramer , Dept. of Comput., Imperial Coll., London, UK
J. Magee , Dept. of Comput., Imperial Coll., London, UK
pp. 632-641

Inherently stable priority list scheduling in systems with external delays (PDF)

A.W. Krings , Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA
R.M. Kieckhafer , Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA
pp. 622-631

A protocol for real-time message scheduling in LAN/MAN (PDF)

S.-M. Yang , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
P.R. Pizzorni , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
K.M. Kavi , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
H. Mei , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
pp. 613-621

Incorporation of optimal timeouts into distributed real-time load sharing (PDF)

C.-J. Hou , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 603-612

Improving task scheduling for larger grain execution of parallel functional programs (PDF)

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

Approximate analysis of the average delay in parallel program execution (PDF)

B. Rajaraman , Clemson Univ., SC, USA
T.W. Morgan , Clemson Univ., SC, USA
pp. 584-593

The twin bottleneck effects (parallel algorithms) (PDF)

M.C. Wikstrom , Ames Lab., IA, USA
J.L. Gustafson , Ames Lab., IA, USA
pp. 574-583

Hill-climbing, simulated annealing and genetic algorithms: a comparative study and application to the mapping problem (PDF)

E.-G. Talbi , Lab. de Genie Inf., Grenoble Univ., France
T. Muntean , Lab. de Genie Inf., Grenoble Univ., France
pp. 565-573

Assigning ADT modules with random neural networks (PDF)

L.R. Welch , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
A.D. Stoyenko , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
S. Chen , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 546-555

A fully automatic compiler for distributed memory machines (PDF)

S.S. Pande , North Carolina State Univ., Raleigh, NC, USA
D.P. Agrawal , North Carolina State Univ., Raleigh, NC, USA
J. Mauney , North Carolina State Univ., Raleigh, NC, USA
pp. 536-545

Static scheduling of parallel program graphs including loops (PDF)

E. Luque , Dept. de Inf., Univ. Autonoma de Barcelona, Spain
A. Ripoll , Dept. de Inf., Univ. Autonoma de Barcelona, Spain
T. Margalef , Dept. de Inf., Univ. Autonoma de Barcelona, Spain
P. Hernandez , Dept. de Inf., Univ. Autonoma de Barcelona, Spain
pp. 526-535

Scheduling non-uniform parallel loops on distributed memory machines (PDF)

V.A. Saletore , Dept. of Comput. Sci., Oregan State Univ., Corvallis, OR, USA
pp. 516-525

Scheduling of replicated tasks to meet correctness requirements and deadlines (PDF)

B. Parhami , Dept. of Electr. & Comput. Eng., California Univ., Santa Barabara, CA, USA
C.Y. Hung , Dept. of Electr. & Comput. Eng., California Univ., Santa Barabara, CA, USA
pp. 506-515

Processor assignment in heterogeneous message passing parallel architectures (PDF)

S.C.S. Porto , Univ. Federal Fluminense, Rio de Janeiro, Brazil
pp. 496-505

Program partitioning for multithreaded dataflow computers (PDF)

B. Lee , Dept. of Electr. & Comput. Eng., Oregon State Univ., Corvallis, OR, USA
pp. 487-495

End-to-end performance control for distributed real-time systems (PDF)

H.A. Sholl , Connecticut Univ., Storrs, CT, USA
P.J. Pia , Connecticut Univ., Storrs, CT, USA
pp. 463-472

pi -calculus semantics for the concurrent configuration language Darwin (PDF)

S. Eisenbach , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
R. Paterson , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 456-462

A repetitive fault tolerance model for parallel programs (PDF)

I.-L. Yen , Dept. of Comput. Sci., Houston, Univ., TX, USA
E.L. Leiss , Dept. of Comput. Sci., Houston, Univ., TX, USA
F.B. Bastani , Dept. of Comput. Sci., Houston, Univ., TX, USA
pp. 447-455

Partitioning for efficient consensus (PDF)

M. Barborak , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
M. Malek , Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
pp. 438-446

Accommodating RPC heterogeneities in large heterogeneous distributed environments (PDF)

Y.-M. Huang , Michigan Univ., Ann Arbor, MI, USA
C.V. Ravishankar , Michigan Univ., Ann Arbor, MI, USA
pp. 429-432

A compositional approach to graphically based parallel programming (PDF)

J.C. Browne , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
J. Werth , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
R. Jain , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
P. Newton , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 427-428

A systematic approach to exploiting implicit parallelism in Prolog (PDF)

G. Gupta , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
pp. 417-426

Perfect hash functions made parallel-Lazy functional programming on a distributed multiprocessor (PDF)

I. Checkland , Dept. of Comput. Sci., York Univ., UK
C. Runciman , Dept. of Comput. Sci., York Univ., UK
pp. 397-406

A visualization and control environment for parallel program debugging (PDF)

H. Ilmberger , Siemens AG, Munchen, Germany
C.-P. Wiedemann , Siemens AG, Munchen, Germany
pp. 387-396

The per-process view of naming and remote execution (PDF)

S. Radia , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
J. Pachl , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 377-386

Parallel programming in the intensional language uLucid (PDF)

W. Du , Dept. of Math. & Comput. Sci., New Brunswick Univ., St. John, NB, Canada
pp. 367-376

Phase-reconfigurable parallel programming on SuperNode (PDF)

J.-M. Adamo , Lab. LIP-IMAG, Ecole Normale Superieur de Lyon, France
C. Bonello , Lab. LIP-IMAG, Ecole Normale Superieur de Lyon, France
L. Trejo , Lab. LIP-IMAG, Ecole Normale Superieur de Lyon, France
pp. 357-366

The skeleton of a computing farm in Manifold (PDF)

F. Arbab , Centre for Math. & Comput. Sci., Amsterdam, Netherlands
I. Herman , Centre for Math. & Comput. Sci., Amsterdam, Netherlands
E.P.M.B. Rutten , Centre for Math. & Comput. Sci., Amsterdam, Netherlands
pp. 347-356

Darwin/MP: an environment for parallel and distributed programming (PDF)

J. Magee , Dept. of Comput., Imperial Coll., London, UK
J. Kramer , Dept. of Comput., Imperial Coll., London, UK
N. Dulay , Dept. of Comput., Imperial Coll., London, UK
pp. 337-346

An array based network analyzer for broadband ISDN (PDF)

S.N. Metallinos , Dept. of Electr. Eng., Nat. Tech. Univ. of Athens, Greece
D.I. Reisis , Dept. of Electr. Eng., Nat. Tech. Univ. of Athens, Greece
G.I. Stassinopoulos , Dept. of Electr. Eng., Nat. Tech. Univ. of Athens, Greece
pp. 328-333

Improved parallel bucketing algorithms for proximity problems (PDF)

T. Hagerup , Max-Planck-Inst. fuer Inf., Saarbrucken, Germany
pp. 318-327

Performance study of linearly connected parallel machines through simulation (PDF)

L.F. Bautista , Dept. of Math. & Comput. Sci., Miami Univ., Coral Gables, FL, USA
D. Sarkar , Dept. of Math. & Comput. Sci., Miami Univ., Coral Gables, FL, USA
pp. 308-317

MIMD versus SIMD computation: experience with non-numeric parallel algorithms (PDF)

C. Breshears , Dept. of Comput. Sci., Tennessee Univ., Knoxville, TN, USA
M.A. Langston , Dept. of Comput. Sci., Tennessee Univ., Knoxville, TN, USA
pp. 298-307

Parallel approximate matching (PDF)

T.H. Spencer , Dept. of Math. & Comput. Sci., Nebraska Univ., Omaha, NE, USA
pp. 293-297

An efficient EREW algorithm for minimum path cover and Hamiltonicity on cographs (PDF)

R. Lin , Dept. of Comput. Sci., State Univ. of New York, Geneseo, NY, USA
pp. 283-292

Cost-optimal parallel algorithms for finitely inductive sequences (PDF)

S.K. Das , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
P.S. Fisher , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
H. Zhang , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
pp. 273-282

A parallel best-first B&B algorithm and its axiomatization (PDF)

M. Gengler , Lab d'Inf. Theorique, Swiss Federal Inst. of Technol., Lausanne, Switzerland
G. Coray , Lab d'Inf. Theorique, Swiss Federal Inst. of Technol., Lausanne, Switzerland
pp. 263-272

Complexity analysis of propositional concurrent programs using domino tiling (PDF)

H.-C. Yen , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 253-262

The optimal location of a structured facility in a tree network (PDF)

S. Peng , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
W. Lo , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
pp. 243-252

Load balancing and selection on the star and pancake interconnection networks (PDF)

K. Qiu , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
S.G. Akl , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
pp. 235-242

Finding optimum wavefront of parallel computation (PDF)

B. Sinharoy , IBM Corp., Poughkeepsie, NY, USA
pp. 225-234

Data cache architecture of the superscalar by scheduling patterns (PDF)

T. Kato , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
T. Ono , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
N. Bagherzadeh , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 219-220

Update-data-driven execution of nets (PDF)

A. Hagerer , Fac. of Math. & Comput. Sci., Passau Univ., Germany
pp. 204-213

Message-brokers: a novel interprocess communications primitive (PDF)

M.J. Wise , Dept. of Comput. Sci., Sydney Univ., NSW, Australia
T. McDermott , Dept. of Comput. Sci., Sydney Univ., NSW, Australia
pp. 184-193

Model checking of control-finite CSP programs (PDF)

K. Asai , Dept. of Inf. Sci., Tokyo Univ., Japan
S. Matsuoka , Dept. of Inf. Sci., Tokyo Univ., Japan
A. Yonezawa , Dept. of Inf. Sci., Tokyo Univ., Japan
pp. 174-183

An overview of Mermera: a system and formalism for non-coherent distributed parallel memory (PDF)

A. Heddaya , Dept. of Comput. Sci., Boston Univ., MA, USA
H. Sinha , Dept. of Comput. Sci., Boston Univ., MA, USA
pp. 164-173

Analyzing performance of large scale parallel systems (PDF)

A. Gupta , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
V. Kumar , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 144-153

An object-oriented computing surface for distributed memory architectures (PDF)

J. Nolte , German Nat. Res. Center for Comput. Sci., Tech. Univ. of Berlin, Germany
W. Schroder-Preikschat , German Nat. Res. Center for Comput. Sci., Tech. Univ. of Berlin, Germany
pp. 134-143

Reasoning and modeling paradigms are incompatible (PDF)

P. Wegner , Brown Univ., Providence, RI, USA
pp. 115-123

Monte Carlo integration in a distributed heterogeneous environment (PDF)

J.P. Dougherty , Dept. of Comput. & Inf. Sci., Temple Univ., Philadelphia, PA, USA
pp. 108-109

Performance evaluation of network programming environments (PDF)

Y.-H. Young , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
K. Sikorski , Dept. of Comput. Sci., Utah Univ., Salt Lake City, UT, USA
pp. 106-107
88 ms
(Ver 3.3 (11022016))