984 search results - page 197 / 197 » A Hybrid MPI Simulator |
DAGSTUHL
2011
12 years 5 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
TON
2012
11 years 7 months ago
2012
—This paper presents DAWN, a declarative platform that creates highly adaptive policy-based MANET protocols. DAWN leverages declarative networking techniques to achieve extensibl...
ISCA
2012
IEEE
11 years 7 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
BMCBI
2008
13 years 5 months ago
2008
Background: GPR17 is a G-protein-coupled receptor located at intermediate phylogenetic position between two distinct receptor families: the P2Y and CysLT receptors for extracellul...