Sciweavers

2468 search results - page 292 / 494
» Aggregation operators 2003
Sort
View
DATE
2003
IEEE
92views Hardware» more  DATE 2003»
14 years 2 months ago
Local Search for Boolean Relations on the Basis of Unit Propagation
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
Yakov Novikov
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
14 years 2 months ago
Non-Enumerative Path Delay Fault Diagnosis
The first non-enumerative framework for diagnosing path delay faults using zero suppressed binary decision diagrams is introduced. We show that fault free path delay faults with ...
Saravanan Padmanaban, Spyros Tragoudas
DATE
2003
IEEE
92views Hardware» more  DATE 2003»
14 years 2 months ago
A Low Device Occupation IP to Implement Rijndael Algorithm
This work presents a soft IP description of Rijndael, the Advanced Encryption Standard (AES) of National Institute of Standards and Technology (NIST). This Rijndael implementation...
Alex Panato, Marcelo Barcelos, Ricardo Augusto da ...
DATE
2003
IEEE
90views Hardware» more  DATE 2003»
14 years 2 months ago
Transistor-Level Static Timing Analysis by Piecewise Quadratic Waveform Matching
While fast timing analysis methods, such as asymptotic waveform evaluation (AWE), have been well established for linear circuits, the timing analysis for non-linear circuits, whic...
Zhong Wang, Jianwen Zhu
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
14 years 2 months ago
Handling Identity in Peer-to-Peer Systems
Due to the limited number of available IP addresses most computers on the Internet use dynamic IP addresses which causes problems for applications that have to maintain routing ta...
Manfred Hauswirth, Anwitaman Datta, Karl Aberer