Search Sciweavers | Sciweavers

1492 search results - page 13 / 299

» Testing Properties of Constraint-Graphs

click to vote

CORR
2010
Springer

160views Education» more CORR 2010»

New Results on Quantum Property Testing

14 years 11 months ago

Download homepages.cwi.nl

We present several new examples of speed-ups obtainable by quantum algorithms in the context of property testing. First, motivated by sampling algorithms, we consider probability d...

Sourav Chakraborty, Eldar Fischer, Arie Matsliah, ...

claim paper

Read More »

114

click to vote

BMCBI
2005

130views more BMCBI 2005»

Some statistical properties of regulatory DNA sequences, and their use in predicting regulatory regions in the Drosophila genome

14 years 11 months ago

Download uhra.herts.ac.uk

Background: This paper addresses the problem of recognising DNA cis-regulatory modules which are located far from genes. Experimental procedures for this are slow and costly, and ...

Irina I. Abnizova, Rene te Boekhorst, Klaudia Walt...

claim paper

Read More »

click to vote

GLVLSI
2003
IEEE

130views VLSI» more GLVLSI 2003»

Mixing ATPG and property checking for testing HW/SW interfaces

15 years 5 months ago

Download www.ra.informatik.uni-stuttgart.de

A critical part of the design of HW/SW systems concerns the deﬁnition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...

Alessandro Fin, Franco Fummi, Graziano Pravadelli

claim paper

Read More »

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Testing Linear-Invariant Non-Linear Properties

15 years 6 months ago

Download www.wisdom.weizmann.ac.il

Arnab Bhattacharyya, Victor Chen, Madhu Sudan, Nin...

claim paper

Read More »