Search Sciweavers | Sciweavers

1550 search results - page 61 / 310

» Erlang for Concurrent Programming

170

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 »

172

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 »

169

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 1 months ago

Download cobweb.ecn.purdue.edu

Liqiang Wang, Scott D. Stoller

claim paper

Read More »

148

click to vote

SENSYS
2006
ACM

104views Sensor Networks» more SENSYS 2006»

Abstractions for safe concurrent programming in networked embedded systems

16 years 1 months ago

Download selab.csuohio.edu

William P. McCartney, Nigamanth Sridhar

claim paper

Read More »

174

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers