2488 search results - page 264 / 498 » An improvement in formal verification |
135
Voted
AFRICACRYPT
2010
Springer
15 years 4 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 ...
135
click to vote
CIKM
2010
Springer
15 years 3 days ago
2010
Springer
Ranking Web search results has long evolved beyond simple bag-of-words retrieval models. Modern search engines routinely employ machine learning ranking that relies on exogenous r...
121
click to vote
ICIW
2009
IEEE
15 years 8 months ago
2009
IEEE
BitTorrent and Practical Network Coding are efficient methods for sharing files in a peer-to-peer network. Both face the problem to distribute a given file using peers with dif...
103
click to vote
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speci...
133
click to vote
ISCA
2011
IEEE
14 years 5 months ago
2011
IEEE
In recent years, the increasing number of processor cores and limited increases in main memory bandwidth have led to the problem of the bandwidth wall, where memory bandwidth is b...