717 search results - page 18 / 144 » Kill-safe synchronization abstractions |
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
ICONIP
2010
13 years 8 months ago
2010
Abstract. We report relationships between the effects of noise and applied constant currents on the behavior of a system of excitable elements. The analytical approach based on the...
ICCS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
SACRYPT
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Synchronous stream ciphers need perfect synchronization between sender and receiver. In practice, this is ensured by a resync mechanism. Daemen et al. [10] first describ...
EMSOFT
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...