214 search results - page 10 / 43 » Automatic Correction of Loop Transformations |
104
click to vote
IWFM
1998
15 years 1 months ago
1998
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
88
Voted
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
111
click to vote
FM
2006
Springer
15 years 4 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
115
Voted
CAV
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
101
Voted
GEOINFO
2004
15 years 1 months ago
2004
: This work is on development of a method for automatic registration of satellite images acquired on different dates, for both geometric and radiometric correction with respect to ...