Parameterized Synthesis Case Study: AMBA AHB.

Roderick Bloem Swen Jacobs Ayrat Khalimov

Published in: SYNT (2014)

Keyphrases

case study
lessons learned
trade off
texture synthesis
databases
real world
program synthesis
real time
three dimensional
multiscale
search algorithm
information technology
evolutionary algorithm
business process