5109 search results - page 619 / 1022 » On Learning Limiting Programs |
187
click to vote
ISSTA
2007
ACM
15 years 8 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
173
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
210
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
174
Voted
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Many perception and multimedia indexing problems involve datasets that are naturally comprised of multiple streams or modalities for which supervised training data is only sparsely...
202
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Unsupervised over-segmentation of an image into superpixels
is a common preprocessing step for image parsing
algorithms. Superpixels are used as both regions of support
for feat...