Search Sciweavers | Sciweavers

164 search results - page 2 / 33

» Primitives for Contract-based Synchronization

click to vote

PODC
2004
ACM

96views Distributed And Parallel Com...» more PODC 2004»

On the inherent weakness of conditional synchronization primitives

13 years 11 months ago

Download www.cs.tau.ac.il

Faith Ellen Fich, Danny Hendler, Nir Shavit

claim paper

Read More »

click to vote

ICCS
2004
Springer

127views Applied Computing» more ICCS 2004»

Communication Primitives for Minimally Synchronous Parallel ML

13 years 11 months ago

Download lacl.univ-paris12.fr

Frédéric Loulergue

claim paper

Read More »

click to vote

TMFCS
2008

115views Computer Science» more TMFCS 2008»

Encoding cryptographic primitives in a calculus with polyadic synchronization

13 years 7 months ago

Download wslc.math.ist.utl.pt

Joana Martinho, António Ravara

claim paper

Read More »

click to vote

ENTCS
2010

73views more ENTCS 2010»

Full Abstraction Without Synchronization Primitives

13 years 6 months ago

Download www.comlab.ox.ac.uk

Andrzej S. Murawski

claim paper

Read More »

click to vote

CORR
2010
Springer

45views Education» more CORR 2010»

Primitives for Contract-based Synchronization

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers