561 search results - page 10 / 113 » Alias Analysis of Executable Code |
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
ATAL
2006
Springer
14 years 10 days ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
ICSE
2011
IEEE-ACM
13 years 1 days ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
RTSS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...