Narrow your search

Library

KU Leuven (6)

UAntwerpen (5)

ULiège (4)

KBR (3)

ULB (2)

Hogeschool Gent (1)

UGent (1)

UNamur (1)


Resource type

book (6)


Language

English (5)

Dutch (1)


Year
From To Submit

1988 (6)

Listing 1 - 6 of 6
Sort by

Book
An introduction to berkeley Unix
Author:
ISBN: 0534088627 Year: 1988 Publisher: Belmont, CA : Wadsworth,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Wegwijs in CMS: een rondleiding door het Conversational Monitor System
Author:
ISBN: 9062837271 Year: 1988 Publisher: Muiderberg Coutinho

Loading...
Export citation

Choose an application

Bookmark

Abstract

Formal techniques in real-time and Fault-tolerant systems : proceedings of a symposium Warwick, September 22-23, 1988
Author:
ISBN: 3540503021 0387503021 3540459650 Year: 1988 Volume: vol 331 Publisher: Berlin London Tokyo Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

Experiences with distributed systems : international workshop, Kaiserslautern, September 28-30, 1987 : proceedings
Author:
ISBN: 3540193332 3540391940 Year: 1988 Volume: vol 309 Publisher: Berlin Heidelberg New York Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the proceedings of an international workshop on "Experiences with Distributed Systems" held September 28-30, 1987, at the University of Kaiserslautern. The workshop was jointly sponsored and organized by the Sonderforschungsbereich 124 "VSLI-Entwurfsmethoden und Parallelität" and the European Network Center (ENC) of the IBM Corporation, Heidelberg. The objective of the workshop was to bring together researchers who had gathered substantial experience with the implementation of distributed systems. The emphasis was put on the exchange of (good and bad) experiences with existing concepts in distributed system design rather than presenting new ideas. Participation in the workshop was by invitation only. The presentations can be roughly categorized as reports on a specific project or reports on experiences with a certain topic accumulated through several projects. Other lectures treated general topics such as fault tolerance, design principles for distributed languages and systems, and distributed databases.


Book
Computer networks
Author:
ISBN: 0131668366 9780131668362 Year: 1988 Publisher: Englewood Cliffs: Prentice Hall,

Listing 1 - 6 of 6
Sort by