5786 search results - page 891 / 1158 » Lines Pinning Lines |
162
click to vote
CHI
2008
ACM
15 years 8 months ago
2008
ACM
The importance of background knowledge for effective searching on the Web is not well understood. Participants were given trivia questions on two topics and asked to answer them f...
208
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
177
click to vote
ARITH
2005
IEEE
15 years 8 months ago
2005
IEEE
Hash functions are an important cryptographic primitive. They are used to obtain a fixed-size fingerprint, or hash value, of an arbitrary long message. We focus particularly on ...
197
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
199
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Power consumption within the memory hierarchy grows in importance as on-chip data caches occupy increasingly greater die area. Among dynamic power conservation schemes, horizontal...