16725 search results - page 2643 / 3345 » Engineering Software Correctness |
189
Voted
SAS
2004
Springer
16 years 19 days ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
195
Voted
PADS
2003
ACM
16 years 16 days ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
203
click to vote
EGH
2003
Springer
16 years 15 days ago
2003
Springer
The Fourier transform is a well known and widely used tool in many scientific and engineering fields. The Fourier transform is essential for many image processing techniques, in...
185
Voted
FM
2003
Springer
16 years 15 days ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
173
click to vote
ICIP
2002
IEEE
16 years 7 days ago
2002
IEEE
Text superimposed on the video frames provides supplemental but important information for video indexing and retrieval. Many efforts have been made for videotext detection and rec...