Sciweavers

961 search results - page 19 / 193
» Automatic design synthesis with artificial intelligence tech...
Sort
View
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 12 months ago
Automatic synthesis of compressor trees: reevaluating large counters
Despite the progress of the last decades in electronic design automation, arithmetic circuits have always received way less attention than other classes of digital circuits. Logic...
Ajay K. Verma, Paolo Ienne
ATAL
2007
Springer
15 years 11 months ago
Automatic feature extraction for autonomous general game playing agents
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...
David M. Kaiser
188
Voted
PEPM
2012
ACM
14 years 1 months ago
Ideas for connecting inductive program synthesis and bidirectionalization
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
Janis Voigtländer
147
Voted
ISMVL
2010
IEEE
209views Hardware» more  ISMVL 2010»
15 years 10 months ago
Secure Design Flow for Asynchronous Multi-valued Logic Circuits
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
15 years 9 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy