67 search results - page 5 / 14 » Two Techniques for Improvement the Speedup of Nautilus DSM |
VLSI
2007
Springer
14 years 2 months ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
AAAI
2008
13 years 10 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
AFRICACRYPT
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
VLDB
2007
ACM
14 years 2 months ago
2007
ACM
Multi-core processors are proliferated across different domains in recent years. In this paper, we study the performance of frequent pattern mining on a modern multi-core machine....
SI3D
1999
ACM
14 years 5 days ago
1999
ACM
Visibility computation and level of detail modeling are two important components of efficient scenerendering algorithms. Both aim to lessen the graphics load by lowering polygon c...