Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Louis Gesbert"'
Autor:
Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli
Publikováno v:
2015 IEEE/ACM 12th Working Conference on Mining Software Repositories.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::851112b810b54437fccc67063f4dbb9d
https://doi.org/10.1109/msr.2015.10
https://doi.org/10.1109/msr.2015.10
Publikováno v:
5th ACM SIGPLAN workshop on High-Level Parallel Programming and Applications
HLPP
HLPP, Sep 2011, Japan. pp.17-34, ⟨10.1145/2034751.2034759⟩
HLPP
HLPP, Sep 2011, Japan. pp.17-34, ⟨10.1145/2034751.2034759⟩
BSML, or Bulk Synchronous Parallel ML, is a high-level language based on ML and dedicated to parallel computation. In this paper, an extended type system that guarantees the safety of parallel programs is presented. It prevents non-determinism and de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea018a147c8f733a2830df572e5976dd
https://hal.archives-ouvertes.fr/hal-00605566
https://hal.archives-ouvertes.fr/hal-00605566
Publikováno v:
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
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._
PDCAT
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._
PDCAT
International audience; With the current generalisation of parallel architectures arises the concern of applying formal methods to parallelism. The complexity of parallel, compared to sequential, programs makes them more error-prone and difficult to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4116126d46ed813638ea63af11baa1e1
https://hal.archives-ouvertes.fr/hal-00512867
https://hal.archives-ouvertes.fr/hal-00512867
Publikováno v:
2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA)
2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), 2010, Hiroshima, Japan. pp.191-196, ⟨10.1109/IC-NC.2010.57⟩
ICNC
2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), 2010, Hiroshima, Japan. pp.191-196, ⟨10.1109/IC-NC.2010.57⟩
ICNC
International audience; Bulk Synchronous Parallel ML or BSML is a high-level language for programming parallel algorithms. Built upon the Objective Caml language, it provides a safe setting for implementing Bulk Synchronous Parallel (BSP) algorithms.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48102d2b71b6c8983e141e56a1620953
https://hal.inria.fr/inria-00515223
https://hal.inria.fr/inria-00515223
Autor:
Frédéric Loulergue, Louis Gesbert
Publikováno v:
PDCAT
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementation, avoiding concurrency related problems (deadlocks, indeterminism)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b8faa0a286856ba20dd8d0e2c408533
https://doi.org/10.1109/pdcat.2007.79
https://doi.org/10.1109/pdcat.2007.79
Publikováno v:
Distributed and Parallel Systems (DAPSYS 2006)
Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. pp.33-42, ⟨10.1007/978-0-387-69858-8_4⟩
Future Generation Computer Systems
Future Generation Computer Systems, Elsevier, 2010, 26, pp.486-490. ⟨10.1016/j.future.2009.05.021⟩
Distributed and Parallel Systems ISBN: 9780387698571
Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. pp.33-42, ⟨10.1007/978-0-387-69858-8_4⟩
Future Generation Computer Systems
Future Generation Computer Systems, Elsevier, 2010, 26, pp.486-490. ⟨10.1016/j.future.2009.05.021⟩
Distributed and Parallel Systems ISBN: 9780387698571
International audience; Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementation, avoiding concurrency related problems (d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76293e4399f363489577169c45b477d5
https://inria.hal.science/inria-00452559
https://inria.hal.science/inria-00452559
Publikováno v:
HAL
Rencontres Francophones du Parallélisme (Renpar'17)
Rencontres Francophones du Parallélisme (Renpar'17), Oct 2006, Canet en Roussillon, France
Rencontres Francophones du Parallélisme (Renpar'17)
Rencontres Francophones du Parallélisme (Renpar'17), Oct 2006, Canet en Roussillon, France
National audience; Bulk Synchronous Parallel ML est un langage de programmation parallèle basé sur Objective Caml et sur le modèle BSP. Ce langage est étendu de plus en plus afin d'offrir toutes les fonctionnalités des langages modernes. La gest
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f958a64b728c8ecda260e1647996d893
https://hal.inria.fr/inria-00452566
https://hal.inria.fr/inria-00452566