Filter your results
- 8
- 1
- 8
- 1
- 9
- 5
- 2
- 1
- 1
- 8
- 1
- 9
- 1
- 1
- 9
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library2008
Other publications
hal-00469435v1
|
|||
|
A Verified Bulk Synchronous Parallel ML Heat Diffusion SimulationThe 11th International Conference on Computational Science (ICCS 2011), Jun 2011, Singapour, Singapore. pp.36 - 45, ⟨10.1016/j.procs.2011.04.005⟩
Conference papers
hal-00588894v1
|
||
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML(PDPTA'11), 2011, United States
Conference papers
hal-00592539v1
|
|||
Parallel Programming and Performance Predictability with Orléans Skeleton LibraryHPCS, 2011, Istanbul, Turkey. pp.257-263
Conference papers
hal-00592541v1
|
|||
A Formal Programming Model of Orléans Skeleton Library(PaCT), 2011, Kazan, Russia
Conference papers
hal-00592540v1
|
|||
|
Composition parallèle pour MSPMLJournées Francophones des Langages Applicatifs (JFLA 2006), 2006, France. pp.16
Conference papers
hal-00022267v1
|
||
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), 2010, Hiroshima, Japan. pp.191-196, ⟨10.1109/IC-NC.2010.57⟩
Conference papers
inria-00515223v1
|
|||
Verification of a Heat Diffusion Simulation written with Orléans Skeleton LibraryPPAM, 2011, Varsaw, Poland
Conference papers
hal-00603344v1
|
|||
Systematic Development of Correct Bulk Synchronous Parallel ProgramsThe 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010), The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010) proceedings, Dec 2010, Wuhan, Chine, Singapore. pp._
Conference papers
hal-00512867v1
|