187 search results - page 26 / 38 » Model Based Testing of Large-scale Software: How Can Simple ... |
BMCBI
2010
13 years 7 months ago
2010
Background: Microarray technology allows the simultaneous analysis of thousands of genes within a single experiment. Significance analyses of transcriptomic data ignore the gene d...
ECAL
1999
Springer
13 years 12 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
AMOST
2007
ACM
13 years 11 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
This work is based on the premise that online learning environments can potentially help develop communities of scholars by enabling participants to discover persons and resources...