Verjus, Jean-Pierre, 1943-...., informaticien
Verjus, Jean-Pierre 1943-....
Verjus, J.-P.
Verjus, Jean-Pierre
Jean-Pierre Verjus universitaire
VIAF ID: 51812248 ( Personal )
Permalink: http://viaf.org/viaf/51812248
Preferred Forms
- 100 0 _ ‡a Jean-Pierre Verjus ‡c universitaire
- 200 _ | ‡a Verjus ‡b Jean-Pierre ‡f 1943-....
-
- 100 1 0 ‡a Verjus, J.-P.
-
- 100 1 _ ‡a Verjus, J.-P.
-
-
-
-
- 100 1 _ ‡a Verjus, Jean-Pierre ‡d 1943-...
- 100 1 _ ‡a Verjus, Jean-Pierre, ‡d 1943-...., ‡c informaticien
4xx's: Alternate Name Forms (7)
5xx's: Related Names (21)
- 500 1 _ ‡a André, Françoise
- 500 1 _ ‡a Bellino, Jacques
- 500 1 _ ‡a Bensoussan, Alain
- 500 1 _ ‡a Briat, J
- 500 1 _ ‡a Bétourné, Claude
- 500 1 _ ‡a Canet, B
- 500 1 _ ‡a Cleemann, J.-C
- 500 0 _ ‡a Cornafion
- 500 1 _ ‡a Cosnard, Michel ‡d 1952-....)
- 500 0 _ ‡a Crocus
- 500 1 _ ‡a Derniame, Jean Claude, ‡c Informaticien
- 500 1 _ ‡a Derniame, Jean Claude ‡c Informaticien
- 500 1 _ ‡a Ferrié, Jean
- 500 1 _ ‡a Herman, Daniel
- 500 1 _ ‡a Jorrand, Philippe
- 500 1 _ ‡a Kaiser, Claude
- 500 1 _ ‡a Krakowiak, Sacha
- 500 1 _ ‡a Mazaré, Guy
- 500 1 _ ‡a Mossière, Jacques
- 500 1 _ ‡a Robert, Yves ‡d 1958-....; professeur d'informatique)
- 500 1 _ ‡a Roucairol, Gérard
Works
Title | Sources |
---|---|
Accélération de la simulation logique : architecture et algorithmes de LL3T | |
Application des principes de la tolérance aux fautes : à la construction d'un système de fichiers réparties | |
Calcul formel et parallélisme : résolution de systèmes linéaires | |
Les circuits intégrés de communication de données : architecture et méthodologie de conception | |
Conception et réalisation d'une machine-langage de haut niveau adaptée à l'écriture de systèmes | |
Conception modulaire des systèmes d'exploitation | |
Contribution à la réalisation d'un logiciel de modélisation de phénomènes électromagnétiques en trois dimensions par la méthode des éléments finis : flux 3D | |
Contribution to the development of a 3d cad software in electromagnetics using the finite element method: flux 3d. | |
Contrôle du parallélisme et de la répartition | |
Dérivation d'algorithmes distribués d'arbitrage | |
Distributed computing systems, 1983: | |
Dynamic programming and image processing on distributed memory computers. | |
Étude et réalisation d'un système algol conversationnel : 1e thèse ; Propositions données par la Faculté : 2e thèse | |
Eur. Wkshp. on Hyprecube and Dist. Comp. (1st : 1989 : Rennes, Fr.). Hypercube and distributed computers, 1989: | |
Functions and genericity in a parallel programming language | |
Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings | |
Une introduction à quelques techniques du contrôle distribué à travers un exemple | |
Introduction dynamique de processeurs dans un environnement conversationnel | |
Knowledge representation and reasoning about physical systems. | |
Méthodologie d'écriture de compilateurs : une expérience du langage ALGOL 68 | |
Motion planning for a non-holomic mobile in a dynamic workspace. | |
Multilayered mural networks: learning algorithms, implementation on a hypercube machine, applications. | |
Nature et composition des objets manipulés dans un système de programmation | |
Notions sur l'implémentation | |
Objets et fonctions primitifs d'un systeme - d'exploitation | |
Un outil de recherche en systèmes informatiques : principes et bilan du projet OURS | |
Parallel algebraic computation. Solution of linear systems. | |
Parallel algorithms on distributed memory machines : applications to matrix algorithms. | |
Planification de mouvement pour mobile non-holonome en espace de travail dynamique | |
LES PRINCIPES ET MECANISMES FONDAMENTAUX DE L'EXCLUSION MUTUELLE EQUITABLE DANS LES SYSTEMES DISTRIBUES : CONSTRUCTION DES ALGORITHMES CLASSIQUES ET DE QUELQUES-UNES DE LEURS VARIANTES | |
The PRINCIPLES OF THE SOLUTIONS TO THE FAIR MUTUAL EXCLUSION PROBLEM IN DISTRIBUTED SYSTEMS - DERIVATION OF THE WELL KNOWN ALGORITHM AND OF SOME OF THEIR VARIANTS. | |
Processus cyclique et appel procédural | |
Programmation dynamique et traitement d'images sur machines parallèles à mémoire distribuée : [thèse soutenue sur un ensemble de travaux] | |
La programmation parallèle : outils, méthodes et éléments de mise en oeuvre | |
Properties verification of synchronous data-flow programs. | |
Qualitative and quantitative aspects of multistage interconnection networks. | |
Quelques propriétés des langages d'utilisation des systèmes : ecole d'été AFCET, Grenade, Juillet, 1973 | |
Réalisation et certains problèmes de modélisation d'un système réparti de gestion de base de données | |
Reconnaissance automatique des structures des textes en vue de l'édition | |
Répartition d'applications et de bases de données sur un réseau général d'ordinateurs | |
La représentation des connaissances et le raisonnement sur les systèmes physiques | |
Réseaux multicouches de neurones artificiels : algorithmes d'apprentissage, implantations sur hypercube : applications | |
Silicon compilation and the syco silicon compiler. | |
Stratégie et pilotage des systèmes d'information | |
Structures multi-microprocesseurs : problèmes de parallélisme, définition et évaluation d'un système particulier | |
Sur l'exclusion mutuelle dans les réseaux informatiques | |
Synchronisation de programmes parallèles | |
Système et langage portable pour le traitement des application réparties | |
Le système SAR (Système Algol de Rennes) | |
Test et diagnostic de circuits intégrés programmables | |
Types et objets dans un système multi-langage |