1.
|
Region Type Checking for Core-Java Chin, Wei Ngan - Qin, Shengchao - Rinard, Martin C.
|
2.
|
Extending the Java language for the prevention of data races Lee, Robert Honway, 1981-
|
3.
|
Software fault identification via dynamic analysis and machine learning Brun, Yuriy, 1981-
|
4.
|
MATLAB*G: A Grid-Based Parallel MATLAB Chen, Ying - Tan, Suan Fong
|
5.
|
Hardware Transactional Memory Lie, Sean - Asanovic, Krste - Kuszmaul, Bradley C. - Leiserson, Charles E.
|