6014 search results - page 275 / 1203 » Structural Testing with Use Cases |
115
click to vote
WDAG
2009
Springer
15 years 11 months ago
2009
Springer
A contention-sensitive data structure is a concurrent data structure in which the overhead introduced by locking is eliminated in the common cases, when there is no contention, or ...
158
Voted
BMCBI
2004
15 years 4 months ago
2004
Background: Two or more factor mixed factorial experiments are becoming increasingly common in microarray data analysis. In this case study, the two factors are presence (Patients...
146
Voted
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
122
click to vote
AISS
2010
15 years 2 months ago
2010
In this paper we propose a new segmentation approach applied to Arabic handwriting, which can reconstruct in offline a tracing path similar to that in the case of online. Our appr...
159
click to vote
RTCSA
1999
IEEE
15 years 9 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...