Search Sciweavers | Sciweavers

717 search results - page 1 / 144

» Kill-safe synchronization abstractions

click to vote

DAGSTUHL
2004

110views Software Engineering» more DAGSTUHL 2004»

04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04

13 years 6 months ago

Download drops.dagstuhl.de

Stephen A. Edwards, Nicolas Halbwachs, Reinhard vo...

claim paper

Read More »

click to vote

PLDI
2004
ACM

87views Programming Languages» more PLDI 2004»

Kill-safe synchronization abstractions

13 years 10 months ago

Download www.cs.utah.edu

e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...

Matthew Flatt, Robert Bruce Findler

claim paper

Read More »

click to vote

APLAS
2008
ACM

121views Programming Languages» more APLAS 2008»

Abstraction of Clocks in Synchronous Data-Flow Systems

13 years 6 months ago

Download www.lri.fr

ion of Clocks in Synchronous Data-flow Systems Albert Cohen1 , Louis Mandel2 , Florence Plateau2 , and Marc Pouzet23 1 INRIA Saclay - Ile-de-France, Orsay, France 2 LRI, Univ. Pari...

Albert Cohen, Louis Mandel, Florence Plateau, Marc...

claim paper

Read More »

click to vote

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

13 years 10 months ago

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »