The Community for Technology Leaders
1992 12th International Conference on Distributed Computing System (1992)
Yokohama, Japan
June 9, 1992 to June 12, 1992
ISBN: 0-8186-2865-0
TABLE OF CONTENTS

Blending hierarchical and attribute-based file naming (PDF)

S. Sechrest , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
M. McClennen , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 572-580

Leveraged computing: a task distribution protocol (PDF)

P.M. Murray , Information Resources, Inc., Waltham, MA, USA
pp. 563-570

Comet: a toolkit for multiuser audio/video applications (PDF)

D.P. Anderson , California Univ., Berkeley, CA, USA
P. Chan , California Univ., Berkeley, CA, USA
pp. 555-562

Open CSCW systems: will ODP help? (PDF)

L. Navarro , Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 547-554

Distributed cooperative control for sharing applications based on multiparty and multimedia desktop conferencing system: MERMAID (PDF)

T. Ohmori , NEC Corp., Kanagawa, Japan
K. Maeno , NEC Corp., Kanagawa, Japan
S. Sakata , NEC Corp., Kanagawa, Japan
H. Fukuoka , NEC Corp., Kanagawa, Japan
K. Watabe , NEC Corp., Kanagawa, Japan
pp. 538-546

Delegation through access control programs (PDF)

M.M. Theimer , Xerox Corp., Palo Alto, CA, USA
D.A. Nichols , Xerox Corp., Palo Alto, CA, USA
D.B. Terry , Xerox Corp., Palo Alto, CA, USA
pp. 529-536

Dynamic hierarchical caching in large-scale distributed file systems (PDF)

M. Blaze , Dept. of Comput. Sci., Princeton Univ., NJ, USA
pp. 521-528

Beyond micro-kernel design: decoupling modularity and protection in Lipto (PDF)

P. Druschel , Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA
L.L. Peterson , Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA
pp. 512-520

An architecture of a threaded many-to-many remote procedure call (PDF)

G. Welling , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
B.R. Bedrinath , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
pp. 504-511

On deriving distributed programs from formal specifications of functional requirements and architectural constraints (PDF)

G.-C. Roman , Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
C.D. Wilcox , Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
J.Y. Plun , Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
pp. 494-501

Asynchronous unison (PDF)

J.-M. Couvreur , Paris Univ., France
pp. 486-493

Formal analysis of waiting times for distributed real-time processes (PDF)

H.F. Wedde , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
B. Korel , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 478-485

Guaranteeing synchronous message deadlines with the timed token protocol (PDF)

G. Agrawal , Dept. of Comput. Sci., Texas A&M Univ., College Stastion, TX, USA
B. Chen , Dept. of Comput. Sci., Texas A&M Univ., College Stastion, TX, USA
W. Zhao , Dept. of Comput. Sci., Texas A&M Univ., College Stastion, TX, USA
pp. 468-475

Sparse time versus dense time in distributed real-time systems (PDF)

H. Kopetz , Tech. Univ. of Vienna, Austria
pp. 460-467

End-to-end scheduling to meet deadlines in distributed systems (PDF)

R. Bettati , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
J.W.-S. Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 452-459

Distributed, scalable, and static parallel arc consistency algorithms on private memory machines (PDF)

J.M. Conrad , 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. 442-449

Type-specific coherence protocols for distributed shared memory (PDF)

H.V. Leong , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
D. Agrawal , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
pp. 434-441

Efficient decentralized consensus protocols in a distributed computing system (PDF)

M.-S. Chen , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
K.-L. Wu , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
P.S. Yu , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 426-433

Exploiting a weak consistency to implement distributed tuple space (PDF)

S. Chiba , Dept. of Inf. Sci., Tokyo Univ., Japan
K. Kato , Dept. of Inf. Sci., Tokyo Univ., Japan
T. Masuda , Dept. of Inf. Sci., Tokyo Univ., Japan
pp. 416-423

Distributed file allocation with consistency constraints (PDF)

R. Tewari , Temple Univ., Philadelphia, PA, USA
pp. 408-415

Validation and performance evaluation of the partition and replicate algorithm (PDF)

C. Liu , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
C. Yu , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 400-407

TQL: a tasking query language for concurrent program analysis (PDF)

S. Black , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
S.M. Shatz , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
S. Upp , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 382-389

Exploiting iteration-level parallelism in dataflow programs (PDF)

L. Bic , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
J.M.A. Roy , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
M. Nagel , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 376-381

An analysis of the join the shortest queue (JSQ) policy (PDF)

H.-C. Lin , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 362-366

How to migrate processes in distributed computing systems-a Markov team approach (PDF)

A. Taudes , Dept. of Appl. Comput. Sci., Munster Univ., Germany
pp. 354-361

An implementation of flush channels based on a verification methodology (PDF)

P. Kearns , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
T. Camp , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
pp. 336-343

An algorithmic method for protocol conversion (PDF)

M. Peyravian , Sch. of Electr. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
C.-T. Lea , Sch. of Electr. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 328-335

RAID organization and performance (PDF)

T.J.E. Schwarz , Gemini Storage Syst. Lab., California Univ., San Diego, La Jolla, CA, USA
W.A. Buckhard , Gemini Storage Syst. Lab., California Univ., San Diego, La Jolla, CA, USA
pp. 318-325

Data base recovery in shared disks and client-server architectures (PDF)

C. Mohan , IBM Almaden Res. Center, San Jose, CA, USA
I. Narang , IBM Almaden Res. Center, San Jose, CA, USA
pp. 310-317

Performance of disk arrays in transaction processing environments (PDF)

J. Menon , IBM Almaden Res. Center, San Jose, CA, USA
D. Mattson , IBM Almaden Res. Center, San Jose, CA, USA
pp. 302-309

An adaptive scheduling scheme for dynamic service time allocation on a shared resource (PDF)

A.N. Tantawy , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
A.N. Tantawi , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
D.N. Serpanos , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 294-300

Performance analysis of hierarchical task queue organization for parallel systems (PDF)

S.P. Cheng , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
S. Dandamudi , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
pp. 286-293

Performance prediction modeling of multicomputers (PDF)

H.V. Sreekantaswamy , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
S. Chanson , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
A. Wagner , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
pp. 278-285

A user-oriented synthetic workload generator (PDF)

W.-I. Kao , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
R.K. Iyer , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 270-277

Probabilistic characterization of algebraic protocol specifications (PDF)

R. Sisto , Politecnico di Torino, Italy
L. Ciminiera , Politecnico di Torino, Italy
A. Valenzano , Politecnico di Torino, Italy
pp. 260-268

On conformance in the context of open systems (PDF)

R. Gotzhein , Montreal Univ., Que., Canada
pp. 236-243

Reconfigurable cube architecture for parallel computation (PDF)

K. Efe , Center for Adv. Comput. Studies, Univ. of Southwestern Louisiana, Lafayette, LA, USA
pp. 218-225

Process-channel/sub agent/-process model of asynchronous distributed communication (PDF)

K. Shafer , Ohio State Univ., Columbus, OH, USA
M. Ahuja , Ohio State Univ., Columbus, OH, USA
pp. 4-11

A unified approach to fault-tolerant routing (PDF)

T. El-Ghazawi , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., Washington, DC, USA
A. Youssef , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., Washington, DC, USA
pp. 210-217

Reliability of cluster-based multiprocessor systems (PDF)

I.O. Mahgoub , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 204-209

Multicast models and routing algorithms for high speed multi-service networks (PDF)

K. Ravindran , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
M. Sankhla , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 194-201

A highly adaptive media access protocol for dual bus metropolitan area networks (PDF)

J. Liebeherr , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 186-193

Priority-based total and semi-total ordering broadcast protocols (PDF)

A. Nakamura , Dept. of Inf. & Syst. Eng., Tokyo Denki Univ., Saitama, Japan
M. Takizawa , Dept. of Inf. & Syst. Eng., Tokyo Denki Univ., Saitama, Japan
pp. 178-185

Design, implementation, and evaluation of Virtual Internet Protocol (PDF)

F. Teraoka , Sony Computer Sci. Lab. Inc., Tokyo, Japan
K. Claffy , Sony Computer Sci. Lab. Inc., Tokyo, Japan
M. Tokoro , Sony Computer Sci. Lab. Inc., Tokyo, Japan
pp. 170-177

Distributed concurrency control with limited wait-depth (PDF)

P.A. Franaszek , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J.R. Haritsa , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J.T. Robinson , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
A. Thomasian , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 160-167

On serializability of distributed nested transactions (PDF)

S. Ben-Hassen , Dept. of Comput. Sci., Houston Univ., TX, USA
M. Rusinkiewicz , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 152-159

Replication control for distributed real-time database systems (PDF)

S.H. Son , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
S. Kouloumbis , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 144-151

Real-time lock-based concurrency control in distributed database systems (PDF)

O. Ulusoy , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
G.G. Belford , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 136-143

Huffman trees as a basis for a dynamic mutual exclusion algorithm for distributed systems (PDF)

T.-K. Woo , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
R. Newman-Wolfe , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 126-133

Efficient implementation of barrier synchronization in wormhole-routed hypercube multicomputers (PDF)

H. Xu , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
P.K. McKinley , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
L.M. Ni , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 118-125

MINTABS: early experiences with a new paradigm for programming SIMD computers (PDF)

