412 search results - page 48 / 83 » The documentary structure of source code |
113
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...
113
click to vote
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
126
click to vote
BIOINFORMATICS
2012
13 years 4 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
91
Voted
MICCAI
2003
Springer
16 years 2 months ago
2003
Springer
Abstract. In this paper we present a new algorithm for 3D medical image segmentation. The algorithm is fast, relatively simple to implement, and semi-automatic. It is based on mini...
134
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...