WorldCat Identities

Lanciaux, D.

Overview
Works: 8 works in 35 publications in 2 languages and 213 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor
Classifications: QA76.5, 001.64044
Publication Timeline
.
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 )

16 editions published in 1979 in English and held by 183 WorldCat member libraries worldwide

Mecanismes de structuration des systemes a capacites by D Lanciaux( Book )

2 editions published in 1978 in French and held by 9 WorldCat member libraries worldwide

Supporting small objects in a capability system by D Lanciaux( Book )

4 editions published in 1978 in English and Undetermined and held by 7 WorldCat member libraries worldwide

Error recovery in capability systems by D Lanciaux( Book )

4 editions published between 1978 and 1979 in English and held by 6 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)
Le Système Plessey 250 by Jean Ferrié( Book )

4 editions published in 1976 in French and held by 3 WorldCat member libraries worldwide

Définition d'une architecture de machine à domaines by Claude Kaiser( Book )

3 editions published in 1976 in French and held by 2 WorldCat member libraries worldwide

Éléments pour un système de protection extensible by J Ferrie( Book )

1 edition published in 1974 in French and held by 1 WorldCat member library worldwide

Operating systems; proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 by Erol Gelenbe( Book )

1 edition published in 1974 in English and held by 0 WorldCat member libraries worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.67 for Operating ... to 0.95 for Le Systèm ...)

Languages
English (24)

French (10)