1299 search results - page 44 / 260 » On the Correctness of Operating System Kernels |
162
click to vote
ASPLOS
2012
ACM
13 years 11 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
131
click to vote
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
A core problem in data mining is to retrieve data in a easy and human friendly way. Automatically translating natural language questions into SQL queries would allow for the design...
126
click to vote
ICCAD
2007
IEEE
16 years 28 days ago
2007
IEEE
— Determination of maximum operating frequencies (Fmax) during manufacturing test at different operating voltages is required to: (a) to ensure that, for a Dynamic Voltage and Fr...
150
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...
108
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Cerium is a trusted computing architecture that protects a program’s execution from being tampered while the program is running. Cerium uses a physically tamperresistant CPU and...