391 search results - page 52 / 79 » On Time-Aware Instrumentation of Programs |
JIKM
2007
15 years 1 months ago
2007
This paper presents the role of an innovative university masters’ degree program as a basis for skills development in human capital analysis for finance and business students in...
113
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
118
Voted
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
Because data races represent a hard-to-manage class of errors in concurrent programs, numerous approaches to detect them have been proposed and evaluated. We specifically consider...
118
Voted
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...
218
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...