2312 search results - page 136 / 463 » Invariance in Property Testing |
134
click to vote
DELTA
2002
IEEE
15 years 9 months ago
2002
IEEE
A DSP technique that transforms a digital signal by warping the frequency axis is discussed. The technique corresponds to a mapping of the samples in the z-domain such that they a...
139
click to vote
JANCL
2006
15 years 4 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
137
click to vote
CSDA
2006
15 years 4 months ago
2006
A general test statistic for detecting change-points in multidimensional stochastic processes with unknown parameters is proposed. The test statistic is specialized to the case of...
133
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
135
click to vote
DDECS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper describes a new self-testing 1-bit full adder. This circuit consists of three polymorphic NAND/NOR gates, two XOR gates and two inverters. The adder is able to detec...