Towards formal probabilistic power-performance design space exploration.

Joonsoo Kim Michael Orshansky

Published in: ACM Great Lakes Symposium on VLSI (2006)

Keyphrases

design space exploration
design space
bayesian networks
computer architecture
power consumption
hardware software partitioning
design process
probabilistic model
databases
data mining
multiscale
optimal solution
peer to peer
computer systems
formal specification