Unifying Partitioning and Placement for SAT-Based Exploration of Heterogeneous Reconfigurable SoCs.

Stefan Wildermann Jürgen Teich Daniel Ziener

Published in: FPL (2011)

Keyphrases

low cost
answer set programming
bounded model checking
hardware implementation
general purpose
answer sets
multi objective evolutionary
digital signal
graph partitioning
heterogeneous data
ai planning
reconfigurable architecture
real time
action selection
orders of magnitude
real world
data sets