2312 search results - page 107 / 463 » Invariance in Property Testing |
151
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
115
click to vote
SP
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
141
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper addresses the performance of bit-interleaved coded multiple beamforming (BICMB) [1], [2] with imperfect knowledge of beamforming vectors. Most studies for limited-rate ...
110
click to vote
GD
2004
Springer
15 years 9 months ago
2004
Springer
The upward planarity testing problem consists of testing if a digraph admits a drawing Γ such that all edges in Γ are monotonically increasing in the vertical direction and no e...
134
click to vote
VLSID
2009
IEEE
16 years 4 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...