Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies.
Saved in:
| Title: | Using Formal Models to Objectively Judge Quality of Multi-Threaded Programs in Empirical Studies. |
|---|---|
| Authors: | Dillon, Laura K.1, ldillon@cse.msu.edu, Stirewalt, R. E. K.1, stire@cse.msu.edu, Kraemer, Eileen2, eileen@cs.uga.edu, Shaohua Xie2, shaohua@cs.uga.edu, Fleming, Scott D.1, sdf@cse.msu.edu |
| Source: | ICSE: International Conference on Software Engineering; 2008, p33-38, 6p, 3 Diagrams, 1 Chart |
| Database: | Applied Science & Technology Source |
| Description not available. |
