4880 search results - page 708 / 976 » Manuals as Structured Programs |
181
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
170
click to vote
IISWC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
155
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a tree-pattern-based method of automatically and accurately finding code clones in program files. Duplicate tree-patterns are first collected by anti-unificati...
176
click to vote
COCOA
2009
Springer
16 years 1 months ago
2009
Springer
Combinatorial optimization problems have recently emerged in the design of controllers for OLED displays. The objective is to decompose an image into subframes minimizing the addre...
172
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...