1057 search results - page 130 / 212 » Testing from Formal Specifications, a Generic Approach |
BMCBI
2010
13 years 7 months ago
2010
Background: Analyzing interaction networks for functional characterization poses significant challenges arising from the noisy, incomplete, and generic nature of both the interact...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
IJHPCA
2006
13 years 7 months ago
2006
Abstract-- High performance computing platforms like Clusters, Grid and Desktop Grids are becoming larger and subject to more frequent failures. MPI is one of the most used message...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
JMLR
2010
13 years 2 months ago
2010
This study explores the feasibility of estimating the Body Condition Score (BCS) of cows from digital images by employing statistical shape analysis and regression machines. The s...