Formal System-level Design Space Exploration.

Daniel Knorreck Ludovic Apvrille Renaud Pacalet

Published in: NOTERE (2010)

Keyphrases

design space exploration
hardware software partitioning
fine grained
case study
formal specification
design space
computer architecture
artificial intelligence
database systems
computer science
expert systems
image analysis
formal methods