395 search results - page 50 / 79 » Encoding Algorithms for Logic Synthesis |
141
click to vote
CADE
2012
Springer
13 years 4 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
111
click to vote
CEC
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we present two new approaches based on genetic algorithms (GA) to reduce power consumption by communication buses in an embedded system. The first approach makes it ...
132
click to vote
AAAI
1996
15 years 3 months ago
1996
Markov decision processes (MDPs) are a very popular tool for decision theoretic planning (DTP), partly because of the welldeveloped, expressive theory that includes effective solu...
87
Voted
INFOCOM
2010
IEEE
15 years 25 days ago
2010
IEEE
—Designers of TCAMs (ternary CAMs) for packet classification often have to deal with unpredictable sets of rules. These result in highly variable rule expansions, and can only r...
DAC
2002
ACM
16 years 3 months ago
2002
ACM
A regular circuit structure called a River PLA and its reconfigurable version, Glacier PLA, are presented. River PLAs provide greater regularity than circuits implemented with sta...