Sciweavers

6941 search results - page 1122 / 1389
» Testing as a Certification Approach
Sort
View
FPGA
2006
ACM
129views FPGA» more  FPGA 2006»
15 years 8 months ago
Power-aware RAM mapping for FPGA embedded memory blocks
Embedded memory blocks are important resources in contemporary FPGA devices. When targeting FPGAs, application designers often specify high-level memory functions which exhibit a ...
Russell Tessier, Vaughn Betz, David Neto, Thiagara...
147
Voted
GECCO
2006
Springer
226views Optimization» more  GECCO 2006»
15 years 8 months ago
Segmentation of medical images using a genetic algorithm
Segmentation of medical images is challenging due to poor image contrast and artifacts that result in missing or diffuse organ/tissue boundaries. Consequently, this task involves ...
Payel Ghosh, Melanie Mitchell
GECCO
2006
Springer
207views Optimization» more  GECCO 2006»
15 years 8 months ago
Both robust computation and mutation operation in dynamic evolutionary algorithm are based on orthogonal design
A robust dynamic evolutionary algorithm (labeled RODEA), where both the robust calculation and mutation operator are based on an orthogonal design, is proposed in this paper. Prev...
Sanyou Y. Zeng, Rui Wang, Hui Shi, Guang Chen, Hug...
GECCO
2006
Springer
156views Optimization» more  GECCO 2006»
15 years 8 months ago
Probabilistic modeling for continuous EDA with Boltzmann selection and Kullback-Leibeler divergence
This paper extends the Boltzmann Selection, a method in EDA with theoretical importance, from discrete domain to the continuous one. The difficulty of estimating the exact Boltzma...
Yunpeng Cai, Xiaomin Sun, Peifa Jia
167
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
« Prev « First page 1122 / 1389 Last » Next »