1911 search results - page 292 / 383 » Program analysis for code duplication in logic programs |
124
click to vote
ICSM
2009
IEEE
15 years 9 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
175
click to vote
ICDAR
2009
IEEE
15 years 5 days ago
2009
IEEE
The paper describes a new approach using a Conditional Random Fields (CRFs) to extract physical and logical layouts in unconstrained handwritten letters such as those sent by indi...
103
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
201
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
101
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Use case diagrams (UCDs) are widely used to describe requirements and desired functionality of software products. However, UCDs are loosely linked to source code, and maintaining ...