Sciweavers

7766 search results - page 154 / 1554
» Testing Nondeterminate Systems
Sort
View
CASES
2007
ACM
14 years 1 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
ICCD
2008
IEEE
202views Hardware» more  ICCD 2008»
14 years 6 months ago
CrashTest: A fast high-fidelity FPGA-based resiliency analysis framework
— Extreme scaling practices in silicon technology are quickly leading to integrated circuit components with limited reliability, where phenomena such as early-transistor failures...
Andrea Pellegrini, Kypros Constantinides, Dan Zhan...
DOLAP
2009
ACM
14 years 3 months ago
A comprehensive approach to data warehouse testing
Testing is an essential part of the design life-cycle of any software product. Nevertheless, while most phases of data warehouse design have received considerable attention in the...
Matteo Golfarelli, Stefano Rizzi
ISNN
2005
Springer
14 years 2 months ago
Non-parametric Statistical Tests for Informative Gene Selection
This paper presents two non-parametric statistical test methods, called Kolmogorov-Smirnov (KS) and U statistic test methods, respectively, for informative gene selection of a tumo...
Jinwen Ma, Fuhai Li, Jianfeng Liu
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
14 years 2 months ago
JUMBL: A Tool for Model-Based Statistical Testing
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
Stacy J. Prowell