717 search results - page 7 / 144 » Kill-safe synchronization abstractions |
IJON
2008
13 years 11 months ago
2008
Abstract. Biologically plausible excitatory networks develop a stable synchronized pattern of activity due to synaptic refractoriness (short
ICC
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—In this paper, we propose a simple and efficient twostage list synchronizer for frame synchronization of Low-Density Parity-Check (LDPC) coded data transmitted over the...
GTTSE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...