4401 search results - page 749 / 881 » Computing with Default Logic |
118
Voted
EWSN
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Radio Link Quality Estimation (LQE) is a fundamental building block for Wireless Sensor Networks, namely for a reliable deployment, resource management and routing. Exist...
130
Voted
ICCD
2004
IEEE
15 years 11 months ago
2004
IEEE
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
106
Voted
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
Functional decomposition is a fundamental operation in logic synthesis. Prior BDD-based approaches to functional decomposition suffer from the memory explosion problem and do not...
105
click to vote
ICCAD
2004
IEEE
15 years 11 months ago
2004
IEEE
— This paper presents two contributions. The first is an incremental placement algorithm for placement-aware logic synthesis along with a proof of optimality. The algorithm can ...
123
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...