5159 search results - page 157 / 1032 » Structural Testing of Executables |
157
click to vote
SBMF
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
206
click to vote
SEAA
2008
IEEE
16 years 23 days ago
2008
IEEE
Grid access methods are still dominated by command line tools or manually developed, problem specific graphical user interfaces. This fact reduces the acceptance of the Grid for ...
158
click to vote
DPHOTO
2010
15 years 7 months ago
2010
The high level context image analysis regards many fields as face recognition, smile detection, automatic red eye removal, iris recognition, fingerprint verification, etc. Techniq...
157
click to vote
ICAD
2004
15 years 7 months ago
2004
Previous work on the production and test of various sonifications has shown that adding a sonification to an interface can assist the execution of a variety of operator tasks [1,2...
159
click to vote
JMM2
2007
15 years 6 months ago
2007
—Optical flow algorithms are difficult to apply to robotic vision applications in practice because of their extremely high computational and frame rate requirements. In most case...