Girault, Claude.
Girault, Claude, 19..-...., informaticien
Girault, Claude, 1940-
Claude Girault chercheur en informatique français
VIAF ID: 73924128 ( Personal )
Permalink: http://viaf.org/viaf/73924128
Preferred Forms
- 100 0 _ ‡a Claude Girault ‡c chercheur en informatique français
- 200 _ | ‡a Girault ‡b Claude ‡f 1940-....
- 100 1 _ ‡a Girault, Claude
- 100 1 0 ‡a Girault, Claude
-
-
-
-
-
- 100 1 _ ‡a Girault, Claude ‡d 1940-...
- 100 1 _ ‡a Girault, Claude, ‡d 19..-...., ‡c informaticien
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Accélération de la génération des tests de protocoles par agrégation de méthodes hétérogènes | |
ALGORITHMES PARALLELES DE RETROPROPAGATION DES ERREURS POUR LES RESEAUX DE NEURONES | |
ANALYTICAL MODELS AND NEURAL NETWORKS FOR DATABASE PERFORMANCE EVALUATION. | |
Application and theory of Petri nets / ed. by Claude Girault and Wolfgang Reisig. - Berlin, 1982. | |
Application and theory of Petri nets : selected papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23-26 September 1980, Bad Honnef, 28-30 September 1981 | |
Applications in parallel and distributed computing : proceedings of the IFIP WG10.3 working conference on applications in parallel and distributed computing, Caracas, Venezuela, 18-22 april, 1994 | |
THE AUTOMATIC GENERATION OF FILTERING ALGORITHMS FROM DECLARATIVE SPECIFICATIONS : THE SYSTEM GAP. | |
Backpropagation parallel algorithms for neural networks. | |
UNE CATEGORIE REGULIERE DE RESEAU DE PETRI DE HAUT NIVEAU : DEFINITION, PROPRIETES ET REDUCTIONS, APPLICATION A LA VALIDATION DE SYSTEMES DISTRIBUES | |
COLORED STOCHASTIC PETRI NETS: APPLICATIOIN TO THE ANALYSIS OF REAL TIME DISTRIBUTED SYSTEMS. | |
CONCEPTION AND SPECIFICATION OF THE USER INTERFACE FOR A SOFTWARE ENGENEERING WORKSTATION. | |
CONCEPTION ET MISE EN ŒUVRE D'UN NOYAU TRANSACTIONNEL DANS UN ENVIRONNEMENT PARALLELE | |
CONCEPTION ET SPECIFICATION DE L'INTERFACE HOMME-MACHINE D'UN POSTE DE TRAVAIL DE GENIE LOGICIEL | |
Contrôle de sérialisabilité dans des systèmes de transactions parallèles | |
Decentralized systems : proceedings of the IFIP WG 10.3 Working Conference on Decentralized Systems, Lyon, France, 11-13 December 1989 | |
DECOMPOSITION OF COLORED PETRI NETS. PARALLEL ARCHITECTURES MODELING. APPLICATION TO THE PROTOTYPING ON TRANSPUTER NETWORKS. | |
DEFINITION OF A COMMUNICATION ENVIRONMENTS CLASSIFICATION FOR THE DISTRIBUTED ALGORITHMS SIMULATION. | |
Design and implementation of a software fault-tolerant platform for distributed applications support. | |
Design and implementation of a transactional kernel in a parallel environment. | |
Detection de proprietes de repos globales dans des systemes repartis avec desequencement de messages. Application au probleme de terminaison | |
DU SEQUENTIEL AU PARALLELE : LA RECHERCHE ARBORESCENTE ET SON APPLICATION A LA PROGRAMMATION QUADRATIQUE EN VARIABLES 0.1 | |
ETUDE DE LA CONCORDANCE DE COMPORTEMENT DE DEUX RESEAUX DE PETRI : APPLICATION A LA VALIDATION DES PROTOCOLES: DETECTION AUTOMATIQUE DES ERREURS DE CONCEPTION | |
Etude et modélisation d'une architecture multi-processeur à hautes performances | |
ETUDE ET PROTOTYPAGE EN ESTEREL DE LA GESTION DE PROCESSUS D'UN MICRO-NOYAU DE SYSTEME D'EXPLOITATION REPARTI AVEC GARANTIE DE SERVICE | |
Etude fonctionnelle d'un processeur de bases de données hiérarchiques | |
Un évaluateur de coûts multi-environnement pour systèmes bases de données parallèles | |
EXTENSION OF FLOW COMPUTATION METHODS FOR HIGH LEVEL PETRI NETS. APPLICATION TO VERIFICATIONS FOR DISTRIBUTED ALGORITHMS. | |
FROM SEQUENTIAL TO PARALLEL: THE TREE SEARCH AND ITS APPLICATION TO THE QUADRATIC PROGRAMMATION. | |
Gestion des tampons dans les systèmes à temps partagé | |
Henri Bosco, François Bonjean: correspondance 1935/1963 : le chant profond d'une amitié | |
Henri Bosco : mystère et spiritualité : [actes du IIIe colloque international Henri Bosco (Nice, 22-24 mai 1986)] | |
Henri Bosco sous le signe du Lubéron | |
Hierarchical analysis methods for Petri nets. | |
HOBBES : A BINDING MODEL FOR DISTRIBUTED REFERENCES. | |
HOBBES : UN MODELE DE LIAISON DE REFERENCES REPARTIES | |
Information system design and specification a comparative review of methods utilization of Ada language. | |
De la Chapelle d'Eygalières aux Lettres à Jean Denoël | |
Lettres à Roger Huguenin | |
Masix : an operating system multi-environments using the micronucleus Mach : Design and realization | |
Masix : Un système d'exploitation multi-environnements utilisant le micro-noyau Mach : Conception et réalisation | |
UNE METHODE A MULTI-FORMALISMES POUR LA SPECIFICATION ET LA VALIDATION DE SYSTEMES DISTRIBUES | |
METHODE ET ALGORITHME DE TOLERANCE AUX PANNES : APPLICATION AUX SYSTEMES EN COUCHES | |
Méthodes d'analyse hiérarchique des réseaux de Pétri | |
Méthodes et outils de partage de charge pour la conception et la mise en oeuvre d'applications parallèles | |
Methods and tools for load sharing of parallel applications in heterogeneous distributed system. | |
MODELES ANALYTIQUES ET RESEAUX DE NEURONES POUR L'EVALUATION DES PERFORMANCES DES SYSTEMES DE BASES DE DONNEES | |
Modeling scheduling problems with time petri nets | |
MONITORING AND DEBUGGING FOR A HARD REAL-TIME DISTRIBUTED SYSTEM. | |
OBJETS DISTRIBUES ADAPTABLES POUR ENVIRONNEMENTS MOBILES | |
OBSERVATION ET MISE AU POINT POUR UN CALCULATEUR DISTRIBUE TEMPS REEL CRITIQUE | |
PARTIAL ORDER REPRESENTATIONS: APPLICATION TO DISTRIBUTED EXECUTIONS. | |
Petri nets for systems engineering a guide to modeling, verification and applications | |
PLACEMENT STATIQUE DE TACHES DANS UN CALCULATEUR TEMPS REEL TOLERANT LES FAUTES | |
Problèmes d'ordonnancement : modélisation, complexité, algorithmes | |
Réalisation et certains problèmes de modélisation d'un système réparti de gestion de base de données | |
Les relations financières entre l'Etat et les collectivités locales : mode d'emploi | |
RESOLUTION PARAMETREE DE SYSTEMES LINEAIRES. APPLICATIONS AU CALCUL D'INVARIANTS DANS LES RESEAUX COLORES ET A LA GENERATION DE CODE PARALLELE | |
RESSOURCES OPTIMIZATION PROBLEM IN SATELLITE TELECOMMUNICATION SYSTEMS USING TDMA (TIME DIVISION MULTIPLE ACCESS). | |
Specification and verification methods for communication protocols. | |
Spécification de la synchronisation par contraintes | |
SPECIFICATION OF AN ENVIRONMENT AND CONCEPTION OF AN ARCHITECTURE FOR A MULTIPOINT AND MULTISTANDARD TRANSACTIONAL SYSTEM. | |
STATIC TASK ALLOCATION IN A FAULT TOLERANT REAL TIME SYSTEM FOR A TURBO ENGINE CONTROL. | |
STUDY AND PROTOTYPING IN ESTEREL OF PROCESS MANAGEMENT IN A DISTRIBUTED OPERATING SYSTEM'S MICROKERNEL WITH SERVICE GUARANTEES. | |
SYMMETRIES IN COLORED PETRI NETS: DEFINITION, ANALYSIS AND APPLICATION TO PERFORMANCE EVALUATION. | |
Synchronisation des réseaux optiques SDH | |
Synchronization of SDH optical networks. | |
UN SYSTEME COOPERATIF POUR LA LOCALISATION DES MIROIRS SUR LE WEB | |
La Vérification des Systèmes Concurrents : une Approche Fondée sur l'Exploitation des Symétries | |
Verification of concurrent systems : a symmetry-based approach for model checking. | |
Vitrail : conception et réalisation d'un noyau de communication homme-machine pour un système bureautique intégré | |
Wea, an persistent object manager for distributed environments. | |
YOODA : un système de gestion de base de données orienté objet adapté à la distribution |