Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS).

Cosmin E. Oancea Alan Mycroft

Published in: LCPC (2008)

Keyphrases

dynamic analysis
probability distribution
small number
levels of abstraction
static analysis
neural network
real world
artificial intelligence
website
case study
open source
user defined
convex hull