243 search results - page 29 / 49 » Error Detection Using Dynamic Dataflow Verification |
DLS
2009
13 years 6 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...
CVPR
1999
IEEE
14 years 28 days ago
1999
IEEE
We address the problem of detection and tracking of moving objects in a video stream obtained from a moving airborne platform. The proposed method relies on a graph representation...
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
MICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
We develop a microprocessor design that tolerates hard faults, including fabrication defects and in-field faults, by leveraging existing microprocessor redundancy. To do this, we...
ACCV
2009
Springer
14 years 3 months ago
2009
Springer
We present a novel algorithm for improving the accuracy of structure from motion on video sequences. Its goal is to efficiently recover scene structure and camera pose by using dyn...