682 search results - page 73 / 137 » Parallel Programming and Parallel Abstractions in Fortress |
109
click to vote
IJHPCA
2006
15 years 1 months ago
2006
This paper describes capabilities, evolution, performance, and applications of the Global Arrays (GA) toolkit. GA was created to provide application programmers with an interface ...
118
click to vote
FCCM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
132
click to vote
FIDJI
2003
Springer
15 years 6 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
102
Voted
GI
2009
Springer
14 years 11 months ago
2009
Springer
Abstract: In biomolecular simulations intensive computations are spent in nonbonded interactions kernels, i.e., electrostatic interactions. Therefore this part can be considered as...