Search - CaSciModOT (calcul scientifique et modelisation Orleans-Tours) Access content directly

Filter your results

9 Results
Domains : info.info-pl

A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library

Noman Javed , Frédéric Loulergue
2008
Other publications hal-00469435v1

A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation

Julien Tesson , Frédéric Loulergue
The 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

Noman Javed , Frédéric Loulergue , Julien Tesson , Wadoud Bousdira
(PDPTA'11), 2011, United States
Conference papers hal-00592539v1

Parallel Programming and Performance Predictability with Orléans Skeleton Library

Noman Javed , Frédéric Loulergue
HPCS, 2011, Istanbul, Turkey. pp.257-263
Conference papers hal-00592541v1

A Formal Programming Model of Orléans Skeleton Library

Noman Javed , Frédéric Loulergue
(PaCT), 2011, Kazan, Russia
Conference papers hal-00592540v1
Image document

Composition parallèle pour MSPML

Radia Benheddi , Frédéric Loulergue
Journées Francophones des Langages Applicatifs (JFLA 2006), 2006, France. pp.16
Conference papers hal-00022267v1

Functional Parallel Programming with Revised Bulk Synchronous Parallel ML

Wadoud Bousdira , Frédéric Gava , Louis Gesbert , Frédéric Loulergue , Guillaume Petiot
2nd 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 Library

Noman Javed , Frédéric Loulergue
PPAM, 2011, Varsaw, Poland
Conference papers hal-00603344v1

Systematic Development of Correct Bulk Synchronous Parallel Programs

Louis Gesbert , Zhenjiang Hu , Frédéric Loulergue , Kiminori Matsuzaki , Julien Tesson
The 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