Search Sciweavers | Sciweavers

6808 search results - page 47 / 1362

» Distributed Concurrency Control

128

click to vote

CONCUR
1994
Springer

69views Distributed And Parallel Com...» more CONCUR 1994»

On Unifying Assumption-Commitment Style Proof Rules for Concurrency

15 years 10 months ago

Download www.cse.dmu.ac.uk

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

155

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 10 months ago

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

129

click to vote

IPPS
1992
IEEE

87views Distributed And Parallel Com...» more IPPS 1992»

Exploiting Concurrency among Tasks in Partitionable Parallel Processing Systems

15 years 10 months ago

Download www.engr.colostate.edu

Wayne G. Nation, Anthony A. Maciejewski, Howard Ja...

claim paper

Read More »

127

click to vote

PPOPP
1990
ACM

73views Distributed and Parallel Com...» more PPOPP 1990»

Continuations and Concurrency

15 years 10 months ago

Download web.mit.edu

Robert Hieb, R. Kent Dybvig

claim paper

Read More »

152

click to vote

BANFF
1995

112views Distributed And Parallel Com...» more BANFF 1995»

Specification Structures and Propositions-as-Types for Concurrency

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers