1911 search results - page 149 / 383 » Program analysis for code duplication in logic programs |
175
Voted
SC
2009
ACM
16 years 28 days ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
136
Voted
ICSOFT
2007
15 years 7 months ago
2007
Modern software development is driven by many critical forces. Among them are fast deployment requirements, a code base adaptable to new technologies, easy-to-maintain code, and lo...
309
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
156
click to vote
RTSS
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
156
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...