Sciweavers

34170 search results - page 296 / 6834
» Optimization
Sort
View
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 9 months ago
Optimizing equivalence checking for behavioral synthesis
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang
ICPR
2010
IEEE
15 years 9 months ago
Maximum Likelihood Estimation of Gaussian Mixture Models Using Particle Swarm Optimization
—We present solutions to two problems that prevent the effective use of population-based algorithms in clustering problems. The first solution presents a new representation for ...
Caglar Ari, Selim Aksoy
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 9 months ago
Equilibrium species counts and migration model tradeoffs for biogeography-based optimization
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...
Haiping Ma, Suhong Ni, Man Sun
INDOCRYPT
2001
Springer
15 years 9 months ago
Elliptic Curves of Prime Order over Optimal Extension Fields for Use in Cryptography
We present an algorithm for generating elliptic curves of prime order over Optimal Extension Fields suitable for use in cryptography. The algorithm is based on the theory of Comple...
Harald Baier
DATE
2000
IEEE
119views Hardware» more  DATE 2000»
15 years 9 months ago
Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis
We present an approach to bus access optimization and schedulability analysis for the synthesis of hard real-time distributed embedded systems. The communication model is based on...
Paul Pop, Petru Eles, Zebo Peng