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

15 years 3 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

15 years 3 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

14 years 11 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

14 years 10 months ago

Download www.comlab.ox.ac.uk

Andrzej S. Murawski

claim paper

Read More »

Voted

CORR
2010
Springer

45views Education» more CORR 2010»

Primitives for Contract-based Synchronization

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers