Vidal-Naquet, Guy, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Vidal-Naquet, G.
Vidal-Naquet, Guy
VIAF ID: 48223988 (Personal)
Permalink: http://viaf.org/viaf/48223988
ISNI: 0000 0001 1636 7577
Preferred Forms
-
100 1 _
‡a
VIDAL NAQUET, G.
-
200 _ |
‡a
Vidal-Naquet
‡b
Guy
-
100 1 _
‡a
Vidal-Naquet, G.
-
100 1 _ ‡a Vidal-Naquet, G.
-
100 1 _
‡a
Vidal-Naquet, G.
-
100 1 _ ‡a Vidal-Naquet, G.
-
100 1 _ ‡a Vidal-Naquet, G.
-
100 1 _
‡a
Vidal-Naquet, Guy,
‡d
19..-....
4xx's: Alternate Name Forms (5)
Works
| Title | Sources |
|---|---|
| Algebraic model based on the Petri nets for parallel systems study. |
|
| Algorithmes numériques à complexité réduite pour annulation d'écho adaptative |
|
| Algorithmic analysis of Petri nets : verification of home spaces, using of rewriting systems. |
|
| Analyse algorithmique des réseaux de Petri vérification d'espace d'accueil, systèmes de réécriture |
|
| ANALYSE COMPORTEMENTALE DE SYSTEMES COMPLEXES CRITIQUES PAR PRODUIT SYNCHRONISE D'ABSTRACTIONS EN RESEAUX DE PETRI ORDINAIRES D'AGENTS TEMPS-REEL |
|
| Analysis and properties of processes communicating by fifos topologically free choice fifo nets and linear fifo nets. |
|
| Compilation optimisée des modèles UML |
|
| Composition automatique des services Web sémantiques avec prise en compte des contraintes utilisateur |
|
| Composition of models for the multi-paradigm modeling of the behavior of systems. |
|
| CONCEPTION ET REALISATION D'OUTILS D'AIDE A LA PROGRAMMATION SUR RESEAUX DE TRANSPUTERS |
|
| Contribution à l'étude des graphes cubiques et des graphes gracieux |
|
| Contribution to parallel and distributed algorithms : application to the combinatorial optimization. |
|
| A contribution to the study of cubic graphs and graceful graphs. |
|
| Contrôle de sérialisabilité dans des systèmes de transactions parallèles |
|
| Déploiement multiplateforme d'applications multitâche par la modélisation |
|
| Distributed algorithmics and complexity applied to some complexity fondamental problems. |
|
| Les ensembles partiellement ordonnés et la sémantique des systèmes parallèles |
|
| Etude de l'analyse automatique des règles de conception des systèmes multitâches temps réel |
|
| Formalism for the high-level design of hard real-time embedded systems. |
|
| Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques |
|
| Généralisation en apprentissage à partir d'exemples |
|
| Generalization in machine leaving from examples. |
|
| GESTION DYNAMIQUE DES PROCESSUS SUR UN RESEAU DE PROCESSEURS |
|
| GRAFFITI : an interactive graphic tool for she design of flexible man-machine interfaces. |
|
| GRAFFITI un outil interactif et graphique pour la construction d'interfaces homme-machine adaptables |
|
| INDE : an inconsistency and incompleteness detection system of knowledge based systems. |
|
| INDE : un système de détection d'inconsistances et d'incomplétudes dans les bases de connaissances |
|
| Intégration de modules synchrones dans la programmation orientée objet |
|
| Intégration de systèmes hétérogènes en termes de niveaux de sécurité |
|
| Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel |
|
| Integration of semantics elements in the schedulability analysis of real-time applications. |
|
| Introduction of parallelism in object oriented languages. |
|
| Le Langage Pascal |
|
| Long cycles in graphs : applications to Petri nets. |
|
| Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles. |
|
| Methodology for a Model-based Timing Analysis Process for Automotive Systems |
|
| Methods study of domain-polymorph components design. |
|
| Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles |
|
| Un MODELE DES SYSTEMES DE CONTROLE DE SECURITE CONTRIBUTION A UNE THEORIE DU CALCUL BRUITE |
|
| Modélisation des réseaux d'interconnexion multi-étages |
|
| MODELISATION ET VALIDATION D'APPLICATIONS TEMPS REEL DISTRIBUEES |
|
| Multistage interconnection networks modeling. |
|
| Non-hierarchical heterogeneous modeling |
|
| Object execution model for reactive modules with a C++ implementation |
|
| option informatique en classes prépas |
|
| Partially ordered reti and the semantics of concurrent systems. |
|
| Processus d’ingénierie des exigences dans un environnment à base de modèles selon les normes automobiles. |
|
| Les protocoles de communication dans un système d'exploitation réparti |
|
| PSILISP, un modèle d'interprétation parallèle de programmes LISP |
|
| RATIONALITE ET DETERMINISME DANS LES RESEAUX DE PETRI |
|
| The reachability problem for Petri nets. |
|
| Réarrangement relatif propriétés et applications aux équations aux dérivés partielles ; Les réseaux de Pétri |
|
| Requirements Engineering Process according to Automotive Standards in a Model-driven Framework |
|
| Réseaux de Petri et systèmes parallèles / Guy Vidal-Naquet, Annie Choquet-Geniet, 1992 |
|
| RESEAUX ET LOGIQUE |
|
| SEMANTIQUE ET VALIDATION DES LANGAGES D'ACTEURS A L'AIDE DES RESEAUX DE PETRI COLORES |
|
| STACS 86 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986 |
|
| STACS 87 : proceedings |
|
| Structuration of transition systems : applications to the control of parallelism by fifo channels. |
|
| Study, design and realization of a fault-tolerant and predictable synchronous communication protocol on off-the-shelf components. |
|
| Study of the automatic analysis of multitask real-time systems design rules. |
|
| Sym. on Theor. Asp. of Comp. Sci. (4th : 1987 : Passau, Germany). STACS 87, c1987: |
|
| Transmission protocols in a distributed operating system. |
|
| UTILISATION DU PARADIGME ACTEUR POUR LE CALCUL PARALLELE |
|
