4469 search results - page 429 / 894 » Dynamic Program Slicing |
199
click to vote
NFM
2011
15 years 1 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
197
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
In writing parallel programs, programmers expose parallelism and optimize it to meet a particular performance goal on a single platform under an assumed set of workload characteri...
192
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
This paper presents a novel algorithm that improves the localization of disparity discontinuities of disparity maps obtained by multi-baseline stereo. Rather than associating a di...
185
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Video inpainting is the process of repairing missing regions (holes) in videos. Most automatic techniques are computationally intensive and unable to repair large holes. To tackle...
170
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Power consumption is a crucial concern in nanometer chip design. Researchers have shown that multiple supply voltage (MSV) is an effective method for power consumption reduction....