Vidal-Naquet, Guy, 1946-....
Vidal-Naquet, G.
Vidal-Naquet, Guy
Guy Vidal-Naquet informaticien français
VIAF ID: 48223988 ( Personal )
Permalink: http://viaf.org/viaf/48223988
Preferred Forms
- 100 0 _ ‡a Guy Vidal-Naquet ‡c informaticien français
- 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 1946-....
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
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 | |
La direction du budget face aux grandes mutations des années cinquante, acteur… ou témoin ? : journée d’études tenue à Bercy le 10 janvier 1997 | |
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 | |
Grands réseaux d'interconnexion | |
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 par objets | |
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 | |
Large interconnection networks. | |
A learning system in a domain with strong theory : Ogust. | |
Longs cycles dans les graphes : applications aux réseaux de Pétri | |
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 | |
MODELISATION ET VALIDATION D'APPLICATIONS TEMPS REEL DISTRIBUEES | |
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. | |
Le problème de l'accessibilité dans les réseaux de Pétri | |
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 | |
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. |