10715 search results - page 196 / 2143 » Proofs from Tests |
105
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
ADC
2007
Springer
15 years 7 months ago
2007
Springer
In standard text retrieval systems, the documents are gathered and indexed on a single server. In distributed information retrieval (DIR), the documents are held in multiple colle...
121
click to vote
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
107
Voted
JMM2
2007
15 years 23 days ago
2007
— For Optical Character Recognition (OCR) of bilingual or multilingual document containing text words in regional language and numerals in English, it is necessary to identify di...
126
Voted
IJMI
2002
15 years 16 days ago
2002
: Much of knowledge modeling in the molecular biology domain involves interactions between proteins, genes, various forms of RNA, small molecules, etc. Interactions between these s...