6800 search results - page 502 / 1360 » Testing with Functions as Specifications |
192
click to vote
RECOMB
2002
Springer
16 years 8 months ago
2002
Springer
We present a new statistically optimal approach to estimate transcript levels and ratios from one or more gene array experiments. The Bayesian Estimation of Array Measurements (BE...
166
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
—In the VLSI design process, a design implementation often needs to be corrected because of new specifications or design constraint violations. This correction process is referre...
286
click to vote
DSOM
2007
Springer
16 years 1 months ago
2007
Springer
Web Services are an XML technology recently viewed as capable of being used for network management. A key aspect of WS in this domain is event reporting. WS-based research in this ...
157
click to vote
DATE
2005
IEEE
16 years 1 months ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
210
click to vote
EUROMICRO
2005
IEEE
16 years 1 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...