3779 search results - page 131 / 756 » Linear Consistency Testing |
201
click to vote
WOB
2008
15 years 7 months ago
2008
Abstract. We study a parametrized definition of gene clusters that permits control over the trade-off between increasing gene content versus conserving gene order within a cluster....
140
click to vote
DM
2010
15 years 6 months ago
2010
A preorder consists of linearly ordered equivalence classes called blocks, and an alignment is a sequence of cycles on n labelled elements. We investigate the block structure of a...
146
click to vote
AML
2008
15 years 4 months ago
2008
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
143
click to vote
VLDB
1987
ACM
15 years 9 months ago
1987
ACM
There are several consistency control algorithms for managing replicated files in the face of network partitioning due to site or communication link failures. In this paper, we co...
148
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we propose a novel fault-oriented test generation methodology for detection and isolation of faults in analog circuits. Given the description of the circuit-underte...