Raynal, Michel, 1949-...., informaticien
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Raynal, Michel.
Raynal, M. (Michel)
Raynal, M.
Raynal, Michel, 1949-
Michel Raynal informaticien français, a été professeur à l’Université de Rennes et responsable de recherches à l’IRISA (INRIA-CNRS)
Raynal, Michel 19..-.... informaticien
Michel Raynal chercheur en informatique français
VIAF ID: 92406650 (Personal)
Permalink: http://viaf.org/viaf/92406650
Preferred Forms
-
100 0 _
‡a
Michel Raynal
‡c
chercheur en informatique français
-
100 0 _
‡a
Michel Raynal
‡c
informaticien français, a été professeur à l’Université de Rennes et responsable de recherches à l’IRISA (INRIA-CNRS)
-
200 _ |
‡a
Raynal
‡b
Michel
‡f
19..-....
‡c
informaticien
-
200 _ 1 ‡a Raynal ‡b Michel ‡f 1949–
-
100 1 _ ‡a Raynal, M.
-
100 1 0
‡a
Raynal, M.
‡q
(Michel)
-
100 1 _ ‡a Raynal, M. ‡q (Michel)
-
100 1 _ ‡a Raynal, M. ‡q (Michel)
-
100 1 _
‡a
Raynal, M.
‡q
(Michel)
-
100 1 _ ‡a Raynal, Michel
-
100 1 0
‡a
Raynal, Michel
-
100 1 _ ‡a Raynal, Michel
-
100 1 _ ‡a Raynal, Michel
-
100 1 _
‡a
Raynal, Michel
‡d
1949-
-
100 1 _ ‡a Raynal, Michel, ‡d 1949-
-
100 1 _
‡a
Raynal, Michel,
‡d
1949-....,
‡c
informaticien
-
100 1 _ ‡a Raynal, Michel.
4xx's: Alternate Name Forms (10)
5xx's: Related Names (1)
Works
| Title | Sources |
|---|---|
| Aide à la conception des applications multimédias |
|
| Un algorithme distribué d'affectation d'identités distinctes aux sites d'un système réparti anonyme |
|
| Algorithmes distribués et protocoles |
|
| Algorithmique du parallélisme. |
|
| Algorithmique du parallélisme. |
|
| Algorithmique du parallélisme : le problème de l'exclusion mutuelle |
|
| Algorithms for mutual exclusion, c1985: |
|
| Calculabilité et conditions de progression des objets partagés en présence de défaillances |
|
| Calculability and progress conditions of shared objects when facing crashes. |
|
| Cohérence de calculs répartis face aux défaillances, à l'anonymat et au facteur d'échelle |
|
| Conception et réalisation d'un système pour environnement virtuel massivement partagé |
|
| Conception et réalisation d'une machine-langage de haut niveau adaptée à l'écriture de systèmes, par Yves Bekkers, Daniel Herman et Michel Raynal |
|
| Concurrent programming : algorithms, principles, and foundations |
|
| Consistency of distributed computations despite of crashes, anonymity and scalability issues. |
|
| Contribution à la résilience des passerelles domestiques |
|
| Contribution à l'algoritmique parallèle et distribuée : application à l'optimisation combinatoire |
|
| Contribution to residential gateway resilience. |
|
| CONTROLE DES TRANSFERTS D'INFORMATIONS DANS LES SYSTEMES DISTRIBUES : Application à la détection de l'Interblocage et à l'élection dans un réseau quelconque de processus |
|
| Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones |
|
| Distributed algorithmics and complexity applied to some complexity fondamental problems. |
|
| Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings |
|
| Distributed algorithms for message-passing systems |
|
| Distributed shared memory for large-scale dynamic systems. |
|
| A distributed solution to the k-out of- m resources allocation problem |
|
| Etudes P.V.T. des fluides de gisements d'hydrocarbures : annexes I, II et III |
|
| Eventual leader election with weak assumptions on initial knowledge, communication reliability, and synchrony |
|
| Eventual leader service in unreliable asynchronous systems why ? how ? |
|
| Exploring Gafni's reduction land from Omega(k) to wait-free adaptive 2p-(p/k) renaming via k-set agreement |
|
| Failure detectors as schedulers : an algorithmically-reasoned characterization |
|
| Fault-tolerant agreement in synchronous message-passing systems |
|
| Gestion des données réparties problèmes et protocoles... |
|
| Implémentation d'abstractions de calculs répartis en présence de Churn. |
|
| Implementing distributed computing abstractions in the presence of churn |
|
| In search of the holy grail : looking for the weakest failure detector for wait-free set agreement |
|
| INFRASTRUCTURE LOGICIELLE POUR LA GESTION DE LA COHERENCE ET DE LA QUALITE DE SERVICE D'UN ENVIRONNEMENT A OBJETS REPARTI |
|
| A Leader election protocol for eventually synchronous shared memory systems |
|
| Mémoire partagée distribuée pour systèmes dynamiques à grande échelle |
|
| Narrowing power vs efficiency in synchronous set agreement |
|
| Networked Systems : Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers |
|
| Networks and distributed computation : concepts, tools, and algorithms |
|
| The notion of timed registers and its application to indulgent synchronization |
|
| OPODIS'09 |
|
| Patron de conception pour l'analyse et la construction de systèmes à comportements autoadaptatifs |
|
| Les problèmes d'accord : une approche comportementale |
|
| Réponses efficaces au besoin d'accord dans un groupe |
|
| Simple and efficient Oracle-based consensus protocols for asynchronous Byzantine systems |
|
| SIMULATION DISTRIBUEE : DE L'APPLICATION VERS UN SUPPORT SYSTEME |
|
| Small-world networks : Is there a mismatch between theory and practice ? |
|
| Spécification opérationnelle en ADA d'un noyau pour le langage ADA |
|
| Une structure arborescente pour une classe d'algorithmes distribués d'exclusion mutuelle |
|
| Synchronisation distribuée sans attente : application à la résolution des problèmes d'accord par contrainte des données |
|
| Synchronisation et communication dans un ensemble de processus cooperants |
|
| SYNCHRONISATION REPARTIE SUR UNE MACHINE PARALLELE A COUCHE LOGIQUE RECONFIGURABLE |
|
| Synchronization and control of distributed systems and programs |
|
| Synchronous set agreement a concise guided tour (with open problems) |
|
| Syncronous |
|
| Systèmes répartis et réseaux. |
|
| Systemes répartis et réseaux : concepts outils et algorithmes |
|
| LES SYSTEMES TRANSACTIONNELS REPARTIS POUR DONNEES DUPLIQUEES FONDES SUR LA COMMUNICATION DE GROUPES |
|
| Techniques pour la mise au point de programmes répartis |
|
| Tentacules : de la science à la fiction |
|
| Test&set, adaptive renaming and set agreement : a guided visit to asynchronous computability |
|
| ThePrice of anonymity : optimal consensus despite asynchrony, crash and anonymity |
|
| Towards a universal construction for transaction-based multiprocess programs |
|
| Towards the construction of distributed detection programs, with an application to distributed termination |
|
| Uniform agreement despite process omission failures |
|
| Using Conditions to Expedite Consensus in Synchronous Distributed Systems |
|
| A versatile and modular consensus protocol |
|
| Une visite guidée de l'accord ensembliste synchrone, français |
|
| Visiting Gafni’s Reduction Land : from the BG Simulation to the Extended BG Simulation |
|
| Visual prototyping of parallel systems written in ada. |
|
