7393 search results - page 149 / 1479 » Synthesis-for-testability using transformations |
105
Voted
CSB
2004
IEEE
15 years 7 months ago
2004
IEEE
Motivation: Cell-cycle regulated gene prediction using microarray time-course measurements of the mRNA expression levels of genes has been used by several researchers. The popular...
139
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
133
click to vote
MVA
1990
15 years 4 months ago
1990
Abstract When the data is processed from the digitized drawThis paper presents how the recently presented Randomized IIough Transform (RHT) method can be used as a part of an engin...
121
Voted
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
131
click to vote
MMSP
2008
IEEE
15 years 9 months ago
2008
IEEE
—The ongoing research in Distributed Video Coding (DVC) for low complexity encoding is trying to shorten the substantial performance gap to well known state-of-the-art coders. On...