WorldCat Identities

Vidal-Naquet, G.

Overview
Works: 49 works in 88 publications in 4 languages and 867 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA75.5, 004
Publication Timeline
Key
Publications about  G Vidal-Naquet Publications about G Vidal-Naquet
Publications by  G Vidal-Naquet Publications by G Vidal-Naquet
Most widely held works by G Vidal-Naquet
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 by B Monien ( Book )
15 editions published between 1985 and 1986 in 4 languages and held by 318 WorldCat member libraries worldwide
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings by F. J Brandenburg ( Book )
12 editions published in 1987 in English and German and held by 264 WorldCat member libraries worldwide
Réseaux de Petri et systèmes parallèles by G Vidal-Naquet ( Book )
2 editions published in 1992 in Undetermined and French and held by 74 WorldCat member libraries worldwide
Introduction à l'informatique théorique ( Book )
1 edition published in 1994 in French and held by 62 WorldCat member libraries worldwide
STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 by F. J Brandenburg ( )
7 editions published between 1987 and 2007 in English and held by 35 WorldCat member libraries worldwide
L'Option informatique en classes prépas by Claude Bocage ( Book )
1 edition published in 1997 in French and held by 35 WorldCat member libraries worldwide
STACS 87 : 4th Annual Symposium of Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 1987 : proceedings by Symposium on Theoretical Aspects of Computer Science ( Book )
1 edition published in 1987 in English and held by 8 WorldCat member libraries worldwide
Pratique orthopédique chirurgie de l'appareil moteur by Raphaël Massart ( Book )
2 editions published in 1938 in French and held by 7 WorldCat member libraries worldwide
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 by Symposium on Theoretical Aspects of Computer Science ( Book )
2 editions published in 1987 in English and held by 5 WorldCat member libraries worldwide
LANGAGES DU DEUXIEME ORDRE ET AUTOMATES D'ARBRES INFINIS : APPLICATIONS A LA SEMANTIQUE DES PROGRAMMES ET A LA COMPLEXITE DES ALGORITHMES by G Vidal-Naquet ( Book )
2 editions published in 1973 in French and held by 5 WorldCat member libraries worldwide
CONSEQUENCE DES LIENS QUI EXISTENT ENTRE LES AUTOMATES FINIS ET LA LOGIQUE DU SECOND ORDRE MONADIQUE SUR LA SEMANTIQUE DES PROGRAMMES ET LA COMPLEXITE DES ALGORITHMES
RATIONALITE ET DETERMINISME DANS LES RESEAUX DE PETRI by G Vidal-Naquet ( Book )
2 editions published in 1981 in French and held by 4 WorldCat member libraries worldwide
RAPPEL DES DEFINITIONS USUELLES POUR LES RESEAUX DE PETRI. EXAMEN DE PLUSIEURS PROBLEMES LIES AU CARACTERE FINI DES RESSOURCES NECESSAIRES POUR LE FONCTIONNEMENT D'UN RESEAU DE PETRI. PROPRIETES GENERALES DES LANGAGES RATIONNELS DE LA CLASSE S::(F) (LANGAGE DES SEQUENCES FINALES DE FRANCHISSEMENT POUR UN RESEAU MARQUE). DECIDABILITE DE LA RATIONNALITE DANS PLUSIEURS CLASSES DE LANGAGES; DANS L::(F)**(C), CECI PERMET DE RETROUVER ET D'OPTIMISER PLUSIEURS RESULTATS D'INDECIDABILITE. ETUDE D'UNE PROPRIETE DE LA MANIERE D'ETIQUETER LES RESEAUX: LE DETERMINISME, ET ETUDE DES PROPRIETES DES NOUVELLES CLASSES DE LANGAGES QUE LES MARQUAGES DETERMINISTES DETERMINENT
Object execution model for reactive modules with a C++ implementation by Frédéric Boulanger ( Book )
1 edition published in 1995 in English and held by 3 WorldCat member libraries worldwide
Formalisation of the behavior of actors by colored Petri nets and some applications by Y Sami ( Book )
2 editions published in 1990 in English and held by 3 WorldCat member libraries worldwide
Contribution à l'algorithmique parallèle et distribuée : application à l'optimisation combinatoire by Ivan Lavallée ( Book )
1 edition published in 1986 in French and held by 3 WorldCat member libraries worldwide
ETUDE DE LA TERMINAISON DISTRIBUEE. RECHERCHE DES PLUS COURTS CHEMINS DANS UN GRAPHE VALUE, RECHERCHE D'UN ARBRE COUVRANT, ENUMERATION IMPLICITE PARALLELE SONT 3 PROBLEMES COMBINATOIRES POUR LESQUELS EST DONNEE LA PARTICULARISATION A UN ENVIRONNEMENT PARALLELE TYPE PRAM
A syntax for the description of Petri nets by G Berthelot ( Book )
2 editions published in 1987 in English and held by 2 WorldCat member libraries worldwide
Modélisation hétérogène non-hiérarchique by Mokhoo Mbobi ( Book )
1 edition published in 2004 in French and held by 2 WorldCat member libraries worldwide
Les systèmes embarqués sont naturellement hétérogènes et les outils actuels employés pour leur modélisation utilisent une approche hiérarchique, qui, bien qu'évitant l'explosion combinatoire du nombre d'interfaces entre différents modèles de calcul (MoCs), impose systématiquement un changement de niveau hiérarchique lorsque l'on passe d'un MoC à un autre. Or ce couplage entre la hiérarchie et les changements de MoC perturbe la structure du modèle, nuit à la réutilisabilité des composants, altère la modularité et réduit la maintenabilité des modèles. Cette thèse propose une approche non-hiérarchique qui découple les changements des MoCs de la hiérarchie. Elle repose sur l'utilisation de " Composant à Interface Hétérogène " (Heterogeneous Interface Component - HIC) qui dispose d'entrées et de sorties de natures différentes pour permettre la communication hétérogène dans le système et d'un Modèle d'Exécution Hétérogène Non-Hiérarchique dont la tâche est de restructurer le système en le partitionnant, i.e., en créant des sous-systèmes homogènes à la frontière des comportements hétérogènes, puis, d'ordonnancer leurs activations en déléguant leur ordonnancement interne à leurs MoCs réguliers et d'exécuter le système. Cette approche présente plusieurs avantages : - l'utilisation de plusieurs composants hétérogènes au même niveau hiérarchique, - la séparation entre le flot de contrôle et le flot de données qui augmente la réutilisabilité des composants. - la spécification par le concepteur du comportement de son système à la limite des différents MoCs comme partie intégrante du système contribue efficacement à la modularité et à la maintenabilité des modèles
STRUCTURATION DES SYSTEMES DE TRANSITIONS-APPLICATIONS AU CONTROLE DU PARALLELISME PAR FILES FIFO by A Finkel ( Book )
1 edition published in 1986 in French and held by 2 WorldCat member libraries worldwide
GENERALISATION DES RESEAUX DE PETRI AUX SYSTEMES DE TRANSITION STRUCTURES. DEFINITION DE L'ARBORESCENCE REDUITE DE TELS SYSTEMES. GENERALISATION DE LA DEFINITION DU GRAPHE DE COUVERTURE. INTRODUCTION DE LA NOTION D'ISOMORPHISME. APPLICATION AUX RESEAUX MONOGENES ET AUX RESEAUX A CHOIX LIBRE
Algorithmique et complexité distribuées : application à quelques problèmes fondamentaux de complexité by Christian Lavault ( Book )
1 edition published in 1987 in French and held by 2 WorldCat member libraries worldwide
PRESENTATION D'UN CADRE GENERAL POUR L'ETUDE ET L'ANALYSE DES ALGORITHMES REPARTIS ET RESOLUTION DE PLUSIEURS PROBLEMES DE FOND RELATIFS A LA COMPLEXITE DANS LES SYSTEMES REPARTIS. DEVELOPPEMENT DE DIVERS OUTILS D'ANALYSE EN MOYENNE DE LA COMPLEXITE EN MESSAGES DE PROTOCOLES GENERAUX A CONSENSUS. RESOLUTION PAR L'ANALYSE MATHEMATIQUE D'UN PROBLEME OUVERT SUR LES PERFORMANCES COMPAREES DES ANNEAUX UNI ET BIDIRECTIONNELS POUR LA COMPLEXITE EN MOYENNE EN MESSAGES D'ALGORITHMES D'ELECTION DETERMINISTES. UN ALGORITHME PROBABILISTE DE CONSTRUCTION D'UN ARBRE COUVRANT SUR UN SYSTEME DISTRIBUE ANONYME ET QUELCONQUE EST DEVELOPPE. DEUX THEOREMES SONT PROPOSES QUI BORNENT LA FAILLE DES MESSAGES EN FONCTION DE LA COMPLEXITE EN MESSAGES DES ALGORITHMES DISTRIBUES ASYNCHRONES DU POINT DE VUE DE LA QUANTITE D'INFORMATION
LE PROBLEME DE L'ACCESSIBILITE DANS LES RESEAUX DE PETRI by JEAN-LUC LAMBERT ( Book )
1 edition published in 1987 in French and held by 2 WorldCat member libraries worldwide
ON DONNE UNE NOUVELLE PREUVE DE LA DECIDABILITE DE L'ACCESSIBILITE DANS LES RESEAUX DE PETRI. ON ETUDIE LES CONSEQUENCES DE CE RESULTAT EN THEORIE DES LANGAGES DE RESEAU DE PETRI
Intégration de modules synchrones dans la programmation orientée objet by Frédéric Boulanger ( Book )
2 editions published in 1993 in French and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.00 for Contributi ... to 1.00 for STRUCTURAT ...)
Alternative Names
Naquet, G. Vidal-.
Naquet Guy Vidal-
Vidal-Naquet, Guy
Languages
English (37)
French (17)
German (3)
Italian (1)
Covers