6800 search results - page 168 / 1360 » Testing with Functions as Specifications |
C++
1994
13 years 10 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
In this article, we describe a new method of extracting information from signals, called functional dissipation, that proves to be very effective for enhancing classification of h...
DOCENG
2007
ACM
14 years 1 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
IPL
2008
13 years 9 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
SAC
2006
ACM
13 years 9 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...