V Aggarwal, M Mao, UM O'reilly - First NASA/ESA Conference …, 2006 - ieeexplore.ieee.org
We present a platform for implementing low power selftuning analog proportional-integral- derivative controllers. By using a model-free tuning method, the platform overcomes …
Y Serrestou, V Beroulle… - 10th Euromicro Conference …, 2007 - ieeexplore.ieee.org
The level of confidence in a VHDL description directly depends on the quality of its verification. This quality can be evaluated by mutation-based test, but the improvement of …
M Li, K Gent, MS Hsiao - 2012 IEEE International Test …, 2012 - ieeexplore.ieee.org
In this paper, we present BEACON, a Branch-oriented Evolutionary Ant Colony OptimizatioN method which is a bio-inspired meta-heuristic for design validation and functional test …
More and more people are starting to use the SystemC description language to model and simulate new designs. This is due mainly to the simplicity and power of the language. The …
AM Cruz, RB Fernández, HM Lozano… - Journal of Electronic …, 2015 - Springer
At present, the functional verification of a device represents the highest cost during manufacturing. To reduce that cost, several methods have been suggested. In this work we …
K Gent, MS Hsiao - 2013 22nd Asian Test Symposium, 2013 - ieeexplore.ieee.org
Although stochastic search techniques have shown promise in test generation and design validation, they often fail when there is a specific, random-resistant sequence of vectors …
M Mrissa, SE Tbahriti, HL Truong - 2010 Eighth IEEE European …, 2010 - ieeexplore.ieee.org
Data as a Service (DaaS) builds on service-oriented technologies to enable fast access to data resources on the Web. However, this paradigm raises several new concerns that …