1222 search results - page 211 / 245 » Verifying a File System Implementation |
110
click to vote
CODASPY
2012
13 years 7 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
Motion blur due to camera motion can significantly degrade the quality of an image. Since the path of the camera motion can be arbitrary, deblurring of motion blurred images is a ...
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
During the Mars Exploration Rovers (MER) landings, the Descent Image Motion Estimation System (DIMES) was used for horizontal velocity estimation. The DIMES algorithm combines mea...
VLSID
2002
IEEE
16 years 4 days ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
172
Voted
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
Snippets are used by almost every text search engine to complement ranking scheme in order to effectively handle user searches, which are inherently ambiguous and whose relevance ...