Luc Bougé
Luc Bougé
ENS Rennes, IRISA, INRIA
Verified email at ens-rennes.fr - Homepage
Title
Cited by
Cited by
Year
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
1702011
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
1381986
A compositional approach to superimposition
L Bougé, N Francez
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988
1361988
Who should test whom?
S McDonald, HM Edwards
Communications of the ACM 50 (1), 66-71, 2007
129*2007
JuxMem: An adaptive supportive platform for data sharing on the grid
G Antoniu, L Bougé, M Jan
1212005
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
912010
On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
L Bougé
Acta Informatica 25 (2), 179-201, 1988
791988
Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP
L Bougé
Theoretical Computer Science 49 (2-3), 145-169, 1987
761987
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
731999
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
672012
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
672002
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
672001
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
482001
The data parallel programming model: A semantic perspective
L Bouge
The Data Parallel Programming Model, 4-26, 1996
451996
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
442009
Two normal form theorems for CSP programs
KR Apt, L Bougé, P Clermont
Inf. Process. Lett. 26 (4), 165-171, 1987
401987
JuxMem: Weaving together the P2P and DSM paradigms to enable a Grid Data-sharing Service
G Antoniu, L Bougé, M Jan
352004
Enabling Java for high-performance computing
T Kielmann, P Hatcher, L Bougé, HE Bal
Communications of the ACM 44 (10), 110-117, 2001
352001
MADELEINE: an efficient and portable communication interface for rpc-based multithreaded environments
L Bougé, JF Méhaut, R Namyst
Proceedings. 1998 International Conference on Parallel Architectures and …, 1998
351998
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
342014
The system can't perform the operation now. Try again later.
Articles 1–20