Sciweavers

6014 search results - page 706 / 1203
» Structural Testing with Use Cases
Sort
View
CEC
2007
IEEE
15 years 11 months ago
Development and validation of different hybridization strategies between GA and PSO
In this paper a new class of hybridization strategies between GA and PSO is presented and validated. The Genetical Swarm Optimization (GSO) approach is presented here with respect ...
A. Gandelli, F. Grimaccia, Marco Mussetta, Paola P...
DAC
2007
ACM
15 years 11 months ago
A Framework for the Validation of Processor Architecture Compliance
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jae...
3DPVT
2004
IEEE
15 years 11 months ago
Robust Concealment for Erroneous Block Bursts in Stereoscopic Images
With the increasing number of image communication applications especially in the low complexity domain, error concealment has become a very important field of research. Since many...
Sebastian Knorr, Carsten Clemens, Matthias Kunter,...
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 11 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
GECCO
2006
Springer
181views Optimization» more  GECCO 2006»
15 years 11 months ago
Particle swarm with speciation and adaptation in a dynamic environment
This paper describes an extension to a speciation-based particle swarm optimizer (SPSO) to improve performance in dynamic environments. The improved SPSO has adopted several prove...
Xiaodong Li, Jürgen Branke, Tim Blackwell