6800 search results - page 88 / 1360 » Testing with Functions as Specifications |
187
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
90
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Knottins are small, diverse and stable proteins with important drug design potential. They can be classified in 30 families which cover a wide range of sequences (1621...
157
Voted
IFIP13
2004
15 years 4 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
121
Voted
ICML
2009
IEEE
16 years 3 months ago
2009
IEEE
Many learning algorithms rely on the curvature (in particular, strong convexity) of regularized objective functions to provide good theoretical performance guarantees. In practice...
152
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...