Automated Micro-Roll-back Self-Recovery Synthesis.

Vijay Raghavendra Chidchanok Lursinsap

Published in: DAC (1991)

Keyphrases

fully automated
semi automated
databases
program synthesis
texture synthesis
recovery algorithm
machine learning
knowledge base
objective function
optimal solution
learning environment
lower bound
high speed
semi automatic
fully automatic
computer assisted