Sciweavers

434 search results - page 37 / 87
» Logical Analysis of Hash Functions
Sort
View
113
Voted
TCAD
2002
121views more  TCAD 2002»
15 years 4 days ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
100
Voted
ETFA
2008
IEEE
15 years 7 months ago
Evaluation of Sequential Function Charts execution techniques. The Active Steps Algorithm
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
Ramon Piedrafita Moreno, José Luis Villarro...
96
Voted
EUSFLAT
2001
183views Fuzzy Logic» more  EUSFLAT 2001»
15 years 1 months ago
On fuzzy rule-based algorithms for image segmentation using gray-level histogram analysis
One of the biggest problems in computer vision systems, analyzing images having high uncertainty/vagueness degree, is the treatment of such uncertainty. This problem is even clear...
Eduard Montseny, Pilar Sobrevilla
EUSFLAT
2009
186views Fuzzy Logic» more  EUSFLAT 2009»
14 years 10 months ago
Analysis of Similarity Measures for Atanassov's Intuitionistic Fuzzy Sets
We consider some existing similarity measures for Atanassov's intuitionistic fuzzy sets (A-IFSs, for short). We show that neither similarity measures treating an A-IF as a sim...
Eulalia Szmidt, Janusz Kacprzyk
93
Voted
ASPDAC
2004
ACM
126views Hardware» more  ASPDAC 2004»
15 years 6 months ago
High-level area and power-up current estimation considering rich cell library
— Reducing the ever-growing leakage power is critical to power efficient designs. Leakage reduction techniques such as power-gating using sleep transistor insertion introduces la...
Fei Li, Lei He, Joseph M. Basile, Rakesh J. Patel,...