Search Sciweavers | Sciweavers

7092 search results - page 194 / 1419

» Parallelizing constraint programs

click to vote

SAS
2010
Springer

140views Formal Methods» more SAS 2010»

Automatic Verification of Determinism for Structured Parallel Programs

14 years 11 months ago

Download www.cs.rice.edu

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

claim paper

Read More »

Voted

SPE
2010

139views more SPE 2010»

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

14 years 10 months ago

Download www.comp.rgu.ac.uk

Horacio González-Vélez, Mario Leyton

claim paper

Read More »

click to vote

TCS
2010

94views Theoretical Computer Science» more TCS 2010»

Verifying parallel programs with dynamic communication structures

14 years 10 months ago

Download www.liafa.jussieu.fr

Tayssir Touili, Mohamed Faouzi Atig

claim paper

Read More »

Voted

MICRO
2010
IEEE

98views Hardware» more MICRO 2010»

InstantCheck: Checking the Determinism of Parallel Programs Using On-the-Fly Incremental Hashing

14 years 10 months ago

Download www.upcrc.illinois.edu

Adrian Nistor, Darko Marinov, Josep Torrellas

claim paper

Read More »

Voted

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers