6800 search results - page 179 / 1360 » Testing with Functions as Specifications |
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
ECCC
2011
13 years 4 months ago
2011
We develop a new technique for proving lower bounds in property testing, by showing a strong connection between testing and communication complexity. We give a simple scheme for r...
ICFP
2007
ACM
14 years 1 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
CODES
2005
IEEE
14 years 3 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
BMCBI
2007
13 years 9 months ago
2007
Background: Ribozymes are small catalytic RNAs that possess the dual functions of sequencespecific RNA recognition and site-specific cleavage. Trans-cleaving ribozymes can inhibit...