Luc Bougé
Luc Bougé
ENS Rennes, IRISA, INRIA
Adresse e-mail validée de ens-rennes.fr - Page d'accueil
Titre
Citée par
Citée par
Année
BlobSeer: Next-generation data management for large scale infrastructures
B Nicolae, G Antoniu, L Bougé, D Moise, A Carpen-Amarie
Journal of Parallel and distributed computing 71 (2), 169-184, 2011
1752011
Test sets generation from algebraic specifications using logic programming
L Bougé, N Choquet, L Fribourg, MC Gaudel
Journal of Systems and Software 6 (4), 343-360, 1986
1421986
Who should test whom?
S McDonald, HM Edwards
Communications of the ACM 50 (1), 66-71, 2007
136*2007
A compositional approach to superimposition
L Bougé, N Francez
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988
1341988
JuxMem: An adaptive supportive platform for data sharing on the grid
G Antoniu, L Bougé, M Jan
1252005
BlobSeer: Bringing high throughput under heavy concurrency to Hadoop Map-Reduce applications
B Nicolae, D Moise, G Antoniu, L Bougé, M Dorier
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
932010
On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
L Bougé
Acta Informatica 25 (2), 179-201, 1988
801988
Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
L Bougé
Theoretical Computer Science 49 (2-3), 145-169, 1987
771987
A performance evaluation of azure and nimbus clouds for scientific applications
R Tudoran, A Costan, G Antoniu, L Bougé
Proceedings of the 2nd International Workshop on Cloud Computing Platforms, 1-6, 2012
752012
An efficient and transparent thread migration scheme in the PM2 runtime system
G Antoniu, L Bouge, R Namyst
International Parallel Processing Symposium, 496-510, 1999
741999
The Hyperion system: Compiling multithreaded Java bytecode for distributed execution
G Antoniu, L Bougé, P Hatcher, M MacBeth, K McGuigan, R Namyst
Parallel Computing 27 (10), 1279-1297, 2001
682001
Madeleine II: A portable and efficient communication library for high-performance cluster computing
O Aumage, L Bougé, JF Méhaut, R Namyst
Parallel Computing 28 (4), 607-626, 2002
652002
DSM-PM2: A portable implementation platform for multithreaded DSM consistency protocols
G Antoniu, L Bougé
International Workshop on High-Level Parallel Programming Models and …, 2001
492001
The data parallel programming model: A semantic perspective
L Bouge
The Data Parallel Programming Model, 4-26, 1996
461996
BlobSeer: How to enable efficient versioning for large object storage under heavy access concurrency
B Nicolae, G Antoniu, L Bougé
Proceedings of the 2009 EDBT/ICDT Workshops, 18-25, 2009
452009
A performance evaluation of Apache Kafka in support of big data streaming applications
P Le Noac'H, A Costan, L Bougé
2017 IEEE International Conference on Big Data (Big Data), 4803-4806, 2017
432017
Two normal form theorems for CSP programs
KR Apt, L Bougé, P Clermont
Information Processing Letters 26 (4), 165-171, 1987
401987
Jetstream: Enabling high performance event streaming across cloud data-centers
R Tudoran, O Nano, I Santos, A Costan, H Soncu, L Bougé, G Antoniu
Proceedings of the 8th ACM International Conference on Distributed Event …, 2014
362014
Application of PROLOG to test sets generation from algebraic specifications
L Bougé, N Choquet, L Fribourg, MC Gaudel
International Joint Conference on Theory and Practice of Software …, 1985
361985
Large-scale deployment in P2P experiments using the JXTA distributed framework
G Antoniu, L Bougé, M Jan, S Monnet
European Conference on Parallel Processing, 1038-1047, 2004
352004
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20