Login / Signup
Using formal models to objectively judge quality of multi-threaded programs in empirical studies.
Laura K. Dillon
R. E. Kurt Stirewalt
Eileen T. Kraemer
Shaohua Xie
Scott D. Fleming
Published in:
MiSE (2008)
Keyphrases
</>
empirical studies
formal models
multi threaded
formal model
real world data sets
rule based systems
information flow
computer architecture
machine learning
computational intelligence
operating system
multithreading