Sciweavers

1945 search results - page 205 / 389
» Speeding up Serpent
Sort
View
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
15 years 11 months ago
A Circuit SAT Solver With Signal Correlation Guided Learning
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
Feng Lu, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. H...
DATE
2003
IEEE
103views Hardware» more  DATE 2003»
15 years 11 months ago
Reduced Delay Uncertainty in High Performance Clock Distribution Networks
The design of clock distribution networks in synchronous digital systems presents enormous challenges. Controlling the clock signal delay in the presence of various noise sources,...
Dimitrios Velenis, Marios C. Papaefthymiou, Eby G....
IPPS
2003
IEEE
15 years 11 months ago
Design and Evaluation of a Parallel HOP Clustering Algorithm for Cosmological Simulation
Clustering, or unsupervised classification, has many uses in fields that depend on grouping results from large amount of data, an example being the N-body cosmological simulation ...
Ying Liu, Wei-keng Liao, Alok N. Choudhary
ISLPED
2003
ACM
88views Hardware» more  ISLPED 2003»
15 years 11 months ago
Reducing data cache energy consumption via cached load/store queue
High-performance processors use a large set–associative L1 data cache with multiple ports. As clock speeds and size increase such a cache consumes a significant percentage of t...
Dan Nicolaescu, Alexander V. Veidenbaum, Alexandru...
AUSAI
2003
Springer
15 years 11 months ago
Efficiently Mining Frequent Patterns from Dense Datasets Using a Cluster of Computers
Efficient mining of frequent patterns from large databases has been an active area of research since it is the most expensive step in association rules mining. In this paper, we pr...
Yudho Giri Sucahyo, Raj P. Gopalan, Amit Rudra