Quantitative analysis of leakage for multi-threaded programs.

Han Chen Pasquale Malacaria

Published in: PLAS (2007)

Keyphrases

quantitative analysis
multi threaded
operating system
qualitative analysis
computer architecture
multi core processors
information flow
qualitative and quantitative analysis
real time
multithreading
qualitative evaluation
computer programs
low cost
programming environment