Sciweavers

2300 search results - page 49 / 460

» Maximally Concurrent Programs

134

OOPSLA
2009
Springer

156views Security Privacy» more OOPSLA 2009»

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

16 years 15 days ago

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

Download www.cs.cmu.edu

Sven Stork, Paulo Marques, Jonathan Aldrich

claim paper

Read More »

120

ISSTA
2009
ACM

119views Software Engineering» more ISSTA 2009»

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

16 years 14 days ago

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

Download vv.cs.byu.edu

Neha Rungta, Eric G. Mercer

claim paper

Read More »

89

DATE
2008
IEEE

86views Hardware» more DATE 2008»

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

16 years 13 days ago

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

Download www.cs.columbia.edu

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

claim paper

Read More »

133

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

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

16 years 11 days ago

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

Download userweb.cs.utexas.edu

Vineet Kahlon

claim paper

Read More »

141

LCPC
2007
Springer

113views System Software» more LCPC 2007»

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

16 years 3 days ago

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

Download polaris.cs.uiuc.edu

Yuan Zhang, Evelyn Duesterwald, Guang R. Gao

claim paper

Read More »

« Prev « First page 49 / 460 Last » Next »