researcher / Michel Raynal

Michel Raynal

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Data structures for current multi-core and future many-core architectures
Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing
On improving the ease of use of the software transactional memory abstraction
Calculabilité et conditions de progression des objets partagés en présence de défaillances
Cohérence de calculs répartis face aux défaillances, à l'anonymat et au facteur d'échelle
Contribution à la résilience des passerelles domestiques
Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones
Mémoire partagée distribuée pour systèmes dynamiques à grande échelle
Accords tolérant les fautes dans les systèmes répartis synchrones et asynchrones
Conception et réalisation d'un système pour environnement virtuel massivement partagé
Synchronisation distribuée sans attente : application à la résolution des problèmes d'accord par contrainte des données
Les problèmes d'accord : une approche comportementale
Application des problèmes d'accord à la tolérance aux défaillances dans les systèmes distribués asynchrones
Réponses efficaces au besoin d'accord dans un groupe
Aide à la conception des applications multimédias
Patron de conception pour l'analyse et la construction de systèmes à comportements autoadaptatifs
Les systèmes transactionnels répartis pour données dupliquées fondés sur la communication de groupes
Infrastructure logicielle pour la gestion de la coherence et de la qualite de service d'un environnement a objets reparti
Simulation distribuee : de l'application vers un support systeme
Criteres de coherence pour donnees partagees a support reparti
Detection de proprietes instables dans les executions reparties, application a la mise au point des programmes repartis
L'équilibrage de charge sur une machine parallele a couche logique reconfigurable
Conception et realisation d'un noyau de systeme reparti pour la simulation parallele
Un modele de programmation des controleurs globaux
Contribution a la modelisation du spmd : distribution asynchrone d'automates
ArMor : une méthode de spécification opérationnelle
Rééxécution et analyse de la dynamique des programmes répartis
Analyse de la relation de causalite dans les executions reparties
Contribution a la validation des protocoles : test d'infinitude et verification a la volee
Synchronisme des systemes distribues
Prototypage visuel de systemes paralleles ecrits en ada
Apprentissage symbolique de concepts disjonctifs : un modele logique et un algorithme de graphes
Outils pour l'experimentation d'algorithmes distribues sur machines paralleles
La generation d'observateurs pour la validation des proprietes des systemes distribues
Elements pour une conception methodique des algorithmes repartis
Une approche pour la simulation des systemes distribues : les composants logiciels en ada
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
Spécification opérationnelle en ADA d'un noyau pour le langage ADA