12272 search results - page 51 / 2455 » Experimental program analysis |
119
Voted
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
108
Voted
ECCV
2000
Springer
16 years 2 months ago
2000
Springer
This paper focuses on matching 1D structures by variational methods. We provide rigorous rules for the construction of the cost function, on the basis of an analysis of properties ...
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...