2767 search results - page 361 / 554 » Knowledge Relativity |
192
Voted
ISPASS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This work concerns metrics for evaluating microarchitectural enhancements to improve processor lifetime reliability. A commonly reported reliability metric is mean time...
189
click to vote
CIKM
2005
Springer
16 years 16 days ago
2005
Springer
It has long been recognized that capturing term relationships is an important aspect of information retrieval. Even with large amounts of data, we usually only have significant ev...
221
Voted
VLDB
2005
ACM
16 years 14 days ago
2005
ACM
Developing cost models for query optimization is significantly harder for XML queries than for traditional relational queries. The reason is that XML query operators are much mor...
193
click to vote
FMCAD
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
206
click to vote
EUROCRYPT
2003
Springer
16 years 6 days ago
2003
Springer
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...