Search the dblp DataBase
Luc Bougé :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Luc Bougé , Philip J. Hatcher , Raymond Namyst , Christian Pérez A Multithreaded Runtime Environment with Thread Migration for a HPF Data-Parallel Compiler. [Citation Graph (0, 0)][DBLP ] IEEE PACT, 1998, pp:418-425 [Conf ] Luc Bougé , Jean-François Méhaut , Raymond Namyst Madeleine: An Efficient and Portable Communication Interface for RPC-Based Multithreaded Environments. [Citation Graph (0, 0)][DBLP ] IEEE PACT, 1998, pp:240-247 [Conf ] Luc Bougé The Data Parallel Programming Model: A Semantic Perspective. [Citation Graph (0, 0)][DBLP ] The Data Parallel Programming Model, 1996, pp:4-26 [Conf ] Luc Bougé , David Cachera , Yann Le Guyadec , Gil Utard , Bernard Virot Formal Validation of Data Parallel Programs: Introducting the Assertional Approach. [Citation Graph (0, 0)][DBLP ] The Data Parallel Programming Model, 1996, pp:252-281 [Conf ] Luc Bougé , Yann Le Guyadec , Gil Utard , Bernard Virot A Proofe System for a Simple Data-Parallel Programming Language. [Citation Graph (0, 0)][DBLP ] Applications in Parallel and Distributed Computing, 1994, pp:63-72 [Conf ] Luc Bougé , David Cachera A logical framework to prove properties of Alpha programs. [Citation Graph (0, 0)][DBLP ] ASAP, 1997, pp:187-198 [Conf ] Gabriel Antoniu , Luc Bougé , Sébastien Lacour Making a DSM Consistency Protocol Hierarchy-Aware: an Efficient Synchronization Scheme. [Citation Graph (0, 0)][DBLP ] CCGRID, 2003, pp:516-0 [Conf ] Luc Bougé , Yann Le Guyadec , Gil Utard , Bernard Virot On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language. [Citation Graph (0, 0)][DBLP ] CONPAR, 1994, pp:100-111 [Conf ] Gabriel Antoniu , Luc Bougé , Philip J. Hatcher , Mark MacBeth , Keith McGuigan , Raymond Namyst Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper). [Citation Graph (0, 0)][DBLP ] Euro-Par, 2000, pp:1039-1052 [Conf ] Gabriel Antoniu , Luc Bougé , Mathieu Jan , Sébastien Monnet Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework. [Citation Graph (0, 0)][DBLP ] Euro-Par, 2004, pp:1038-1047 [Conf ] Luc Bougé , David Cachera On the Completeness of a Proof System for a Simple Data-Parallel Programming Language. [Citation Graph (0, 0)][DBLP ] Euro-Par, 1995, pp:143-154 [Conf ] Luc Bougé , Franck Cappello , Omer F. Rana , Bernard Traversat Topic Introduction. [Citation Graph (0, 0)][DBLP ] Euro-Par, 2003, pp:1229- [Conf ] Luc Bougé , Vincent Danjean , Raymond Namyst Improving Reactivity to I/O Events in Multithreaded Environments Using a Uniform, Scheduler-Centric API. [Citation Graph (0, 0)][DBLP ] Euro-Par, 2002, pp:605-614 [Conf ] Luc Bougé , Joaquim Gabarró , Xavier Messeguer , Nicolas Schabanel Concurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Euro-Par, 1997, pp:421-429 [Conf ] Luc Bougé , William F. McColl , Mamoun Filali , Henk J. Sips Parallel Programming: Models, Methods, and Languages - Introduction. [Citation Graph (0, 0)][DBLP ] Euro-Par, 1999, pp:831-832 [Conf ] Gabriel Antoniu , Luc Bougé DSM-PM2: A Portable Implementation Platform for Multithreaded DSM Consistency Protocols. [Citation Graph (0, 0)][DBLP ] HIPS, 2001, pp:55-70 [Conf ] Luc Bougé Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICALP, 1985, pp:63-70 [Conf ] Gabriel Antoniu , Luc Bougé DSM-PM2: A portable implementation platform for multithreaded DSM consistency protocols. [Citation Graph (0, 0)][DBLP ] IPDPS, 2001, pp:104- [Conf ] Gabriel Antoniu , Luc Bougé , Raymond Namyst An Efficient and Transparent Thread Migration Scheme in the PM2 Runtime System. [Citation Graph (0, 0)][DBLP ] IPPS/SPDP Workshops, 1999, pp:496-510 [Conf ] Gabriel Antoniu , Luc Bougé , Philip J. Hatcher , Mark MacBeth , Keith McGuigan , Raymond Namyst Implementing Java Consistency Using a Generic, Multithreaded DSM Runtime System. [Citation Graph (0, 0)][DBLP ] IPDPS Workshops, 2000, pp:560-567 [Conf ] Olivier Aumage , Luc Bougé , Raymond Namyst A Portable and Adaptative Multi-protocol Communication Library for Multithreaded Runtime Systems. [Citation Graph (0, 0)][DBLP ] IPDPS Workshops, 2000, pp:1136-1143 [Conf ] Luc Bougé , Jean-François Méhaut , Raymond Namyst Efficient Communications in Multithreaded Runtime Systems. [Citation Graph (0, 0)][DBLP ] IPPS/SPDP Workshops, 1999, pp:468-482 [Conf ] Gabriel Antoniu , Luc Bougé Implementing Multithreaded Protocols for Release Consistency on Top of the Generic DSM-PM Platform. [Citation Graph (0, 0)][DBLP ] IWCC, 2001, pp:179-188 [Conf ] Luc Bougé , Patrick Garda Towards a Semantic Approach to SIMD Architectures and their Languages. [Citation Graph (0, 0)][DBLP ] Semantics of Systems of Concurrent Processes, 1990, pp:142-175 [Conf ] Luc Bougé On the Semantics of Languages for Massively Parallel SIMD Architectures. [Citation Graph (0, 0)][DBLP ] PARLE (2), 1991, pp:166-183 [Conf ] Gabriel Antoniu , Luc Bougé , Raymond Namyst , Christian Pérez Compiling Data-parallel Programs to a Distributed Runtime Environment with Thread Isomigration. [Citation Graph (0, 0)][DBLP ] PDPTA, 1999, pp:1756-1762 [Conf ] Luc Bougé , Nissim Francez A Compositional Approach to Superimposition. [Citation Graph (0, 0)][DBLP ] POPL, 1988, pp:240-249 [Conf ] Luc Bougé , Jean-François Méhaut , Raymond Namyst , Loïc Prylli Using the VI Architecture to Build Distributed, Multithreaded Runtime Systems: A Case Study. [Citation Graph (0, 0)][DBLP ] SAC (2), 2000, pp:704-709 [Conf ] Luc Bougé , N. Choquet , Laurent Fribourg , Marie-Claude Gaudel Application of Prolog to Test Sets Generation from Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1985, pp:261-275 [Conf ] Luc Bougé On the Existence of Generic Broadcast Algorithms in Networks of Communicating Sequential Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP ] WDAG, 1987, pp:388-407 [Conf ] Luc Bougé On the Existence of Symmetric Algorithms to Find Leaders in Networks of Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1988, v:25, n:2, pp:179-201 [Journal ] Thilo Kielmann , Philip J. Hatcher , Luc Bougé , Henri E. Bal Enabling Java for high-performance computing. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 2001, v:44, n:10, pp:110-117 [Journal ] Olivier Aumage , Luc Bougé , Lionel Eyraud , Guillaume Mercier , Raymond Namyst , Loïc Prylli , Alexandre Denis , Jean-François Méhaut High Performance Computing on Heterogeneous Clusters with the Madeleine II Communication Library. [Citation Graph (0, 0)][DBLP ] Cluster Computing, 2002, v:5, n:1, pp:43-54 [Journal ] Krzysztof R. Apt , Luc Bougé , Ph. Clermont Two Normal Form Theorems for CSP Programs. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1987, v:26, n:4, pp:165-171 [Journal ] Luc Bougé , N. Choquet , Laurent Fribourg , Marie-Claude Gaudel Test sets generation from algebraic specifications using logic programming. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1986, v:6, n:4, pp:343-360 [Journal ] Olivier Aumage , Luc Bougé , Jean-François Méhaut , Raymond Namyst Madeleine II: a portable and efficient communication library for high-performance cluster computing. [Citation Graph (0, 0)][DBLP ] Parallel Computing, 2002, v:28, n:4, pp:607-626 [Journal ] Gabriel Antoniu , Luc Bougé , Philip J. Hatcher , Mark MacBeth , Keith McGuigan , Raymond Namyst The Hyperion system: Compiling multithreaded Java bytecode for distributed execution. [Citation Graph (0, 0)][DBLP ] Parallel Computing, 2001, v:27, n:10, pp:1279-1297 [Journal ] Gabriel Antoniu , Luc Bougé , Raymond Namyst , Christian Pérez Compiling Data-Parallel Programs to a Distributed Runtime Environment with Thread Isomigration. [Citation Graph (0, 0)][DBLP ] Parallel Processing Letters, 2000, v:10, n:2/3, pp:201-214 [Journal ] Luc Bougé A Contribution to the Theory of Program Testing. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:151-181 [Journal ] Luc Bougé Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:145-169 [Journal ] Luc Bougé , David Cachera , Yann Le Guyadec , Gil Utard , Bernard Virot Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:189, n:1-2, pp:71-107 [Journal ] Madeleine II: a Portable and Efficient Communication Library for High-Performance Cluster Computing. [Citation Graph (, )][DBLP ] Enabling lock-free concurrent fine-grain access to massive distributed data: Application to supernovae detection. [Citation Graph (, )][DBLP ] Enabling High Data Throughput in Desktop Grids through Decentralized Data and Metadata Management: The BlobSeer Approach. [Citation Graph (, )][DBLP ] Improving the Hadoop map/reduce framework to support concurrent appends through the BlobSeer BLOB management system. [Citation Graph (, )][DBLP ] Distributed Management of Massive Data: An Efficient Fine-Grain Data Access Scheme. [Citation Graph (, )][DBLP ] Bringing Introspection Into the BlobSeer Data-Management System Using the MonALISA Distributed Monitoring Framework. [Citation Graph (, )][DBLP ] Special Issue: Euro-Par 2007. [Citation Graph (, )][DBLP ] Special Issue: Euro-Par 2008. [Citation Graph (, )][DBLP ] Enabling Lock-Free Concurrent Fine-Grain Access to Massive Distributed Data: Application to Supernovae Detection [Citation Graph (, )][DBLP ] Distributed Management of Massive Data: an Efficient Fine-Grain Data Access Scheme [Citation Graph (, )][DBLP ] BlobSeer: How to Enable Efficient Versioning for Large Object Storage under Heavy Access Concurrency [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.008secs