Sciweavers

4426 search results - page 65 / 886

» Concurrent Constraint Programming

109

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

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 »

100

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

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 »

70

Voted

DATE
2008
IEEE

86views Hardware» more DATE 2008»

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

15 years 10 months 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 »

108

Voted

LICS
2008
IEEE

77views Automated Reasoning» more LICS 2008»

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

15 years 10 months 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 »

118

LCPC
2007
Springer

113views System Software» more LCPC 2007»

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

15 years 10 months 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 65 / 886 Last » Next »