828 search results - page 43 / 166 » A New Model of Program Dependences for Reverse Engineering |
ISPASS
2006
IEEE
14 years 1 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
AC
2008
Springer
13 years 7 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
AOSD
2008
ACM
13 years 9 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
RAID
2005
Springer
14 years 1 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...