4401 search results - page 749 / 881 » Computing with Default Logic |
131
Voted
EWSN
2010
Springer
16 years 1 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...
142
Voted
ICCD
2004
IEEE
16 years 26 days 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...
115
click to vote
ICCAD
2008
IEEE
16 years 25 days 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...
118
Voted
ICCAD
2004
IEEE
16 years 25 days 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 ...
131
Voted
FOSSACS
2009
Springer
15 years 10 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...