WorldCat Identities

Verjus, J.-P

Overview
Works: 80 works in 174 publications in 2 languages and 1,333 library holdings
Genres: Conference papers and proceedings  Case studies  Academic theses 
Roles: Editor, Opponent, Author, Thesis advisor, Collector, Publishing director, Other, htt
Classifications: QA76.6, 001.64
Publication Timeline
.
Most widely held works by J.-P Verjus
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 by Alain Bensoussan( Book )

21 editions published between 1992 and 1993 in English and Undetermined and held by 459 WorldCat member libraries worldwide

"This volume contains the proceedings of the International Conference on Research in Computer Science and Control, held on the occasion of the 25th anniversary of INRIA in December 1992. The objective of this conference was to bring together a large number of the world's leading specialists in information technology who are particularly active in the fields covered by INRIA research programmes, to present the state of the art and a prospective view of future research. The contributions in the volume are organized into the following areas: Parallel processing, databases, networks, and distributed systems; Symbolic computation, programming, and software engineering; Artificial intelligence, cognitive systems, and man-machine interaction; Robotics, image processing, and computer vision; Signal processing, control and manufacturing automation; Scientific computing, numerical software, and computer aided engineering."--PUBLISHER'S WEBSITE
Synchronization of parallel programs by Françoise André( Book )

21 editions published between 1985 and 1986 in English and Undetermined and held by 356 WorldCat member libraries worldwide

Hypercube and distributed computers : proceedings of the First European Workshop on Hypercube and Distributed Computers, held in Rennes, France, 4-6 October, 1989 by European Workshop on Hypercube and Distributed Computers( Book )

10 editions published in 1989 in English and Undetermined and held by 164 WorldCat member libraries worldwide

Synchronisation de programmes parallèles : expression et mise en oeuvre dans les systèmes centralisés ou distribués by Françoise André( Book )

12 editions published between 1983 and 1984 in French and held by 80 WorldCat member libraries worldwide

Stratégie et pilotage des systèmes d'information by Renaud Cornu-Emieux( Book )

1 edition published in 2009 in French and held by 64 WorldCat member libraries worldwide

Etude et réalisation d'un système algol conversationnel by J.-P Verjus( Book )

5 editions published in 1968 in French and held by 14 WorldCat member libraries worldwide

Nature et composition des objets manipulés dans un système de programmation by J.-P Verjus( Book )

5 editions published in 1973 in French and held by 14 WorldCat member libraries worldwide

CETTE THESE PRESENTE DES TRAVAUX CONCERNANT LA DEFINITION ET LA MISE EN OEUVRE DES LANGAGES D'UTILISATION D'UN SYSTEME DE PROGRAMMATION, PHASE ESSENTIELLE DANS LA CONCEPTION D'UN SYSTEME. LA THESE DECRIT LA NATURE DES DIFFERENTS OBJETS: OBJETS PHYSIQUES (EMPLACEMENTS, CONTENU) MAIS EGALEMENT OBJETS INFORMATIQUES (LANGAGE DE PROGRAMMATION, LANGAGE DE COMMANDE, ETC*)
Stratégie et pilotage des systèmes d'information( )

in French and held by 13 WorldCat member libraries worldwide

Réseaux multicouches de neurones artificiels : algorithmes d'apprentissage, implantations sur hypercube : applications by Shengrui Wang( )

2 editions published in 1989 in French and held by 6 WorldCat member libraries worldwide

En adoptant une methode générale de distribution du réseau de cellules, sont proposes des algorithmes de communication sur un anneau et sur un hypercube qui résolvent les problèmes de multi-accumulation et de diffusion all-to-all. Il est montre, de plus, que ces algorithmes sont asymptotiquement optimaux. La simulation de l'identification des visages en contexte présentée constitue une tentative d'utilisation du modèle connexioniste comme nouveau paradigme pour modéliser des phénomènes cognitifs. Par ailleurs, l'application des réseaux multicouches a la reconnaissance de mots met en valeur l'intérêt de l'architecture a connexions partielles et superposées pour traiter des informations temporelles
Calcul formel et parallélisme : résolution de systèmes linéaires by Gilles Villard( Book )

2 editions published in 1988 in French and held by 6 WorldCat member libraries worldwide

On considère la résolution exacte des systèmes linéaires en parallèle et on traite deux aspects de base du problème : le calcul du noyau d'une matrice dont les coefficients sont dans un corps fini et la résolution des systèmes à coefficients entiers. On évalue les couts des différents algorithmes proposes, en mettant l'accent sur couts des communications
Test et diagnostic de circuits intégrés programmables : [thèse soutenue sur un ensemble de travaux] by Raoul Velazco( Book )

2 editions published in 1990 in English and held by 4 WorldCat member libraries worldwide

Les circuits intégrés programmables, tels que microprocesseurs, microcontrôleurs et coprocesseurs, sont parmi les composants les plus complexes et se trouvent au coeur de la plupart d'applications de l'électronique digitale. Quelle que soit la nature de l'application (commerciale, industrielle, scientifique, militaire) à laquelle est destiné un composant, des contraintes de sûreté de fonctionnement et/ou économiques en exigent une très grande qualité. Des tests minutieux doivent donc être réalisés, pour garantir l'absence d'anomalies qui pourraient être introduites aux différentes étapes de la vie d'un tel composant (conception, production, utilisation). Parmi ces tests, les tests dits logiques (vérification de la fonction logique réalisée par le circuit) posent des problèmes critiques. L'objet du travail présenté ici a été d'apporter une solution globale au problème de test logique de circuits intégrés programmables sous la forme d'une méthode et d'un ensemble d'outils spécifiques : le générateur de programmes de test GAPT, les testeurs fonctionnels FUTE 8, TEMAC et FUTE 16. L'expérimentation sur divers circuits que ce soit en collaboration avec des concepteurs (validation de conception), des fabricants (aide à la localisation de défauts) ou des utilisateurs (test, diagnostic, qualification de circuits pour des environnements sévères) a permis de valider l'approche et les outils
Structures multi-microprocesseurs : problèmes de parallélisme, définition et évaluation d'un système particulier by Guy Mazaré( )

1 edition published in 1978 in French and held by 4 WorldCat member libraries worldwide

Distributed synchronization of parallel programs : why and how ? by P Quinton( Book )

5 editions published in 1986 in English and held by 4 WorldCat member libraries worldwide

Accélération de la simulation logique : architecture et algorithmes de LL3T by Yang Wu( Book )

2 editions published in 1990 in French and held by 4 WorldCat member libraries worldwide

Cette thèse présente la conception d'un accélérateur matériel dédié à la simulation de circuits intégrés. Sur cet accélérateur sont développés un ensemble de logiciels constituant un environnement intégré de simulation. Nous y discutons tout d'abord des concepts de base de la modélisation des circuits intégrés, de la simulation logico-fonctionnelle, de la simulation de pannes, des langages de description du matériel, ainsi que des techniques d'accélération de la simulation de circuits intégrés. Nous présentons ensuite la structure générale de l'accélérateur. Il est basé sur une architecture parallèle : un réseau en anneau sur lequel sont disposées des unités de simulation, où chaque unité de simulation est composée de trois microprocesseurs exécutant trois tâches respectivement. l'ensemble des logiciels implémentés sur cet accélérateur est présenté. Le simulateur réalise ainsi la simulation multi-niveaux (porte logique, fonctionnel et interrupteur) et la simulation de pannes. Des outils de compilation permettent l'utilisation des langages de description du matériel pour modéliser les circuits intégrés de manière structurelle et fonctionnelle. Enfin, différentes stratégies de parallélisation de la simulation ainsi que plusieurs algorithmes de simulation adaptés aux différents niveaux d'abstraction sont étudiés
Objets et fonctions primitifs d'un système d'exploitation by J.-P Verjus( Book )

2 editions published in 1975 in French and held by 4 WorldCat member libraries worldwide

Conception et réalisation d'une machine-langage de haut niveau adaptée à l'écriture de systèmes by Y Bekkers( Book )

1 edition published in 1975 in French and held by 4 WorldCat member libraries worldwide

Présentation des travaux de recherche effectués dans le cadre du projet SAR dont le but initial était de concevoir et de réaliser un système orienté vers un langage de haut niveau : Algol. En outre le système doit fournir les moyens d'écrire des systèmes particuliers en Algol 68
Une introduction à quelques techniques du contrôle distribué à travers un exemple by Noël Plouzeau( Book )

4 editions published in 1986 in French and held by 4 WorldCat member libraries worldwide

Algorithmique parallèle pour les machines à mémoire distribuée : application aux algorithmes matriciels by Bernard Tourancheau( )

2 editions published in 1989 in French and held by 4 WorldCat member libraries worldwide

Différents résultats de complexité sont présentés pour les communications et le calcul sur des machines à mémoire distribuée. Les topologies concernées sont le réseau linéaire, l'anneau, la grille, l'hypercube et le réseau complet. Un réseau systolique est présenté pour l'algorithme de diagonalisation de Jordan. Une étude sur l'accélération et une étude de l'allocation des données sont formulées dans le contexte des mémoires distribuées
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 by René Thoraval( Book )

2 editions published in 1988 in French and held by 4 WorldCat member libraries worldwide

CONTRIBUTION A LA SYNTHESE SUR LE PROBLEME DE L'EXCLUSION MUTUELLE EQUITABLE EN PROPOSANT UNE MEILLEURE COMPREHENSION DES RELATIOSN EXISTANT ENTRE LES ALGORITHMES PUBLIES, UNE COMPREHENSION EN TERMES DE PRINCIPES ET DE MECANISMES CONSTITUTIFS. ENFIN, UNE DEMARCHE EST PROPOSEE QUI POURRAIT ETRE ADOPTEE FACE A D'AUTRES PROBLEMES DE L'ALGORITHMIQUE DISTRIBUEE
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.59 for Future Ten ... to 0.94 for Stratégie ...)

Synchronization of parallel programs
Covers
Alternative Names
Verjus, J.-P.

Verjus, Jean-Pierre

Languages
English (57)

French (42)