A simple bridging model for high-performance computing
C Li, G Hains - … Conference on High Performance Computing & …, 2011 - ieeexplore.ieee.org
This paper introduces the Scatter-Gather parallel-programming and parallel execution
model in the form of a simple imperative language named SGL. Its design is based on …
model in the form of a simple imperative language named SGL. Its design is based on …
[图书][B] Parallelizing an interactive theorem prover: functional programming and proofs with ACL2
DL Rager - 2012 - search.proquest.com
Multi-core systems have become commonplace, however, theorem provers often do not take
advantage of the additional computing resources in an interactive setting. This research …
advantage of the additional computing resources in an interactive setting. This research …
Management of Communication Environments for Minimally Synchronous Parallel ML
F Loulergue - Distributed and Parallel Systems: Cluster and Grid …, 2005 - Springer
Abstract Minimally Synchronous Parallel ML is a functional parallel language whose
execution time can then be estimated and dead-locks and indeterminism are avoided …
execution time can then be estimated and dead-locks and indeterminism are avoided …
[PDF][PDF] Mspml: Environnements de communication et tolérance au pannes
A Belbekkouche - Mémoire de master de recherche en …, 2005 - researchgate.net
Résumé Certains problemes nécessitent des performances que seules les machines
massivement paralleles peuvent offrir. Leur programmation demeure néanmoins difficile …
massivement paralleles peuvent offrir. Leur programmation demeure néanmoins difficile …
On the compositionality of round abstraction
MN Menaa - 2012 - etheses.bham.ac.uk
Game Semantics is an approach to denotational semantics that has been successful in
providing accurate, fully abstract models for various programming languages. It has …
providing accurate, fully abstract models for various programming languages. It has …
Divide-and-conquer parallel programming with minimally synchronous parallel ML
R Benheddi, F Loulergue - … , PPAM 2007, Gdansk, Poland, September 9 …, 2008 - Springer
Abstract Minimally Synchronous Parallel ML (MSPML) is a functional parallel programming
language. It is based on a small number of primitives on a parallel data structure. MSPML …
language. It is based on a small number of primitives on a parallel data structure. MSPML …
Composition parallele pour MSPML
R Benheddi, F Loulergue - Journées Francophones des Langages …, 2006 - hal.science
Cet article présente l'ajout, à un langage fonctionnel parallèle appelé Minimally
Synchronous Parallel ML (MSPML), d'une primitive pour la composition parallèle, appelée …
Synchronous Parallel ML (MSPML), d'une primitive pour la composition parallèle, appelée …
[PDF][PDF] Minimally Synchronous Parallel ML with Parallel Composition
R Benheddi, F Loulergue - Seventh Symposium on Trends in Functional …, 2006 - Citeseer
This paper presents the semantics of a new primitive for parallel composition in a parallel
functional language called Minimally Synchronous Parallel ML (MSPML). MSPML is a …
functional language called Minimally Synchronous Parallel ML (MSPML). MSPML is a …