Sciweavers

581 search results - page 26 / 117
» Parallel Functional Reactive Programming
Sort
View
IJHPCA
2008
131views more  IJHPCA 2008»
13 years 8 months ago
De Novo Ultrascale Atomistic Simulations On High-End Parallel Supercomputers
We present a de novo hierarchical simulation framework for first-principles based predictive simulations of materials and their validation on high-end parallel supercomputers and ...
Aiichiro Nakano, Rajiv K. Kalia, Ken-ichi Nomura, ...
ISPA
2005
Springer
14 years 2 months ago
Collective Communications for Scalable Programming
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
Sang Boem Lim, Bryan Carpenter, Geoffrey Fox, Han-...
FPCA
1993
14 years 25 days ago
Parallel Implementation of Bags
Multisets (also called bags) are an interesting data structure for parallelly implemented functional programming languages, since they do not force an unneeded restriction of the ...
Herbert Kuchen, Katia Gladitz
JAR
2008
101views more  JAR 2008»
13 years 8 months ago
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...
Laurence Rideau, Bernard P. Serpette, Xavier Leroy
ICFP
2008
ACM
14 years 8 months ago
Experience report: erlang in acoustic ray tracing
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...
Christian Convey, Andrew Fredricks, Christopher Ga...