395 search results - page 41 / 79 » Encoding Algorithms for Logic Synthesis |
125
click to vote
FPL
2009
Springer
15 years 9 months ago
2009
Springer
We leverage properties of the logic synthesis netlist to define both a logic element architecture and an associated technology mapping algorithm that together provide improved lo...
148
click to vote
EH
2000
IEEE
15 years 8 months ago
2000
IEEE
Reconfigurable chips are integrated circuits whose internal connections can be programmed by the user to attend a specific application. Field Programmable Gate Arrays (FPGAs) and ...
112
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
137
click to vote
SBCCI
2009
ACM
15 years 9 months ago
2009
ACM
The multiplication of a variable by multiple constants, i.e., the multiple constant multiplications (MCM), has been a central operation and performance bottleneck in many applicat...
137
click to vote
CLIMA
2010
15 years 5 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...