WorldCat Identities

Valot, Céline

Overview
Works: 11 works in 12 publications in 2 languages and 117 library holdings
Roles: Translator, Author
Classifications: QA76.9.D35, 001.642
Publication Timeline
.
Most widely held works by Céline Valot
Fundamentals of data structures by Ellis Horowitz( Book )
1 edition published in 1993 in French and held by 67 WorldCat member libraries worldwide
The classic data structure textbook provides a comprehensive and technically rigorous introduction to data structures such as arrays, stacks, queues, linked lists, trees and graphs, and techniques such as sorting hashing that form the basis of all software. In addition, it presents advanced of specialized data structures such as priority queues, efficient binary search trees, multiway search trees and digital search structures. The book now discusses topics such as weight biased leftist trees, pairing heaps, symmetric min-max heaps, interval heaps, top-down splay trees, B+ trees and suffix trees. Red-black trees have been made more accessible. The section on multiway tries has been significantly expanded and several trie variations and their application to Interner packet forwarding have been disused
Les API de Java by James Gosling( Book )
1 edition published in 1996 in French and held by 31 WorldCat member libraries worldwide
Un moniteur d'objets pour un système réparti à objets by Céline Valot( Book )
1 edition published in 1989 in French and held by 5 WorldCat member libraries worldwide
Abstract: "SOS is a general-purpose, object-oriented distributed operating system allowing the execution of distributed applications of different kinds. The SOS operating system is object-oriented and based on the Proxy Principle. Entities are encapsulated and accessible by well-defined interfaces. The object monitor presented here is in charge of observing the objects life and evolution within address spaces. The goal was to easie [sic] debugging of SOS programs. The construction of this tool has highlighted some problems of the SOS operating system. This work is financed in part by the CEC contract Esprit 367 'SOMIW'."
CODAGE DES ORDRES PARTIELS : APPLICATION AUX EXECUTIONS REPARTIES by Céline Valot( Book )
1 edition published in 1994 in French and held by 3 WorldCat member libraries worldwide
LES EXECUTIONS D'APPLICATIONS REPARTIES EXHIBENT UNE STRUCTURE D'ORDRE PARTIEL ET LES RECHERCHES ACTUELLES SE PORTENT D'UNE PART, SUR LA REPRESENTATION EFFICACE DE CET ORDRE PARTIEL, D'AUTRE PART SUR LA VERIFICATION DE PROPRIETES DU SYSTEME OBSERVE. AINSI IL EST SOUHAITE DE DISPOSER D'UN CODAGE NECESSITANT UNE MEMOIRE MINIMALE, UN TEMPS MINIMAL DE PRE-TRAITEMENT DES DONNEES ET UNE REPONSE RAPIDE ET EXACTE A LA QUESTION L'EVENEMENT X PRECEDE-T-IL L'EVENEMENT Y ? UN CODAGE QUI SE CONFORMERAIT A CES CRITERES SERAIT EXACT ET OPTIMAL. L'EXACTITUDE D'UN CODAGE SUPPOSE QU'IL PUISSE CARACTERISER LES RELATIONS DE CAUSALITE MAIS AUSSI LA CONCURRENCE ENTRE EVENEMENTS ; EN THEORIE, CETTE EXACTITUDE EST CONDITIONNEE PAR LA CONNAISSANCE DE LA DIMENSION ET LARGEUR DE L'ORDRE PARTIEL. MAIS EN PRATIQUE, LES CONTRAINTES INCONTOURNABLES DE CALCUL A LA VOLEE RENDENT PEU AISEE L'OBTENTION DE CES VALEURS. L'EXPLORATION DES DIFFERENTES METHODES LAISSE APPARAITRE QU'IL EST DIFFICILE DE CONCEVOIR UN CODAGE A USAGE GENERAL ; AU CONTRAIRE, IL APPARAIT QUE L'IDENTIFICATION DE CLASSES D'ORDRE EXHIBANT DES PROPRIETES QUI PERMETTENT UNE REPRESENTATION EFFICACE EST UNE DIRECTION D'INVESTIGATION PROMETTEUSE. A PARTIR D'UNE REPRESENTATION DES CHAINES DE L'ORDRE PARTIEL, LE PROBLEME DE L'OPTIMALITE DU CODAGE A ETE ABORDE PAR LE BIAIS DE DECOMPOSITIONS DE L'ENSEMBLE PARTIELLEMENT ORDONNE. CES DECOMPOSITIONS VISENT A MINIMISER LE NOMBRE DE PAIRES D'ELEMENTS, ORDONNES AU SEIN DES DECOMPOSITIONS, MAIS INCOMPARABLES AU SEIN DE L'ORDRE PARTIEL. CE TYPE DE DECOMPOSITIONS FOURNIT DES APPROXIMATIONS D'UN CODAGE OPTIMAL, EN SE RAPPROCHANT DE LA LARGEUR, DANS LE CAS GENERAL ; L'OPTIMALITE EST ATTEINTE DANS DES CAS SPECIFIQUES. INDEPENDAMMENT DE LA REPRESENTATION CHOISIE, LA VERIFICATION DE PROPRIETES RESTE UNE TACHE COUTEUSE ; UNE PROPRIETE DOIT ETRE EN EFFET VERIFIEE SUR L'ENSEMBLE DES OBSERVATIONS POSSIBLES. PAR LE BIAIS DES DECOMPOSITIONS, LES PROPRIETES SONT VERIFIEES SUR UN SOUS-ENSEMBLE SIGNIFICATIF DES OBSERVATIONS, CONSTITUE PAR L'ENSEMBLE DES EXTENSIONS LINEAIRES OPTIMALES. DANS CETTE OPTIQUE, LE COUT DE LA VERIFICATION DE PROPRIETES EST MOINDRE
Les API de Java by James Gosling( Book )
1 edition published in 1997 in French and held by 2 WorldCat member libraries worldwide
Le noyau ( Book )
1 edition published in 1996 in French and held by 2 WorldCat member libraries worldwide
An alternate representation of distributed computations = Une autre représentation des exécutions réparties by Céline Valot( Book )
1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide
Accuracy of distributed timestamps = Précision des estampilles réparties by Céline Valot( Book )
2 editions published in 1992 in English and held by 2 WorldCat member libraries worldwide
An alternate representation of distributed computations by Institut national de recherche en informatique et en automatique (France)( Book )
1 edition published in 1993 in English and held by 1 WorldCat member library worldwide
Codage de ordres partiels : application aux executions reparties by Celine Valot( Book )
1 edition published in 1994 in French and held by 1 WorldCat member library worldwide
Pratique de NFS et NIS by Hal Stern( Book )
1 edition published in 1995 in French and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.00 for CODAGE DES ... to 0.92 for Accuracy o ...)
Languages
French (8)
English (4)