On Detecting Termination in the Crash-Recovery Model.

Felix C. Freiling Matthias Majuntke Neeraj Mittal

Published in: Euro-Par (2007)

Keyphrases

computational model
probabilistic model
high level
theoretical framework
computational models
linear model
feature selection
image sequences
parameter estimation
experimental data
conceptual model
formal model