Sciweavers

1640 search results - page 80 / 328
» Design of Synchronous Action Systems
Sort
View
ENTCS
2007
129views more  ENTCS 2007»
13 years 7 months ago
Protocol Composition Logic (PCL)
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
Anupam Datta, Ante Derek, John C. Mitchell, Arnab ...
ISCAS
2005
IEEE
190views Hardware» more  ISCAS 2005»
14 years 1 months ago
A complete receiver solution for a chaotic direct-sequence spread spectrum communication system
— This paper is devoted to receiver design in a Chaotic Direct-Sequence Spread Spectrum (CD3S) digital communication system. The demodulation is achieved through chaos synchroniz...
M. B. Luca, S. Azou, G. Burel, A. Serbanescu
FTRTFT
1998
Springer
13 years 12 months ago
Predictability in Critical Systems
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
Gérard Le Lann
ASYNC
2005
IEEE
112views Hardware» more  ASYNC 2005»
14 years 1 months ago
Request-Driven GALS Technique for Wireless Communication System
A Globally Asynchronous - Locally Synchronous (GALS) technique for application in wireless communication systems is proposed and evaluated. The GALS wrappers are based on a reques...
Milos Krstic, Eckhard Grass, Christian Stahl
ISLPED
2005
ACM
111views Hardware» more  ISLPED 2005»
14 years 1 months ago
Energy reduction in multiprocessor systems using transactional memory
The emphasis in microprocessor design has shifted from high performance, to a combination of high performance and low power. Until recently, this trend was mostly true for uniproc...
Tali Moreshet, R. Iris Bahar, Maurice Herlihy