Search Sciweavers | Sciweavers

6808 search results - page 46 / 1362

» Distributed Concurrency Control

128

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

15 years 12 months ago

Download cobweb.ecn.purdue.edu

Liqiang Wang, Scott D. Stoller

claim paper

Read More »

128

click to vote

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 10 months ago

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

127

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

15 years 10 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

121

click to vote

CONCUR
1998
Springer

90views Distributed And Parallel Com...» more CONCUR 1998»

Detecting Deadlocks in Concurrent Systems

15 years 10 months ago

Download www.brics.dk

Lisbeth Fajstrup, Eric Goubault, Martin Rauß...

claim paper

Read More »

122

click to vote

ICDCS
1996
IEEE

95views Distributed And Parallel Com...» more ICDCS 1996»

Sentries for the Execution of Concurrent Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers