The Community for Technology Leaders
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s (1988)
Hong Kong
Sept. 14, 1988 to Sept. 16, 1988
ISBN: 0-8186-0897-8
TABLE OF CONTENTS

Network management in a large OSI environment (PDF)

G. Le Moli , CREI-Polytech. of Milan, Italy
pp. 9-13

Studying the use and application behaviour of a large network (PDF)

D.-M. Chiu , Digital Equip. Corp., Littleton, MA, USA
R. Sudama , Digital Equip. Corp., Littleton, MA, USA
pp. 14-22

Concepts for open systems cooperation in distributed CIM-structures (PDF)

V. Tschammer , GMD-FOKUS Berlin, West Germany
K.P. Eckert , GMD-FOKUS Berlin, West Germany
L. Henckel , GMD-FOKUS Berlin, West Germany
pp. 23-32

Networks for parallel processing on a large scale (PDF)

A. Endrizzi , Comm. of the Eur. Communities, Ispra, Italy
pp. 38-44

A specification of a distributed heterogeneous systems administration (PDF)

J.P. Claude , Univ. Pierre & Marie Curie, Paris, France
M.P. Gervais , Univ. Pierre & Marie Curie, Paris, France
D. Seret , Univ. Pierre & Marie Curie, Paris, France
pp. 45-50

An aggregated model of CSMA/CD as an example for runtime reduction in LAN-simulation (PDF)

E. Heck , Dept. of Inf., Dortmund Univ., West Germany
R. Lange , Dept. of Inf., Dortmund Univ., West Germany
pp. 51-56

Design aspects of coherent optical networks (PDF)

A. Fioretti , Face Res. Centre, Pomezia, Italy
C.A. Rocchini , Face Res. Centre, Pomezia, Italy
pp. 57-64

Fast data selection and broadcast on the Butterfly network (PDF)

W. Lin , Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA
T.-L. Sheu , Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA
C.R. Das , Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA
T.-Y. Feng , Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 65-72

Lightnet: a protocol for future real time high speed broadcast networks (PDF)

P. Jacquet , INRIA, Le Chesnay, France
P. Muhlethaler , INRIA, Le Chesnay, France
pp. 73-81

Assigning distinct identities to sites on an anonymous distributed system (PDF)

J.-M. Helary , IRISA, Rennes, France
M. Raynal , IRISA, Rennes, France
pp. 82-86

Global stability detection in the asynchronous distributed computations (PDF)

M. Naimi , Fac. of Sci., Inf. Lab., Besancon, France
pp. 87-92

A global load balancing strategy for a distributed computer system (PDF)

K.M. Baumgartner , Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
B.W. Wah , Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
pp. 93-102

Multimedia documents in broadband ISDN: development of a generalized telecommunication model in BERKOM (PDF)

P. Egloff , Forschungszentrum fuer Offene Commun. Syst., Berlin, West Germany
pp. 103-110

TUMULT, the Twente University multiprocessor (PDF)

J. Scholten , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
P.G. Jansen , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 111-118

Design and analysis of heuristic functions for static task distribution (PDF)

B. Shirazi , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
M. Wang , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 124-131

Multiprocessors and multiprocessing in a distributed system (PDF)

B. Tangney , Dept. of Comput. Sci., Dublin Univ., Ireland
S. Crane , Dept. of Comput. Sci., Dublin Univ., Ireland
F. Lynch , Dept. of Comput. Sci., Dublin Univ., Ireland
A. O'Toole , Dept. of Comput. Sci., Dublin Univ., Ireland
N. Harris , Dept. of Comput. Sci., Dublin Univ., Ireland
pp. 139-146

Domain based configuration and name management for distributed systems (PDF)

K. Twidle , Dept. of Comput., London Univ., UK
M. Sloman , Dept. of Comput., London Univ., UK
pp. 147-153

Requirements and design specification of distributed systems: the lift problem (PDF)

M. Broy , Fac. of Math. & Inf., Passau Univ., West Germany
pp. 164-173

Control flow analysis of distributed computing system software using structured Petri net model (PDF)

S.S. Yau , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 174-183

A tool for the synthesis of discrete controllers for distributed systems (PDF)

V. Carchiolo , Inst. of Inf. & Telecommun., Catania Univ., Italy
A. Faro , Inst. of Inf. & Telecommun., Catania Univ., Italy
M. Malgeri , Inst. of Inf. & Telecommun., Catania Univ., Italy
pp. 184-191

Design of an object-oriented distributed system: experience with CSA (PDF)

M.A. Tag , Lab. MASI, Univ. Pierre & Marie Curie, Paris, France
A. Benkiran , Lab. MASI, Univ. Pierre & Marie Curie, Paris, France
pp. 192-201

On basic rewriting rules to verify communicating machines (PDF)

H. Mountassir , Lab. d'Inf., UFR des Sci. et Tech., Besancon, France
pp. 216-224

The effective implementation of a flexible communication mechanism for distributed and parallel programming (PDF)

C. Kordecki , GMD Forshungsstelle, Karlsruhe Univ., West Germany
S. Jahnichen , GMD Forshungsstelle, Karlsruhe Univ., West Germany
pp. 225-231

Mutual exclusion of locally byzantine processes (PDF)

J. Beauquier , LRI-CNRS, Paris XI Univ., Orsay, France
pp. 232-236

A characterization of the dynamical ascending routing (PDF)

A. Bouabdallah , Lab. d'Inf. de Besancon, Univ. de Franche-Comte, France
M. Trehel , Lab. d'Inf. de Besancon, Univ. de Franche-Comte, France
pp. 237-244

Virtual processing in ParMod (PDF)

F. Abstreiter , Inst. for Inf., Tech. Univ. of Munich, West Germany
pp. 245-251

A language based approach for reliable distributed computing (PDF)

G. Spezzano , CRAI, Rende, Italy
D. Talia , CRAI, Rende, Italy
pp. 262-269

AL 1: a language for distributed applications (PDF)

A. Marcoux , Lab. Languages et Syst. Inf., Toulouse, France
C. Maurel , Lab. Languages et Syst. Inf., Toulouse, France
P. Salle , Lab. Languages et Syst. Inf., Toulouse, France
pp. 270-276

Distributed software development through CLUSTER 86 (PDF)

L. Shang , Dept. of Comput. Sci., Nanjing Univ., China
C. Fan , Dept. of Comput. Sci., Nanjing Univ., China
L. Xu , Dept. of Comput. Sci., Nanjing Univ., China
Z. Sun , Dept. of Comput. Sci., Nanjing Univ., China
pp. 277-285

A model for change management (PDF)

J. Kramer , Dept. of Comput., London Univ., UK
J. Magee , Dept. of Comput., London Univ., UK
pp. 286-295

A framework to integrate system specification tools (PDF)

A. Di Stefano , Fac. of Eng., Catania Univ., Italy
M. Malgeri , Fac. of Eng., Catania Univ., Italy
pp. 296-300

INTEGRAL-an integrated framework for distributed software validation and verification (PDF)

C.K. Chang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
C.-C. Song , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Y.-F. Chang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 301-310

Distributed rule-based AST-systems (PDF)

A.B. Cremers , Dortmund Univ., West Germany
B. Igel , Dortmund Univ., West Germany
G. Reichwein , Dortmund Univ., West Germany
pp. 311-317

Designing fault tolerance capabilities into real-time distributed computer systems (PDF)

K.H. Kim , Dept. of Electr. Eng., California Univ., Irvine, CA, USA
pp. 318-328

SATURNE: a distributed computing system which tolerates faults and intrusions (PDF)

Y. Deswarte , LAAS-CNRS & INRIA, Toulouse, France
J.-C. Fabre , LAAS-CNRS & INRIA, Toulouse, France
J.-M. Fray , LAAS-CNRS & INRIA, Toulouse, France
D. Powell , LAAS-CNRS & INRIA, Toulouse, France
P.-G. Ranea , LAAS-CNRS & INRIA, Toulouse, France
pp. 329-338

Reliability and fault tolerance aspects in an industrial LAN (PDF)

S. Casale , Fac. of Eng., Catania Univ., Italy
V. Catania , Fac. of Eng., Catania Univ., Italy
L. Vita , Fac. of Eng., Catania Univ., Italy
pp. 339-346

A case study on the fault-tolerizability of an archetypical shared memory minisuper multiprocessor (PDF)

F.P. Mathur , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
J.A. Rohr , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
D.A. Rennels , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
pp. 347-356

The recovery problem in distributed systems (PDF)

E. Nett , GMD, St. Augustin, West Germany
pp. 357-365

A global architecture for broadband communication systems: the BERKOM approach (PDF)

R. Popsecu-Zeletin , Deutsche Telepost Consulting GmbH/DETECON, Berlin, West Germany
B. Butscher , Deutsche Telepost Consulting GmbH/DETECON, Berlin, West Germany
P. Egloff , Deutsche Telepost Consulting GmbH/DETECON, Berlin, West Germany
J. Kanzow , Deutsche Telepost Consulting GmbH/DETECON, Berlin, West Germany
pp. 366-373

The future trend of employing distributed architecture form (PDF)

D. Peng , Comput. Sci., Wuhan Univ., China
pp. 374-382

The architecture of a distributed computer system (PDF)

R.P. Studdert , Dept. of Comput. Sci., Univ. Coll., Cork, Ireland
J.W.G. Buckley , Dept. of Comput. Sci., Univ. Coll., Cork, Ireland
C.J. Sreenan , Dept. of Comput. Sci., Univ. Coll., Cork, Ireland
M.P. Russell , Dept. of Comput. Sci., Univ. Coll., Cork, Ireland
pp. 383-390

Hybrid dynamic load balancing for distributed-memory multicomputers (PDF)

R. Chowkwanyun , Dept. of Electr. Eng.-Syst., Univ. of Southern California, Los Angeles, CA, USA
K. Hwang , Dept. of Electr. Eng.-Syst., Univ. of Southern California, Los Angeles, CA, USA
pp. 391-399

A virtual inference scheme for distributed logic inference (PDF)

J.-Y. Juang , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 400-407

Hypercube computing; Connected components (PDF)

J. Woo , Minnesota Univ., Minneapolis, MN, USA
S. Sahni , Minnesota Univ., Minneapolis, MN, USA
pp. 408-417

A model to support consistency and availability in distributed system architectures (PDF)

J.R. Nicol , Dept. of Comput., Lancaster Univ., UK
G.S. Blair , Dept. of Comput., Lancaster Univ., UK
J. Walpole , Dept. of Comput., Lancaster Univ., UK
pp. 418-425

The Mentat programming language and architecture (PDF)

A.S. Grimshaw , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
J.W.S. Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 426-437

A high performance dataflow processor for multiprocessor systems (PDF)

K.-Q. Luc , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
K.B. Irani , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 438-444

Computer architectures: a case for top-down design (PDF)

H. Topfer , Dept. of Math., Augsburg Univ., West Germany
T. Ungerer , Dept. of Math., Augsburg Univ., West Germany
E. Zehendner , Dept. of Math., Augsburg Univ., West Germany
pp. 445-451

A controlled learning environment of enhanced perceptron (PDF)

H.H. Teh , Inst. of Syst. Sci., Nat. Univ. of Singapore, Singapore
pp. 452-460

A distributed multimedia database system (PDF)

A. Ghafoor , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
C.Y.R. Chen , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
P.B. Berra , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
pp. 461-469

Relational fault tolerant interface to heterogeneous distributed databases (PDF)

D. Davchev , Dept. of Electr. Eng. & Comput. Sci., Skopje Univ., Yugoslavia
N. Dimitrova , Dept. of Electr. Eng. & Comput. Sci., Skopje Univ., Yugoslavia
D. Chakmakov , Dept. of Electr. Eng. & Comput. Sci., Skopje Univ., Yugoslavia
pp. 470-476

A dynamic interquery optimization method for achieving data sharing among concurrent queries (PDF)

K. Mikkilineni , Honeywell Corp. Syst. Dev. Div., Golden Valley, MN, USA
pp. 477-486

An approach to the distributed database access protocol design (PDF)

V. Bojilov , Central Inst. for Comput. Tech. & Technol., Sofia, Bulgaria
S. Yonev , Central Inst. for Comput. Tech. & Technol., Sofia, Bulgaria
pp. 487-494

Future trend on concurrency control in distributed database system design (PDF)

S.M. Wu , Tamkang Univ., Taipei, Taiwan
D.L. Pan , Tamkang Univ., Taipei, Taiwan
pp. 495-501

Transaction failure tolerance without loss of concurrency (PDF)

S. Turc , Centre de Res. en Inf., Languedoc Univ., Montpellier, France
pp. 502-511

Migrating transactions (PDF)

J. Klein , Dept. of Comput. Sci., Stuttgart Univ., West Germany
A. Reuter , Dept. of Comput. Sci., Stuttgart Univ., West Germany
pp. 512-520
96 ms
(Ver 3.3 (11022016))