Toledo et al., “Quantitative Performance Modeling of Scientific Computations and Creating Locality in Numerical Algorithms”, Massachusetts Institute of Technology, http://www.lcs.mit.edu/, pp. 1-153, Jun. 1995. |
Rosenberg, Jonathan B., How Debuggers Work Algorithms, Data Structures, and Architecture, New York: Wiley Computer Publishing, (1996), pp. 95-133. |
L. Pitt, Probablilistic inductive inference, ACM, pp. 383-433, Apr. 1989. |
Aral et al., “High-level debugging in parasight”, Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and distributed debugging, pp. 151-162, May 1988. |
Kessler, “Fast Breakpoints: Design and Implementation”, ACM, pp. 78-84, Jun. 1990. |
Savage, “Eraser: A Dynamic Data Race Detector for Multithreaded Programs”, ACM Transactions on Computer Systems, pp. 391-411, Nov. 1997. |
Xu et al., “Dynamic Instrumentation of Threaded Applications”, ACM, pp. 49-59, 1999. |
Ramsey, “Correctness of Trap-Based Breakpoint Implementations”, ACM, pp. 15-24, Jan. 1994. |
Buhr et al., “KDB: a multi-threaded debugger for multi-threaded applications”, ACM, pp. 80-87, May 1996. |
Koch et al., “Breakpoints and Breakpoint Detection in Source Level Emulation”, IEEE, pp. 26-31, Nov. 1996. |
“The Kernel Kit: Semaphores”, http://www.sie.co.jp/HTML/DernelKit/sems.htnl; downloaded Dec. 14, 1998, pp. 1-9. |