Sciweavers

3405 search results - page 260 / 681
» Factoring Groups Efficiently
Sort
View
CSCWD
2009
Springer
16 years 1 months ago
Random stimulus generation with self-tuning
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong
ICMCS
2006
IEEE
188views Multimedia» more  ICMCS 2006»
16 years 21 days ago
Large-Scale Duplicate Detection for Web Image Search
Finding visually identical images in large image collections is important for many applications such as intelligence propriety protection and search result presentation. Several a...
Bin Wang, Zhiwei Li, Mingjing Li, Wei-Ying Ma
CEC
2005
IEEE
16 years 9 days ago
Adaptive cluster covering and evolutionary approach: comparison, differences and similarities
In case the objective function to be minimized is not known analytically and no assumption can be made about the single extremum, global optimization (GO) methods must be used. Pap...
Dimitri P. Solomatine
DSD
2003
IEEE
142views Hardware» more  DSD 2003»
15 years 12 months ago
FC-Min: A Fast Multi-Output Boolean Minimizer
We present a novel heuristic algorithm for two-level Boolean minimization. In contrast to the other approaches, the proposed method firstly finds the coverage of the on-sets and f...
Petr Fiser, Jan Hlavicka, Hana Kubatova
PVM
2001
Springer
15 years 11 months ago
Dynamic Process Management in KSIX Cluster Middleware
Dynamic process management is a much-needed feature for applications and tools development in Beowulf cluster environment. A welldefined and efficient dynamic process management in...
Thara Angskun, Putchong Uthayopas, Arnon Rungsawan...