D.A. Hensgen , Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
P.A. Wilsey , Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
pp. 110-117

A new communication tool: time dependent multimedia document (PDF)

T. Yoneda , Fac. of Sci. & Technol., Keio Univ., Japan
J.-H. Lim , Fac. of Sci. & Technol., Keio Univ., Japan
T. Sato , Fac. of Sci. & Technol., Keio Univ., Japan
Y. Matsushita , Fac. of Sci. & Technol., Keio Univ., Japan
pp. 90-97

An all-sharing load balancing protocol in distributed systems on the CSMA/CD local area network (PDF)

J. Kim , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
J.-C. Liu , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Y. Hao , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 82-89

A decentralized deadlock-free concurrency control method for multidatabase transactions (PDF)

R.K. Batra , Dept. of Comput. Sci., Houston Univ., TX, USA
M. Rusinkiewicz , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 72-79

Token allocation in distributed systems (PDF)

L. Golubchik , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
pp. 64-71

A transaction model for multidatabase systems (PDF)

S. Mehrotra , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
R. Rastogi , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
A. Silberschatz , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 56-63

Optical communication architectures for multimedia conferencing in distributed systems (PDF)

S. Ramanathan , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
P.V. Rangan , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
H.M. Vin , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
T. Kaeppner , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 46-53

Communication-oriented assignment of task modules in hypercubic multicomputers (PDF)

B.-R. Tsai , 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. 38-45

Multitasking in multistage interconnection network machines (PDF)

C. Yu , Dept. of Electr. Comput. Eng., Pennsylvania State Univ., University Park, PA, USA
C.R. Das , Dept. of Electr. Comput. Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 30-37

Scheduling directed task graphs on multiprocessors using simulated annealing (PDF)

A.K. Nanda , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 20-27

Adaptive routing in mesh-connected networks (PDF)

C.J. Glass , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
L.M. Ni , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 12-19

Test result analysis and diagnostics for finite state machines (PDF)

A. Ghedamsi , Montreal Univ., Que., Canada
G.Von. Bochmann , Montreal Univ., Que., Canada
pp. 244-251

Axiomatic test sequence generation for extended finite state machines (PDF)

C.-J. Wang , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
M.T. Liu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 252-259

Naming and addressing of objects without unique identifiers (PDF)

N. Fujinami , Sony Comput. Sci. Lab. Inc., Tokyo, Japan
Y. Yokote , Sony Comput. Sci. Lab. Inc., Tokyo, Japan
pp. 581-588

Communication structures and paradigms for distributed conferencing applications (PDF)

K. Ravindran , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
B. Prasad , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 598-605

MCP: a protocol for coordination and temporal synchronization in multimedia collaborative applications (PDF)

R. Yavatkar , Dept. of Comput. Sci., Kentucky Univ., Lexington, KY, USA
pp. 606-613

Distributed constraint satisfaction for formalizing distributed problem solving (PDF)

M. Yokoo , NTT Commun. Sci. Lab., Kyoto, Japan
T. Ishida , NTT Commun. Sci. Lab., Kyoto, Japan
pp. 614-621

Analyzing self-stabilization with finite-state machine model (PDF)

Su-Chu Hsu , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Shing-Tsaan Huang , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 624-631

Fault-tolerant multi-destination routing in hypercube multicomputers (PDF)

Y. Lan , Dept. of Comput. Sci., Missouri Univ., Columbia, MO, USA
pp. 632-639

An efficient protocol for voting in distributed systems (PDF)

G. Agrawal , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 640-647

Optimal coteries for rings and related networks (PDF)

T. Ibaraki , Dept. of Appl. Math. & Phys., Kyoto Univ., Japan
H. Nagamochi , Dept. of Appl. Math. & Phys., Kyoto Univ., Japan
pp. 650-656

A general method to define quorums (PDF)

M.L. Neilsen , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
M. Mizuno , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 657-664

An epistemic logic based synthesis of communication services and protocols (PDF)

O. Amyay , CNRS, Toulouse, France
G. Juanole , CNRS, Toulouse, France
S. Zwecker , CNRS, Toulouse, France
pp. 674-681

TrActorS: a transactional actor system for distributed query processing (PDF)

M.S. Haghjoo , Dept. of Comput. Sci., Australian Nat. Univ., Canberra, ACT, Australia
pp. 682-689

A distributed Lisp programming system: implementation and usage (PDF)

M.P. Pearson , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 690-697

Garbage collection of a distributed heap (PDF)

R. Ladin , Digital Equipment Corp., Cambridge, MA, USA
pp. 708-715

A real-time algorithm for fair interprocess synchronization (PDF)

Y.-K. Tsay , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
R.L. Bagrodia , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
pp. 716-723
83 ms
(Ver 3.3 (11022016))