Beauquier, Joffroy, 19..-....
Beauquier, Joffroy
VIAF ID: 46797096 ( Personal )
Permalink: http://viaf.org/viaf/46797096
Preferred Forms
- 200 _ | ‡a Beauquier ‡b Joffroy
- 100 1 _ ‡a Beauquier, Joffroy
-
- 100 1 _ ‡a Beauquier, Joffroy, ‡d 19..-....
Works
Title | Sources |
---|---|
Algorithmes probabilistes pour systèmes à grande échelle. | |
Analyse sémantique des communications entre processus de programmes parallèles | |
Analysis and optimisation of algorithms for color object tracking. | |
Apprentissage Automatique pour la Gestion des Ressources Réseau. | |
Apprentissage symbolique automatique en reconnaissance d'images | |
AUTO-STABILISATION : MODELE ET APPLICATIONS A L'EXCLUSION MUTUELLE | |
Automaf : un système de construction d'automates synchronisés et de calcul de mesure du parallélisme | |
Byzantine generals step in again | |
Calculs de densité bernouillienne de langage formels | |
Caractérisation des générateurs standards du cône rationnel des langages algébriques : application aux langages quasi-rationnels | |
Clustering in mobile ad-hoc networks : design and evaluation of robust self-stabilizing protocols. | |
Combinatorial characterization of asynchronous distributed computability | |
Comprendre et utiliser Word 4, version sur Macintosh | |
Conception et analyse de protocoles, pour les réseaux de capteurs sans fil, prenant en compte la consommation d'énergie. | |
Contribution à l'étude de la complexité structurelle des langages algébriques | |
Contribution to the study of a parallel dynamic execution environment based on message passing. | |
Contributions à l'étude des structures aléatoires et des méthodes probabilistes | |
Contributions to the study of randomness and probabilistic methods. | |
Correction de défaillances transitoires dans les sytèmes auto-stabilisants | |
Defense games and tropical sets. | |
Distribution of sequential processes | |
Efficient end-to-end monitoring for fault management in distributed systems | |
Efficient interconnection and routing for decentralized searching in peer-to-peer systems. | |
Etude et optimisation d'algorithmes pour le suivi d'objets couleur | |
Fault tolerant MPI for global computing systems. | |
Fiabilité et traitement de la volatilité dans les systèmes de calcul global | |
Generating functions and random words. | |
Group mutual exclusion and self-stabilization. | |
Improving message logging protocols towards extreme-scale HPC systems | |
Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes pair-à-pair | |
Jeux de défense et ensembles tropicaux | |
Journées groupes et langages : Amiens, 25-26 mai 1981 | |
Langages matriciels et principalité | |
Lightweight Security Solutions for LTE/LTE-A Networks | |
L'informatique au lycée | |
Machine Learning for Network Resource Management | |
Mariage stable asynchrone et auto-stabilisant. | |
Mending of transient failures in self-stabilizing systems. | |
Modélisation de séquences génomiques structurées, génération aléatoire et applications | |
MODELISATION, VERIFICATION ET RAFFINEMENT DES ALGORITHMES AUTO-STABILISANTS | |
Mutual exclusion of locally byzantine processes | |
The naming problem with faulty processes | |
On a concurrency measure | |
ON FAILURE RESILIENCE OF DISTRIBUTED PROTOCOLS : SELF-STABILIZATION AND FAULT-TOLERANCE. | |
On the Equivalence of synchronization sets | |
Overcoming interference in the beeping communication model | |
Power-Aware Protocols for Wireless Sensor Networks | |
Présentation et étude de quelques problèmes d'algorithmique distribuée | |
Preuves par raffinement de programmes avec pointeurs | |
Le problème de l'accessibilité dans les réseaux de Pétri | |
Problèmes divers en théorie des graphes : cycles, diamètre, numérotations | |
Procédures de décision génériques pour des théories axiomatiques du premier ordre | |
Proofs by refinement of programs with pointers. | |
Protocoles de population : une hiérarchie et des variantes calcul de couplages autostabilisants | |
RATIONAL INDEXES OF CONTEXT-FREE LANGUAGES. | |
The reachability problem for Petri nets. | |
Les réseaux d'interconnexion et les algorithmes distribués | |
RESISTANCE AUX FAUTES DANS LES ALGORITHMES REPARTIS : AUTO-STABILISATION ET TOLERANCE AUX FAUTES | |
Self-stabilizing topology algorithms in large scale systems. | |
Solutions de Sécurité Légers pour les Réseaux LTE/LTE-A. | |
Spécification algébrique de types de données à accès concurrent | |
Surmonter les interférences dans le modèle de communication par bips. | |
La surveillance efficace de bout-à-bout pour la gestion des pannes dans les systèmes distribués. | |
Symbolic machine learning in picture recognition. | |
Syntactical properties of unbounded nets of processors | |
Systèmes d'exploitation : concepts et algorithmes | |
Systemes distribues et automates finis | |
TRACE THEORY APPLICATION TO IMPLEMENT AND MEASURE DISTRIBUTION ALGORITHMS. | |
Various problems in graph theory : cycles, diameter, labellings. |