Search Sciweavers | Sciweavers

3307 search results - page 61 / 662

» The meaning of concurrent programs

114

click to vote

SCAM
2009
IEEE

212views Software Engineering» more SCAM 2009»

Chopping Concurrent Programs

15 years 10 months ago

Download www.dcs.kcl.ac.uk

Dennis Giffhorn

claim paper

Read More »

105

Voted

OOPSLA
2009
Springer

156views Security Privacy» more OOPSLA 2009»

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

15 years 10 months ago

Download www.cs.cmu.edu

Sven Stork, Paulo Marques, Jonathan Aldrich

claim paper

Read More »

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

15 years 10 months ago

Download vv.cs.byu.edu

Neha Rungta, Eric G. Mercer

claim paper

Read More »

Voted

DATE
2008
IEEE

86views Hardware» more DATE 2008»

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

15 years 9 months ago

Download www.cs.columbia.edu

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

claim paper

Read More »

103

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers