2686 search results - page 144 / 538 » Testing metric properties |
164
click to vote
TSE
2011
15 years 11 days ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
170
click to vote
ICASSP
2010
IEEE
15 years 9 days ago
2010
IEEE
An operational framework is developed for testing stationarity relatively to an observation scale. The proposed method makes use of a family of stationary surrogates for defining ...
154
click to vote
ECCC
2000
15 years 5 months ago
2000
We consider testing graph expansion in the bounded-degree graph model. Specifically, we refer to algorithms for testing whether the graph has a second eigenvalue bounded above by a...
149
click to vote
DFT
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper we analyze the performance of a mixed built-in-self-test (BiST) for RF IC digital transceivers, where a baseband processor can be used both as a test pattern generat...
173
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...