Sciweavers

1031 search results - page 207 / 207
» Modeling and Formal Verification of Production Automation Sy...
Sort
View
PLDI
2005
ACM
14 years 1 months ago
Pin: building customized program analysis tools with dynamic instrumentation
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish...