Sciweavers

391 search results - page 16 / 79
» On Time-Aware Instrumentation of Programs
Sort
View
135
Voted
HVC
2005
Springer
112views Hardware» more  HVC 2005»
15 years 7 months ago
Dynamic Deadlock Analysis of Multi-threaded Programs
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
Saddek Bensalem, Klaus Havelund
106
Voted
CSMR
2003
IEEE
15 years 7 months ago
Improving Dynamic Data Analysis with Aspect-Oriented Programming
In this paper we present a new instrumentation approach to reverse engineer a given software application. Our approach is based on aspect-oriented programming and provides support...
Thomas Gschwind, Johann Oberleitner
86
Voted
GECCO
2000
Springer
15 years 5 months ago
Genetic Programming within a Framework of Computer-Aided Discovery of Scientific Knowledge
Present day instrumentation networks already provide immense quantities of data, very little of which provides any insights into the basic physical phenomena that are occurring in...
Maarten Keijzer, Vladan Babovic
124
Voted
OOPSLA
2005
Springer
15 years 7 months ago
Relational queries over program traces
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
Simon Goldsmith, Robert O'Callahan, Alexander Aike...
112
Voted
SIGSOFT
2004
ACM
15 years 7 months ago
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
Jürgen Dingel, Hongzhi Liang