Keyphrases
- low cost
- hardware and software
- mixed integer linear programming
- linear program
- hardware implementation
- real time
- mixed integer linear
- parallel hardware
- massively parallel
- computing systems
- program synthesis
- digital circuits
- computer systems
- search space
- dynamic programming
- embedded systems
- hardware architecture
- data sets
- information systems
- functional programs
- control program
- resource constrained project scheduling problem
- high speed
- constraint solving
- high end
- hardware design
- global constraints
- data acquisition
- branch and bound algorithm