Search Sciweavers | Sciweavers

6808 search results - page 46 / 1362

» Distributed Concurrency Control

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

14 years 2 months ago

Download cobweb.ecn.purdue.edu

Liqiang Wang, Scott D. Stoller

claim paper

Read More »

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

14 years 1 months ago

Download ipdps.cc.gatech.edu

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

claim paper

Read More »

click to vote

PODC
1998
ACM

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

Synthesis of Fault-Tolerant Concurrent Programs

14 years 1 months ago

Download ceti.cse.ohio-state.edu

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

claim paper

Read More »

click to vote

CONCUR
1998
Springer

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

Detecting Deadlocks in Concurrent Systems

14 years 1 months ago

Download www.brics.dk

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

claim paper

Read More »

click to vote

ICDCS
1996
IEEE

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

Sentries for the Execution of Concurrent Programs

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers