By Topic

1993 4th Workshop on Future Trends of Distributed Computing Systems

22-24 Sept. 1993

Filter Results

Displaying Results 1 - 25 of 68
  • 1993 4th Workshop on Future Trends of Distributed Computing Systems

    Publication Year: 1993
    Request permission for commercial reuse | PDF file iconPDF (160 KB)
    Freely Available from IEEE
  • Completeness of the equational semantics for Basic LOTOS

    Publication Year: 1993, Page(s):396 - 403
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    The logical correspondence between the equational semantics of Basic LOTOS and is standard, derivational one is proven. A derivational semantics is traditionally given by means of a set of axioms and deduction rules which define a deduction system. With such semantics, some difficulties arise when dealing with deduction rules with negative premises; also, the proof that a transition cannot take pl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimization techniques for parallel protocol implementation

    Publication Year: 1993, Page(s):387 - 393
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    The authors propose a method for deriving parallel, scheduling-optimized protocol implementations from sequential protocol specifications. They start with an SDL specification, identify a common path for optimization, and perform a data dependency analysis. The resulting common path graph is parallelized as far as permitted by the data dependency graph. The degree of parallelism is extended even f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented approach to software design for distributed real-time computing systems

    Publication Year: 1993, Page(s):297 - 303
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    In distributed real-time computing systems for complicated applications like command, control, communications and intelligence, time constraints are severe and adaptability is required to provide high availability and survivability of computing resources. An object-oriented approach to software design for distributed real-time systems is presented. In order to support adaptability of the software ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experimental multimedia information exchange system

    Publication Year: 1993, Page(s):31 - 37
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    The authors summarize the lessons learned during a research project that aimed at understanding the practical problems encountered in building multimedia communication systems. An overview of the architecture and components of an experimental multimedia system is given. The prototype has both real-time and online communication capabilities. It supports both the peer-to-peer model and the client-se... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CapNet-using gigabit network as a high speed backplane

    Publication Year: 1993, Page(s):380 - 386
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    The authors propose a wide area distributed shared memory (DSM) system in which the memory hierarchy is integrated into the switching network. The system requires only one message to access a mobile shared object, as compared to two in a directory-based approach. The authors simulated a wide-area DSM on the NSFNET and showed that the approach reduced memory fault delay significantly View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Causal multicasts in overlapping groups: towards a low cost approach

    Publication Year: 1993, Page(s):136 - 142
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB)

    Concepts of groups (to structure processes) and causality (to structure, send, and deliver events of messages) are of major importance in the design of distributed systems. By combining both concepts, the ISIS system defines causal multicasts in overlapping groups. The authors present a simple and efficient protocol that implements such causal multicasts. It compares favorably to the ISIS protocol... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A proposal for a metropolitan area network with priority for the synchronous traffic

    Publication Year: 1993, Page(s):449 - 453
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (400 KB)

    An alternative metropolitan area network (MAN) is proposed. Unlike the current MAN standardization, such as FDDI (fiber distributed data interface) or DQDB (distributed queueing dual bus), the proposed network gives priority to the synchronous traffic (voice) and uses a distributed digital switching technique. The objective of this kind of network is to reduce the initial investment cost of a tele... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tapping Hermes: a case study of tapping processes

    Publication Year: 1993, Page(s):304 - 310
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    Developing distributed systems includes activities such as testing, verification, debugging, and performance analysis. The authors introduce the set of generic events that are monitored by different development activities for distributed systems and identify other desirable monitoring properties for an efficient monitoring pool. They then give an overview of the newly introduced constructs, called... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Understanding partitions and the `no partition' assumption

    Publication Year: 1993, Page(s):354 - 360
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (508 KB)

    Discusses partitions in asynchronous message-passing systems. In such systems, slow processes and slow links can lead to virtual partitions that are indistinguishable from real ones. To overcome the impossibility of detecting crashed processes in an asynchronous system, the system model incorporates a failure suspector to detect (possibly erroneously) process failures. Based on failure suspicions,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A taxonomy on multimedia synchronization

    Publication Year: 1993, Page(s):97 - 103
    Cited by:  Papers (6)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    Multimedia systems allow the integration of data streams of different types, including continuous media (audio and video) and discrete media (text, data, still images). The information contained in these data streams is often interrelated, and multimedia systems must guarantee to maintain such relationships as the streams are stored, transmitted, and presented to the user. This is usually called m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An architecture for managing distributed systems

    Publication Year: 1993, Page(s):40 - 46
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (676 KB)

    The authors describe an architecture for managing distributed systems which has been jointly specified by two Esprit projects, SYSMAN (7026) and IDSM (6311). The emphasis, in this architecture, is on the use of domains to group managed objects and partition the management structure to cope with very large scale inter-organizational distributed systems. Another key aspect of the architecture is a p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed computing with parallel networking

    Publication Year: 1993, Page(s):375 - 379
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (280 KB)

    For many large scientific applications, computing on a cluster is a viable, economical alternative to a dedicated parallel machine. Application performance on a cluster is largely determined by the speed of the underlying communication network. The authors use a parallel network approach to improve the communication network performance. More specifically, they use multiple networks based on Ethern... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A distributed model and architecture for interactive cooperation

    Publication Year: 1993, Page(s):143 - 149
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    Cooperative systems are intrinsically related to user interface systems. The design and implementation of a framework to support the construction of interactive and cooperative applications must consistently extend the models and architectures of single-user applications. The requirements for this extension include the management of the communication and coordination between users, the support for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Making C++ a distributed programming language

    Publication Year: 1993, Page(s):228 - 233
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (444 KB)

    Complex applications, such as computer-aided design, computer-aided manufacturing and multimedia applications, can derive the benefits of abstraction, modularity, extensibility, and reuse from object-oriented programming. However, object-oriented languages do not provide direct support for distributed computing. This makes programming in object-oriented languages in a distributed system fraught wi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrated approach to the design of communication protocols

    Publication Year: 1993, Page(s):411 - 418
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (760 KB)

    Quality of service considerations have to be included in the whole protocol engineering cycle. The authors present an integrated approach for the design of communication protocols, including: performance enhanced formal specification of communication protocols, formal requirement specification, statistical performance analysis out of the enhanced formal specification, and verification of bounded p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Load distribution on microkernels

    Publication Year: 1993, Page(s):463 - 469
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (552 KB)

    The authors investigate the appropriateness of a μkernel for load distribution. They demonstrate μkernel benefits by presenting a load distribution implementation on top of the Mach μkernel. The load distribution scheme is based on three main parts: task migration, load information management, and distributed scheduling. It is shown that it is relatively easy to implement transparent task... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards multimedia communication services

    Publication Year: 1993, Page(s):83 - 89
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    A set of basic synchronization facilities is identified that can be expected from a general-purpose, multimedia communication service. Formalization relies on the concept of temporal signature previously introduced for characterizing the temporal properties of multimedia streams. The authors discuss several mechanisms related to temporal signature preservation. Dependency relationships among the d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An efficient circuit-switching mechanism for interprocess communication in a transputer network

    Publication Year: 1993, Page(s):215 - 220
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (516 KB)

    Distributed real time system require interprocess communication (IPC) services to be not only reliable and efficient but also predictable. In such dynamic systems, predictability can only be achieved by proper architectural support that embodies adequate mechanisms and policies within the operating system. The authors present the design and implementation of predictable transport level communicati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mobility support in open bridged networks

    Publication Year: 1993, Page(s):428 - 434
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (484 KB)

    The proliferation of powerful portable computers and the need for uninterruptible access to information impose new requirements on communication services, particularly regarding the provision of mobility support. The authors focus on mobility in an open bridged networking environment, i.e., bridged LANs interconnected by open bridges (OBs) across a public switched networks (such as SMDS and B-ISDN... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Kernel/2r-A software infrastructure for building distributed applications

    Publication Year: 1993, Page(s):477 - 483
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (548 KB)

    Kernel/2r is a software infrastructure that provides the integration platform for the construction of distributed process-oriented multi-user/multi-role systems. Kernel/2r includes different process engines that enable the enactment of formally defined process models, thus assisting users in staying in line with procedures and regulations required by law or by the organization or ISO 9000 quality ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hierarchical decision structure for distributed algorithms

    Publication Year: 1993, Page(s):203 - 207
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (404 KB)

    When the number of nodes in a distributed system becomes very large, neither a fully centralized algorithm nor a fully distributed algorithm is suitable for implementation. The number of messages exchanged in most distributed algorithms becomes too large to make them practical, while the system with a fully centralized algorithm is vulnerable to failure of the control node. The authors propose ano... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • OPERA: storage, programming and display of multimedia objects

    Publication Year: 1993, Page(s):442 - 448
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    The OPERA project seeks to support the interactive display of synchronized multiple types of media on workstations. This style of application needs high speed ATM (asynchronous transfer mode) networks and suitable protocols and operating systems, which exist at the University of Cambridge computer laboratory. Above this infrastructure, the authors have designed and are building a multiple-service ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A functional approach for expressing temporal properties of inputs and outputs of real-time applications

    Publication Year: 1993, Page(s):312 - 318
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB)

    Many real-time applications are different from ordinary computer applications because they react to the state or change of state of the external environment within a specified time limit. The authors concentrate on the interface between such applications and the external environment. The interface is represented as real-time objects, on which operations that accomplish correct data flow from the e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Intelligent distributed systems: New trends

    Publication Year: 1993, Page(s):106 - 111
    Cited by:  Papers (1)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (356 KB)

    In the distributed artificial intelligence field, a multi-agent system is defined as a coordinating intelligent behavior among a collection of autonomous intelligent agents, providing a method of coordinating their knowledge, goals, skills, and plans to take action or to solve problems. These concepts can be used to control and to manage a distributed system. The author describes the distributed a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.