717 search results - page 12 / 144 » Kill-safe synchronization abstractions |
105
Voted
ENTCS
2002
15 years 12 days ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
108
Voted
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
132
Voted
TSP
2010
14 years 7 months ago
2010
Abstract--Time synchronization and localization are two important issues in wireless sensor networks. Although these two problems share many aspects in common, they are traditional...
104
click to vote
CONCUR
2010
Springer
15 years 24 days ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
104
click to vote
CORR
2010
Springer
15 years 21 days ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...