Synthesis for Arithmetic Built-In Self-Tes.

Albrecht P. Stroele

Published in: VTS (2000)

Keyphrases

program synthesis
real time
artificial intelligence
case study
high level
search algorithm
functional programs
neural network
image processing
trade off