4079 search results - page 341 / 816 » Differential Testing for Software |
102
click to vote
SE
2007
15 years 6 months ago
2007
: Die konventionelle, benutzungsorientierte Prüfung der Qualität von Software konzentriert sich aufs Testen des Systemverhaltens unter regulären Bedingungen. Der vorliegende Bei...
140
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Modern biology has shifted from "one gene" approaches to methods for genomic-scale analysis like microarray technology, which allow simultaneous measurement ...
156
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
128
click to vote
BIBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Genetical genomics has been established to study genetic variation of gene expression. It treats transcript expression as a quantitative trait and identifies putative regulatory l...
168
click to vote
HPCA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...