Search Sciweavers | Sciweavers

3660 search results - page 99 / 732

» Parallel Program Archetypes

103

click to vote

QUEUE
2008

72views more QUEUE 2008»

Scalable Parallel Programming with CUDA

15 years 4 months ago

Download www.hotchips.org

John Nickolls, Ian Buck, Michael Garland, Kevin Sk...

claim paper

Read More »

108

Voted

IEICET
2010

50views more IEICET 2010»

A Parallel Branching Program Machine for Sequential Circuits: Implementation and Evaluation

15 years 3 months ago

Download www.lsi-cad.com

Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura,...

claim paper

Read More »

132

Voted

SAS
2010
Springer

140views Formal Methods» more SAS 2010»

Automatic Verification of Determinism for Structured Parallel Programs

15 years 3 months ago

Download www.cs.rice.edu

Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...

claim paper

Read More »

click to vote

SPE
2010

139views more SPE 2010»

A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers

15 years 3 months ago

Download www.comp.rgu.ac.uk

Horacio González-Vélez, Mario Leyton

claim paper

Read More »

105

Voted

TCS
2010

94views Theoretical Computer Science» more TCS 2010»

Verifying parallel programs with dynamic communication structures

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers