Vidal-Naquet, Guy, 19..-....
Vidal-Naquet, G.
Vidal-Naquet, Guy
VIAF ID: 48223988 (Personal)
Permalink: http://viaf.org/viaf/48223988
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, 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. |
![]() |
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 AND IMPLEMENTATION OF PROGRAMMING TOOLS FOR TRANSPUTER NETWORKS. |
![]() |
CONCEPTION ET REALISATION D'OUTILS D'AIDE A LA PROGRAMMATION SUR RESEAUX DE TRANSPUTERS |
![]() |
Contribution to parallel and distributed algorithms : application to the combinatorial optimization. |
![]() |
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. |
![]() |
DYNAMIC PROCESS MANAGEMENT ON A DISTRIBUTED MEMORY MULTIPROCESSOR. |
![]() |
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 |
![]() |
A learning system in a domain with strong theory : OGUST. |
![]() |
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. |
![]() |
A MODEL OF SAFE & RELIABLE CONTROL SYSTEMS CONTRIBUTION TO A THEORY OF NOISY COMPUTATION. |
![]() |
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. |
![]() |
NETS AND LOGIC. |
![]() |
Non-hierarchical heterogeneous modeling |
![]() |
Object execution model for reactive modules with a C++ implementation |
![]() |
option informatique en classes prépas |
![]() ![]() |
Un outil pour la généralisation utilisant systématiquement les théorèmes : le système OGUST |
![]() |
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. |
![]() |
Relative rearrangement : properties and applications in partial differential equations. |
![]() |
Requirements Engineering Process according to Automotive Standards in a Model-driven Framework |
![]() |
Réseaux de Petri et systèmes parallèles |
![]() ![]() |
RESEAUX ET LOGIQUE |
![]() |
SEMANTIC AND VALIDATION OF ACTOR LANGUAGES USING COLORED PETRI NETS. |
![]() |
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 |
![]() |
UTILIZATION OF THE ACTOR PARADIGM FOR PARALLEL COMPUTATION. |
![]() |