Sciweavers

3660 search results - page 99 / 732
» Parallel Program Archetypes
Sort
View
QUEUE
2008
72views more  QUEUE 2008»
15 years 1 months ago
Scalable Parallel Programming with CUDA
John Nickolls, Ian Buck, Michael Garland, Kevin Sk...
IEICET
2010
50views more  IEICET 2010»
15 years 27 days 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»
15 years 24 days ago
Automatic Verification of Determinism for Structured Parallel Programs
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...