WorldCat Identities

Krakowiak, Sacha

Overview
Works: 87 works in 169 publications in 4 languages and 1,327 library holdings
Genres: Academic theses 
Roles: Author, Thesis advisor, Editor, Opponent, Contributor, Other, htt, 958
Publication Timeline
.
Most widely held works by Sacha Krakowiak
Principles of operating systems by Sacha Krakowiak( Book )

29 editions published between 1985 and 1989 in 3 languages and held by 623 WorldCat member libraries worldwide

This book aims to (1) describe the main principles underlying computer operating systems: management of parallelism and synchronization; naming, storage, and protection of information; and resource allocation, and (2) illustrate the application of these principles to the actual design of systems, taking account of recent developments in computer technology and its field of application. This book is aimed at computer scientists, and the material is at the master's degree program level
Advances in distributed systems : advanced distributed computing, from algorithms to systems by Sacha Krakowiak( )

23 editions published between 1999 and 2006 in English and Undetermined and held by 498 WorldCat member libraries worldwide

Annotation This book documents the main results developed in the course of the European project "Basic Research on Advanced Distributed Computing: From Algorithms to Systems (BROADCAST)." Eight major European research groups in distributed computing cooperated on this projects, from 1992 to 1999. The 21 thoroughly cross-reviewed final full papers present the state-of-the-art results on distributed systems in a coherent way. The book is divided in parts on distributed algorithms, systems architecture, applications support, & case studies
Construction des systèmes d'exploitation répartis by R Balter( Book )

3 editions published in 1991 in French and held by 31 WorldCat member libraries worldwide

Conception et réalisation de systèmes à accès multiple : allocation des ressources by Sacha Krakowiak( Book )

6 editions published in 1973 in French and Undetermined and held by 15 WorldCat member libraries worldwide

ETUDE DE QUELQUES ASPECTS THEORIQUES ET EXPERIMENTAUX DE LA CONCEPTION ET DE LA REALISATION DES SYSTEMES INFORMATIQUES A ACCES MULTIPLE: CONCEPTS FONDAMENTAUX DES SYSTEMES A PARTAGE DE RESSOURCES, MODELES DE COMPORTEMENT DES PROGRAMMES ET DES USAGERS, ALGORITHMES DYNAMIQUES D'ALLOCATION, OBJECTIFS ET DESCRIPTION GENERALE DU SYSTEME ESOPE, GESTION DES PROCESSUS ET ACCES A L'INFORMATION, CONCEPTION ET REALISATION DE L'ALLOCATEUR, ORGANISATION DU SYSTEME EN PROCESSUS PARALLELES, MODELE ET RESULTATS DE SIMULATION DU SYSTEME ESOPE
Fundamentos de los sistemas operativos de los ordenadores by Sacha Krakowiak( Book )

4 editions published in 1987 in Spanish and held by 9 WorldCat member libraries worldwide

Systèmes d'exploitation des ordinateurs by Sacha Krakowiak( Book )

5 editions published between 1978 and 1984 in French and held by 6 WorldCat member libraries worldwide

Expression et réalisation du contrôle d'éxécution dans un système réparti by Marc Rozier( )

2 editions published in 1986 in French and held by 5 WorldCat member libraries worldwide

Cette thèse propose une méthode de construction d'applications réparties dans le système réparti CHORUS. Une telle application est vue, d'une part, comme un ensemble de services élémentaires, rendus par des processus séquentils locaux, les «acteurs», et d'autre part comme un ensemble d'«activités», processus migrant dans le système réparti pour invoquer les services élémentaires
Utilisation des modes directionnels dans la résolution by Olivier Oudot( )

2 editions published in 1987 in French and held by 4 WorldCat member libraries worldwide

Cette étude met en évidence l'utilité des modes directionnels pour l'optimisation de la résolution dans le langage Prolog. Ils se caractérisent essentiellement par le fait qu'ils permettent de distinguer les différentes utilisations possibles d'un même prédicat. Un algorithme de production automatique de ces modes est décrit. L'étude est concrétisée par la réalisation du compilateur Starlog, fonctionnant sur un cas particulier de modes directionnels
Modèle et langage à objets pour la programmation d'applications réparties by Marie Laurence Meysembourg-Männlein( Book )

2 editions published in 1989 in French and held by 4 WorldCat member libraries worldwide

Cette thèse a été effectuée dans le cadre du projet Guide mené conjointement par le laboratoire de génie informatique et le centre de recherche Bull de Grenoble depuis mi 86. Guide est le support d'un ensemble de recherches sur la programmation des applications reparties. Ces recherches sont entreprises sur la base du développement d'un système expérimental : le système Guide. Ce dernier est un système d'exploitation reparti à objets qui fournit un haut niveau d'intégration (invisibilité de la répartition notamment). Un premier prototype du système fonctionne depuis fin 88 et permet la programmation et la mise œuvre d'applications par l'intermédiaire d'un langage de programmation spécifique. La thèse contient une présentation et une évaluation du modèle de programmation par objets mis œuvre par ce langage: la présentation met en évidence les principaux choix de conception et les justifie; l'évaluation est basée sur une étude comparative des modèles d'objets de Guide, de Trellis/Owl, d'Emerald et d'Eiffel, et sur des expériences de programmation réalisées sur le prototype. Elle met en évidence les aspects caractéristiques du modèle d'objets de guide, ses apports et ses limites
Structures multi-microprocesseurs : problèmes de parallélisme, définition et évaluation d'un système particulier by Guy Mazaré( )

1 edition published in 1978 in French and held by 4 WorldCat member libraries worldwide

Une approche de l'édition structurée des documents by V Quint( )

2 editions published in 1987 in French and held by 4 WorldCat member libraries worldwide

L'édition d'un document peut être vue comme la manipulation d'une structure abstraite qui représente l'organisation logique des composants du document. A partir de ce principe, on propose un méta-modèle qui permet la description des structures logiques de toutes sortes de documents et de différents types d'objets fréquents dans les documents : formules mathématiques, tableaux, schémas, etc... on associe aux structures logiques des règles de présentation qui déterminent l'aspect graphique de leurs composants. On montre l'intérêt de cette approche en présentant deux systèmes interactifs construits sur ce modèle : l'éditeur de formules mathématiques Edimath et l'éditeur de documents Grif. La présentation de ces systèmes s'appuie sur un état de l'art de la typographie informatique
Propositions pour un langage d'écriture de programmes répartis : expression du contrôle et de la communication entre processus distribués by Jean-Michel Guillot( )

1 edition published in 1979 in French and held by 3 WorldCat member libraries worldwide

Onze approches pour structurer, écrire, controler des applications reparties à activites parallèles. Présentation des d-modules. Description d'un langage. Exemple: écriture d'un petit systeme
ALDEBARAN : un système de vérification par réduction de processus communicants by Jean-Claude Fernandez( )

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

Le système de vérification propose permet de réduire et de comparer des systèmes de transitions étiquetées en tenant compte d'une relation d'équivalence. Les relations d'équivalence considérées sont la congruence forte, l'équivalence et la congruence observationnelles et la congruence par modèle d'acceptation. Les bases théoriques d'Aldebaran sont présentées ainsi que des algorithmes efficaces pour la comparaison et les réductions de systèmes de transition étiquetées et une réalisation en langage C
FENIX : un système multifenêtres intégré à Unix by Ivan Boule( )

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

Développement d'un système multi-fenetres permettant l'exécution parallèle de plusieurs applications interactives disposant chacune d'un nombre quelconque de fenêtres sur l'écran de façon totalement transparente aux applications. L'architecture du système repose sur une séparation stricte entre, d'une part le partie opératoire regroupant les fonctions de base et, d'autre part, la partie contrôle qui gère les commandes mises à la disposition de l'utilisateur
Conception modulaire des systèmes d'exploitation by Jean Montuelle( )

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

Design implementation of a time-sharing system : a critical appraisal by C Kaiser( Book )

4 editions published in 1974 in English and held by 3 WorldCat member libraries worldwide

Gestion des informations persistantes dans un système réparti à objets by Rodrigo Scioville Garcia( )

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

Guide est un système d'exploitation expérimental reparti sur un réseau local. Les informations qu'il manipule sont structurées selon un modelé à objets. La description de l'un des composants de la machine virtuelle réalisant la gestion d'objets, a savoir la mémoire d'objets, est proposée. Sont présentés les choix de conception, sa réalisation et une analyse de l'expérience acquise. La mémoire d'objets est repartie et comporte deux niveaux: la mémoire virtuelle d'objets, qui constitue le support d'exécution des objets et la mémoire permanente d'objets, qui se charge de leur conservation
Nomade un noyau d'environnement pour la programmation globale by N Belkhatir( Book )

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

Dans le développement et la maintenance de logiciels de grande taille, la programmation globale est l'activité la moins formalisée, la moins assistée alors que c'est l'activité prépondérante, celle qui consomme le plus de temps. Nous décrivons les principaux concepts et mécanismes de Nomade, un noyau d'environnement pour supporter le développement et la maintenance de gros logiciels. Nomade constitue une extension et une généralisation de son prédécesseur Adèle. Il fournit un modèle pour la construction, l'intégration et le contrôle des logiciels en versions multiples et de leurs équipes. Nous présentons essentiellement la base d'objets et les mécanismes de contrôle de la structure du logiciel avec la notion de partition et d'activation d'outils basée sur le concept d'événement action. La base d'objets est conçue autour d'un modèle adapté aux besoins de la programmation globale qui inclut des notions "orientées objet". La base conserve la structure du logiciel : les objets logiciels, leurs versions, leurs documents, leurs attributs, leurs relations et leurs objets dérivés. Le mécanisme d'événements actions s'inspire des mécanismes d'activations (déclencheurs, démons, exceptions) développés dans d'autres domaines. Nous montrons comment Nomade permet de maintenir les contraintes de cohérence complexes rencontrées dans la programmation globale, de définir et d'intégrer les stratégies et les outils spécifiques à un environnement de développement et de maintenance
Méthodes et outils du génie logiciel : notes de cours : DEA d'informatique, DESS de génie informatique, ENSIMAG 3e année by Sacha Krakowiak( Book )

1 edition published in 1985 in French and held by 3 WorldCat member libraries worldwide

Logiciel de base by Sacha Krakowiak( Book )

in French and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.56 for Propositio ... to 0.94 for Conception ...)

Advances in distributed systems : advanced distributed computing, from algorithms to systems
Covers
Alternative Names
Krakovâk, S.

Krakowiak, S.

Krakowiak, S. 1937-

Krakowiak, S. (Sacha)

Languages
French (46)

English (41)

Spanish (4)

Russian (2)