WorldCat Identities

Lanciaux, D.

Overview
Works: 11 works in 20 publications in 2 languages and 202 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA76.6, 001.64
Publication Timeline
Key
Publications about  D Lanciaux Publications about D Lanciaux
Publications by  D Lanciaux Publications by D Lanciaux
Most widely held works by D Lanciaux
Operating systems : theory and practice : proceedings of the Second International Symposium on Operating Systems Theory and Practice, organized by IRIA and Carnegie-Mellon University, Rocquencourt, France, October 2-4, 1978 by International Symposium on Operating Systems Theory and Practice ( Book )
8 editions published in 1979 in English and held by 181 WorldCat member libraries worldwide
Mecanismes de structuration des systemes a capacites by D Lanciaux ( Book )
1 edition published in 1978 in French and held by 8 WorldCat member libraries worldwide
Supporting small objects in a capability system by D Lanciaux ( Book )
1 edition published in 1978 in English and held by 5 WorldCat member libraries worldwide
Operating systems : theory and practice by International Symposium on Operating Systems Theory and Practice ( Book )
2 editions published in 1979 in English and held by 3 WorldCat member libraries worldwide
Error Recovery in Capability Systems by D Lanciaux ( Book )
2 editions published between 1978 and 1979 in English and held by 3 WorldCat member libraries worldwide
Methodologies and checking techniques have been proposed to improve software reliability. It has also been argued that capability mechanisms are the natural support for these techniques because they enhance modular decomposition and information hiding. However, there is a conflict between these observations; modular decomposition limits the possible recovery actions to the information that a module can access directly. Each module must rely upon the reliability of those that it uses. This paper presents a mechanism which allows recovery to be managed at any level in this system while satisfying the information hiding principle. It is based on a save-restore mechanism. In addition, primitives to define consistent states in the system are provided by the Kernel. (Author)
Operating systems : theory and practice ; proceedings of the 2nd international symposium on operating systems by International Symposium on Operating Systems ( Book )
1 edition published in 1979 in English and held by 1 WorldCat member library worldwide
Définition d'une architecture de machine à domaines by Claude Kaiser ( Book )
1 edition published in 1976 in French and held by 0 WorldCat member libraries worldwide
Operating systems proceedings of the ... International Symposium on Operating Systems Theory and Practice ( Book )
1 edition published in 1974 in English and held by 0 WorldCat member libraries worldwide
Le Système Plessey :250 :+deux cent cinquante+ by Jean Ferrié ( Book )
1 edition published in 1976 in French and held by 0 WorldCat member libraries worldwide
Operating systems proceedings of the ... International Symposium on Operating Systems Theory and Practice ( Book )
1 edition published in 1979 in English and held by 0 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.78 (from 0.00 for Operating ... to 0.92 for Supporting ...)
Languages
English (17)
French (3)