researcher / Luc Bougé

Luc Bougé

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Energy-efficient Straggler Mitigation for Big Data Applications on the Clouds
Scalable data-management systems for Big Data
Optimizing data management for MapReduce applications on large-scale distributed infrastructures
BlobSeer as a data-storage facility for clouds : self-Adaptation, integration, evaluation
BlobSeer : towards efficient data storage management for large-scale, distributed systems
CoRDAGe : un service générique de co-déploiement et redéploiement d’applications sur grilles
JuxMem : un service de partage transparent de données pour grilles de calcul fondé sur une approche pair-à-pair
Gestion des données dans les grilles de calcul : support pour la tolérance aux fautes et la cohérence des données
Conception d'un systeme de stockage distribue et tolerant aux pannes, pour un serveur de video a la demande
Compilation des langages a parallelisme de donnees : gestion de l'equilibrage de charge par un executif a base de processus legers
Validation formelle des langages a parallelisme de donnees
Un calcul de modules pour les systemes de types purs
Un calcul de constructions infinies et son application a la verification de systemes communicants
Sémantique des langages à parallélisme de données : applications à la validation et à la compilation
Synthese de preuves de programmes dans le calcul des constructions inductives
Contribution à l'étude sémantique des langages à parallélisme de données : application à la compilation
Vers une methodologie de la simulation repartie d'architectures paralleles