Sciweavers

3686 search results - page 101 / 738
» Pattern-Based Parallel Programming
Sort
View
TPDS
1998
87views more  TPDS 1998»
14 years 9 months ago
Abstractions for Portable, Scalable Parallel Programming
Gail A. Alverson, William G. Griswold, Calvin Lin,...
QUEUE
2008
72views more  QUEUE 2008»
14 years 9 months ago
Scalable Parallel Programming with CUDA
John Nickolls, Ian Buck, Michael Garland, Kevin Sk...
IEICET
2010
50views more  IEICET 2010»
14 years 8 months ago
A Parallel Branching Program Machine for Sequential Circuits: Implementation and Evaluation
Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura,...
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
14 years 8 months ago
Automatic Verification of Determinism for Structured Parallel Programs
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...