1210 search results - page 40 / 242 » Secure Logic Synthesis |
121
click to vote
JCB
2006
15 years 2 months ago
2006
This paper presents a discrete-event approach to synthesis of transcription control for a class of (computational) gene networks. Given a set of genes and protein-gene and/or prote...
106
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
197
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Highly regular, nanodevice based architectures have been proposed to replace pure CMOS based architectures in the emerging post CMOS era. Since bottom-up self-assembly is used to ...
141
click to vote
TCAD
2008
15 years 2 months ago
2008
The relatively poor scaling of interconnect in modern digital circuits necessitates a number of design optimizations, which must typically be iterated several times to meet the spe...