851 search results - page 20 / 171 » History Effects and Verification |
120
click to vote
IAJIT
2011
14 years 3 months ago
2011
: Variation in performances of an Information Retrieval system, which merges results from a number of retrieval schemes possessing equal and unequal weights, is studied in this pap...
ICCD
2003
IEEE
15 years 8 months ago
2003
IEEE
We analyze the effect of errors in branch predictors, a representative example of speculative processor subsystems, to motivate the necessity for fault tolerance in such subsystem...
ACL
2006
15 years 1 months ago
2006
Thesauri and ontologies provide important value in facilitating access to digital archives by representing underlying principles of organization. Translation of such resources int...
81
Voted
SIGSOFT
2008
ACM
16 years 15 days ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
118
click to vote
CASC
2009
Springer
15 years 27 days ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...