Sciweavers

2312 search results - page 135 / 463
» Invariance in Property Testing
Sort
View
SIAMCO
2008
98views more  SIAMCO 2008»
15 years 4 months ago
Kernel Density Estimation and Goodness-of-Fit Test in Adaptive Tracking
We investigate the asymptotic properties of a recursive kernel density estimator associated with the driven noise of a linear regression in adaptive tracking. We provide an almost ...
Bernard Bercu, Bruno Portier
FMICS
2006
Springer
15 years 7 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
WOB
2008
128views Bioinformatics» more  WOB 2008»
15 years 5 months ago
Tests for Gene Clusters Satisfying the Generalized Adjacency Criterion
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....
Ximing Xu, David Sankoff
CCS
2011
ACM
14 years 4 months ago
Trace equivalence decision: negative tests and non-determinism
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
Vincent Cheval, Hubert Comon-Lundh, Stéphan...
ITC
2003
IEEE
126views Hardware» more  ITC 2003»
15 years 9 months ago
Convolutional Compaction of Test Responses
This paper introduces a finite memory compactor called convolutional compactor that provides compaction ratios of test responses in excess of 100x even for a very small number of ...
Janusz Rajski, Jerzy Tyszer, Chen Wang, Sudhakar M...