Search Sciweavers | Sciweavers

8132 search results - page 58 / 1627

» Dependability, Abstraction, and Programming

click to vote

CCGRID
2009
IEEE

142views Distributed And Parallel Com...» more CCGRID 2009»

Programming Abstractions for Data Intensive Computing on Clouds and Grids

15 years 4 months ago

Download www.cct.lsu.edu

Chris Miceli, Michael Miceli, Shantenu Jha, Hartmu...

claim paper

Read More »

click to vote

EUROPAR
2009
Springer

116views Distributed And Parallel Com...» more EUROPAR 2009»

Assigning Blame: Mapping Performance to High Level Parallel Programming Abstractions

15 years 4 months ago

Download www.dyninst.org

Nick Rutar, Jeffrey K. Hollingsworth

claim paper

Read More »

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

15 years 4 months ago

Download lfm.iti.uni-karlsruhe.de

Benjamin Weiß

claim paper

Read More »

click to vote

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs

15 years 4 months ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

click to vote

SCAM
2008
IEEE

114views Software Engineering» more SCAM 2008»

The Semantics of Abstract Program Slicing

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers