395 search results - page 41 / 79 » Encoding Algorithms for Logic Synthesis |
104
Voted
FPL
2009
Springer
15 years 7 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...
131
click to vote
EH
2000
IEEE
15 years 7 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 ...
89
Voted
TACAS
2010
Springer
15 years 9 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...
123
click to vote
SBCCI
2009
ACM
15 years 7 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...
122
click to vote
CLIMA
2010
15 years 4 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...