6800 search results - page 551 / 1360 » Testing with Functions as Specifications |
209
click to vote
SLOGICA
2008
15 years 7 months ago
2008
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
168
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: Most current DNA diagnostic tests for identifying organisms use specific oligonucleotide probes that are complementary in sequence to, and hence only hybridise with th...
197
click to vote
BMCBI
2004
15 years 7 months ago
2004
Background: It is well known that different species have different protein domain repertoires, and indeed that some protein domains are kingdom specific. This information has not ...
213
click to vote
ENTCS
2002
15 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
190
click to vote
ML
2002
ACM
15 years 7 months ago
2002
ACM
The execution order of a block of computer instructions on a pipelined machine can make a difference in running time by a factor of two or more. Compilers use heuristic schedulers...