The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frédéric Gava: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Frédéric Loulergue, R. Benheddi, Frédéric Gava, D. Louis-Régis
    Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. [Citation Graph (0, 0)][DBLP]
    CSR, 2006, pp:475-486 [Conf]
  2. Frédéric Gava
    Design of Departmental Metacomputing ML. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:50-53 [Conf]
  3. Frédéric Gava
    Parallel I/O in Bulk-Synchronous Parallel ML. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2004, pp:331-338 [Conf]
  4. Frédéric Gava, Frédéric Loulergue
    A Parallel Virtual Machine for Bulk Synchronous Parallel ML. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2003, pp:155-164 [Conf]
  5. Frédéric Loulergue, Frédéric Gava, David Billiet
    Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2005, pp:1046-1054 [Conf]
  6. Frédéric Gava, Frédéric Loulergue
    Synthèse de types pour Bulk Synchronous Parallel ML. [Citation Graph (0, 0)][DBLP]
    JFLA, 2003, pp:153-168 [Conf]
  7. Frédéric Gava, Frédéric Loulergue
    A Polymorphic Type System for Bulk Synchronous Parallel ML. [Citation Graph (0, 0)][DBLP]
    PaCT, 2003, pp:215-229 [Conf]
  8. Frédéric Gava, Frédéric Loulergue
    Semantics of a Functional BSP Language with Imperative Features. [Citation Graph (0, 0)][DBLP]
    PARCO, 2003, pp:95-102 [Conf]
  9. Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski
    Semantics of Minimally Synchronous Parallel ML. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:260-267 [Conf]
  10. Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
    A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:293-300 [Conf]
  11. Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
    Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:301-308 [Conf]
  12. Frédéric Gava, Frédéric Loulergue
    A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2005, v:21, n:4, pp:665-671 [Journal]
  13. Frédéric Gava
    Formal Proofs of Functional BSP Programs. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2003, v:13, n:3, pp:365-376 [Journal]
  14. Frédéric Gava, Frédéric Loulergue
    A Functional Language for Departmental Metacomputing. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2005, v:15, n:3, pp:289-304 [Journal]
  15. Frédéric Gava
    Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (1), 2007, pp:611-619 [Conf]

  16. BSP Functional Programming: Examples of a Cost Based Methodology. [Citation Graph (, )][DBLP]


  17. New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. [Citation Graph (, )][DBLP]


  18. Formal Semantics of a Subset of the Paderborn's BSPlib. [Citation Graph (, )][DBLP]


  19. Two Formal Semantics of a Subset of the Paderborn University BSPlib. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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