577 search results - page 80 / 116 » A neurodynamical model for working memory |
142
click to vote
FMCAD
2009
Springer
16 years 19 days ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
159
click to vote
MICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper proposes a precise approach to register allocation for irregular-register architectures which is based on 0-1 integer programming (IP). Prior work shows that IP registe...
165
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
This work describes a forward-looking approach for the solution of dynamic (time-changing) problems using evolutionary algorithms. The main idea of the proposed method is to combi...
201
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...
263
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Supporting ranking queries in database systems has been a popular research topic recently. However, there is a lack of study on supporting ranking queries in data warehouses where...