Search Sciweavers | Sciweavers

1620 search results - page 20 / 324

» Testing Polymorphic Properties

124

click to vote

ECCC
2011

171views ECommerce» more ECCC 2011»

Testing Linear Properties: Some general themes

14 years 5 months ago

Download people.csail.mit.edu

The last two decades have seen enormous progress in the development of sublinear-time algorithms — i.e., algorithms that examine/reveal properties of “data” in less time tha...

Madhu Sudan

claim paper

Read More »

141

Voted

BMCBI
2005

130views more BMCBI 2005»

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

15 years 1 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 »

103

click to vote

GLVLSI
2003
IEEE

130views VLSI» more GLVLSI 2003»

Mixing ATPG and property checking for testing HW/SW interfaces

15 years 7 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 »

Voted

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Testing Linear-Invariant Non-Linear Properties

15 years 8 months ago

Download www.wisdom.weizmann.ac.il

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

claim paper

Read More »