Login / Signup
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