A Partial Evaluator for the Maruti Hard Real-Time System.

Vivek Nirkhe William Pugh

Published in: Real Time Syst. (1993)

Keyphrases

medical images
data sets
machine learning
data streams
data model
scheduling problem
partial information