717 search results - page 18 / 144 » Kill-safe synchronization abstractions |
152
click to vote
IPPS
2002
IEEE
15 years 10 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...
146
click to vote
ICONIP
2010
15 years 3 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...
132
click to vote
ICCS
2004
Springer
15 years 11 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...
148
click to vote
SACRYPT
2004
Springer
15 years 11 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...
149
Voted
EMSOFT
2003
Springer
15 years 10 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 ...