Workload Characterization of Nondeterministic Programs Parallelized by STATS.

Enrico Armenio Deiana Simone Campanoni

Published in: ISPASS (2019)

Keyphrases

finite automata
response time
finite state
axiomatic characterization
computer programs
low overhead
database applications
prolog programs
fixpoint
programming environment
data mining
programming language
evolutionary algorithm
case study
search engine
genetic algorithm
machine learning