The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luc Bougé: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Luc Bougé, David Cachera
    A logical framework to prove properties of Alpha programs. [Citation Graph (0, 0)][DBLP]
    ASAP, 1997, pp:187-198 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Luc Bougé, Franck Cappello, Omer F. Rana, Bernard Traversat
    Topic Introduction. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:1229- [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. Luc Bougé
    Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:63-70 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Luc Bougé
    On the Semantics of Languages for Massively Parallel SIMD Architectures. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1991, pp:166-183 [Conf]
  26. 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]
  27. Luc Bougé, Nissim Francez
    A Compositional Approach to Superimposition. [Citation Graph (0, 0)][DBLP]
    POPL, 1988, pp:240-249 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]

  42. Madeleine II: a Portable and Efficient Communication Library for High-Performance Cluster Computing. [Citation Graph (, )][DBLP]


  43. Enabling lock-free concurrent fine-grain access to massive distributed data: Application to supernovae detection. [Citation Graph (, )][DBLP]


  44. Enabling High Data Throughput in Desktop Grids through Decentralized Data and Metadata Management: The BlobSeer Approach. [Citation Graph (, )][DBLP]


  45. Improving the Hadoop map/reduce framework to support concurrent appends through the BlobSeer BLOB management system. [Citation Graph (, )][DBLP]


  46. Distributed Management of Massive Data: An Efficient Fine-Grain Data Access Scheme. [Citation Graph (, )][DBLP]


  47. Bringing Introspection Into the BlobSeer Data-Management System Using the MonALISA Distributed Monitoring Framework. [Citation Graph (, )][DBLP]


  48. Special Issue: Euro-Par 2007. [Citation Graph (, )][DBLP]


  49. Special Issue: Euro-Par 2008. [Citation Graph (, )][DBLP]


  50. Enabling Lock-Free Concurrent Fine-Grain Access to Massive Distributed Data: Application to Supernovae Detection [Citation Graph (, )][DBLP]


  51. Distributed Management of Massive Data: an Efficient Fine-Grain Data Access Scheme [Citation Graph (, )][DBLP]


  52. BlobSeer: How to Enable Efficient Versioning for Large Object Storage under Heavy Access Concurrency [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002