DocumentCode
2828388
Title
The effect of clustering on the performance of hashing algorithms
Author
Macii, Enrico
Author_Institution
Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
fYear
1995
fDate
17-19 May 1995
Firstpage
149
Lastpage
152
Abstract
Hashing algorithms are search procedures commonly used, among other applications, in the solution of logic synthesis and formal hardware verification problems. Purpose of this paper is to analyze the performance of hashing algorithms. In particular, we are interested in studying the effect of clustering on hashing methods
Keywords
algorithm theory; file organisation; formal verification; logic design; search problems; software performance evaluation; clustering; formal hardware verification problems; hashing algorithms; hashing methods; logic synthesis; performance; Algorithm design and analysis; Binary decision diagrams; Clustering algorithms; Cost function; Hardware; Logic; Performance analysis; Probes;
fLanguage
English
Publisher
ieee
Conference_Titel
Communications, Computers, and Signal Processing, 1995. Proceedings., IEEE Pacific Rim Conference on
Conference_Location
Victoria, BC
Print_ISBN
0-7803-2553-2
Type
conf
DOI
10.1109/PACRIM.1995.519430
Filename
519430
Link To Document