Sciweavers

4270 search results - page 34 / 854
» A Permutation Approach to Validation
Sort
View
EH
2003
IEEE
116views Hardware» more  EH 2003»
15 years 5 months ago
Silicon Validation of Evolution-Designed Circuits
No silicon fabrication and characterization of circuits with topologies designed by evolution has been done before, leaving open questions about the feasibility of the evolutionar...
Adrian Stoica, Ricardo Salem Zebulum, Xin Guo, Did...
CAISE
2008
Springer
15 years 1 months ago
Validation of UML Conceptual Schemas with Operations
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
Anna Queralt, Ernest Teniente
BMCBI
2010
116views more  BMCBI 2010»
14 years 12 months ago
permGPU: Using graphics processing units in RNA microarray association studies
Background: Many analyses of microarray association studies involve permutation, bootstrap resampling and crossvalidation, that are ideally formulated as embarrassingly parallel c...
Ivo D. Shterev, Sin-Ho Jung, Stephen L. George, Ko...
SE
2007
15 years 1 months ago
New test approach for embedded applications
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
Alain Deutsch, Klaus Wissing
CLEF
2008
Springer
15 years 1 months ago
Answer Validation on English and Romanian Languages
The present article presents the steps involved in the transformation of the TE system that was used in the RTE3 competition in 2007 for the AVE 2008 exercise. We describe the rule...
Adrian Iftene, Alexandra Balahur