Search Sciweavers | Sciweavers

1499 search results - page 48 / 300

» Chopping Concurrent Programs

136

click to vote

ISSTA
2009
ACM

119views Software Engineering» more ISSTA 2009»

Clash of the Titans: tools and techniques for hunting bugs in concurrent programs

16 years 1 months ago

Download vv.cs.byu.edu

Neha Rungta, Eric G. Mercer

claim paper

Read More »

click to vote

DATE
2008
IEEE

86views Hardware» more DATE 2008»

Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads

16 years 1 months ago

Download www.cs.columbia.edu

Stephen A. Edwards, Nalini Vasudevan, Olivier Tard...

claim paper

Read More »

153

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

16 years 1 months ago

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

163

click to vote

LCPC
2007
Springer

113views System Software» more LCPC 2007»

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

16 years 1 months ago

Download polaris.cs.uiuc.edu

Yuan Zhang, Evelyn Duesterwald, Guang R. Gao

claim paper

Read More »

150

click to vote

PPOPP
2006
ACM

114views Distributed And Parallel Com...» more PPOPP 2006»

Accurate and efficient runtime detection of atomicity errors in concurrent programs

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers