Search Sciweavers | Sciweavers

3307 search results - page 61 / 662

» The meaning of concurrent programs

144

click to vote

SCAM
2009
IEEE

212views Software Engineering» more SCAM 2009»

Chopping Concurrent Programs

16 years 18 days ago

Download www.dcs.kcl.ac.uk

Dennis Giffhorn

claim paper

Read More »

134

click to vote

OOPSLA
2009
Springer

156views Security Privacy» more OOPSLA 2009»

Concurrency by default: using permissions to express dataflow in stateful programs

16 years 12 days ago

Download www.cs.cmu.edu

Sven Stork, Paulo Marques, Jonathan Aldrich

claim paper

Read More »

120

Voted

ISSTA
2009
ACM

119views Software Engineering» more ISSTA 2009»

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

16 years 11 days 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 10 days ago

Download www.cs.columbia.edu

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

claim paper

Read More »

133

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 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers