644 search results - page 29 / 129 » Graph structured program evolution |
122
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
102
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Program call graph representation can be used to support many tasks in compiler optimization, program comprehension, and software maintenance. During software evolution, the call ...
179
click to vote
PAMI
2011
14 years 8 months ago
2011
Optimization is a powerful paradigm for expressing and solving problems in a wide range of areas, and has been successfully applied to many vision problems. Discrete optimization ...
105
click to vote
CW
2002
IEEE
15 years 6 months ago
2002
IEEE
Metamorphosis between 3D objects is often the transformation between a pair of shapes that have the same topology. This paper presents a new model using Reeb graphs and their cont...
126
click to vote
JMLC
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...