Sciweavers

4167 search results - page 355 / 834
» Evolutionary functional testing
Sort
View
JGO
2010
138views more  JGO 2010»
15 years 2 months ago
Continuous GRASP with a local active-set method for bound-constrained global optimization
Abstract. Global optimization seeks a minimum or maximum of a multimodal function over a discrete or continuous domain. In this paper, we propose a hybrid heuristic – based on th...
Ernesto G. Birgin, Erico M. Gozzi, Mauricio G. C. ...
APAL
2011
14 years 11 months ago
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
Gerhard Jäger, Dieter Probst
ICCD
2004
IEEE
122views Hardware» more  ICCD 2004»
16 years 1 months ago
Quality Improvement Methods for System-Level Stimuli Generation
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh
ISCAS
2007
IEEE
164views Hardware» more  ISCAS 2007»
15 years 10 months ago
Noise Figure Measurement Using Mixed-Signal BIST
—A Built-In Self-Test (BIST) approach for functionality measurements, including noise figure (NF), linearity and frequency response of analog circuitry in mixedsignal systems, is...
Jie Qin, Charles E. Stroud, Foster F. Dai
JCB
2008
81views more  JCB 2008»
15 years 4 months ago
New Constructions of One- and Two-Stage Pooling Designs
The study of gene functions requires a DNA library of high quality, such a library is obtained from a large mount of testing and screening. Pooling design is a very helpful tool f...
Yongxi Cheng, Ding-Zhu Du