3902 search results - page 194 / 781 » Hardware Synthesis from C C Models |
149
click to vote
ISCA
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper explores the design space of MMU caches that accelerate virtual-to-physical address translation in processor architectures, such as x86-64, that use a radix tree page t...
143
click to vote
ML
2000
ACM
15 years 3 months ago
2000
ACM
We present an approach to inductive concept learning using multiple models for time series. Our objective is to improve the efficiency and accuracy of concept learning by decomposi...
244
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
135
click to vote
FC
2007
Springer
15 years 10 months ago
2007
Springer
Keylogging and phishing attacks can extract user identity and sensitive account information for unauthorized access to users’ financial accounts. Most existing or proposed solut...
150
Voted
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...