Sciweavers

21319 search results - page 113 / 4264
» An Approach for Method Reengineering
Sort
View
123
Voted
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 7 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
DASFAA
2004
IEEE
123views Database» more  DASFAA 2004»
15 years 7 months ago
A Meta-search Method with Clustering and Term Correlation
A meta-search engine propagates user queries to its participant search engines following a server selection strategy. To facilitate server selection, the metasearch engine must ke...
Dyce Jing Zhao, Dik Lun Lee, Qiong Luo
CHES
2006
Springer
146views Cryptology» more  CHES 2006»
15 years 7 months ago
Path Swapping Method to Improve DPA Resistance of Quasi Delay Insensitive Asynchronous Circuits
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...
G. Fraidy Bouesse, Gilles Sicard, Marc Renaudin
135
Voted
ECIR
2010
Springer
15 years 3 months ago
Analyzing Information Retrieval Methods to Recover Broken Web Links
In this work we compare different techniques to automatically find candidate web pages to substitute broken links. We extract information from the anchor text, the content of the p...
Juan Martinez-Romo, Lourdes Araujo
ICDM
2010
IEEE
235views Data Mining» more  ICDM 2010»
15 years 20 days ago
Content-Based Methods for Predicting Web-Site Demographic Attributes
Demographic information plays an important role in gaining valuable insights about a web-site's user-base and is used extensively to target online advertisements and promotion...
Santosh Kabbur, Eui-Hong Han, George Karypis