Asynchronous programs with prioritized task-buffers.

Michael Emmi Akash Lal Shaz Qadeer

Published in: SIGSOFT FSE (2012)

Keyphrases

automatic programming
decision trees
answer sets
neural network
computer vision
clustering algorithm
case study
production system
discussion forums
possibilistic logic
control structures
provably correct
delay insensitive