6800 search results - page 222 / 1360 » Testing with Functions as Specifications |
109
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
150
click to vote
NAACL
2010
15 years 2 months ago
2010
I briefly describe a system for automatically creating an implemented grammar of a natural language based on answers to a web-based questionnaire, then present a grammar of Sahapt...
140
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Finding over- or under-represented motifs in biological sequences is now a common task in genomics. Thanks to p-value calculation for motif counts, exceptional motifs ...
132
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
It has been shown that the delay of a target path can be composed linearly of other path delays. If the later paths are robustly testable (with known delay values), the target pat...
139
click to vote
COCO
2007
Springer
15 years 11 months ago
2007
Springer
We study a model of graph related formulae that we call the Constraint-Graph model. A constraintgraph is a labeled multi-graph (a graph where loops and parallel edges are allowed)...