Search Sciweavers | Sciweavers

717 search results - page 3 / 144

» Kill-safe synchronization abstractions

click to vote

ENTCS
2008

105views more ENTCS 2008»

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation

13 years 8 months ago

Download users.dsic.upv.es

María Alpuente, María-del-Mar Gallar...

claim paper

Read More »

click to vote

CL
1999
Springer

98views Automated Reasoning» more CL 1999»

Synchronization abstraction in the BETA programming language

13 years 8 months ago

Download www.itu.dk

Kasper Østerbye, Wolfgang Kreutzer

claim paper

Read More »

click to vote

JPL
1998

59views more JPL 1998»

Implicitly synchronized abstract data types: data structures for modular parallel programming

13 years 8 months ago

Download people.csail.mit.edu

Martin C. Rinard

claim paper

Read More »

click to vote

TWC
2008

207views more TWC 2008»

A New Approach for Time Synchronization in Wireless Sensor Networks: Pairwise Broadcast Synchronization

13 years 8 months ago

Download www.cis.udel.edu

Abstract--This letter proposes an energy-efficient clock synchronization scheme for Wireless Sensor Networks (WSNs) based on a novel time synchronization approach. Within the propo...

Kyoung-Lae Noh, Erchin Serpedin, Khalid A. Qaraqe

claim paper

Read More »

click to vote

ACSD
2009
IEEE

149views Hardware» more ACSD 2009»

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations

14 years 3 months ago

Download www-rocq.inria.fr

We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...

Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...

claim paper

Read More »

« Prev « First page 3 / 144 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers