5595 search results - page 30 / 1119 » Comparing Subsumption Optimizations |
129
Voted
ICCD
2004
IEEE
15 years 11 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
121
Voted
CBMS
2009
IEEE
15 years 9 months ago
2009
IEEE
Feature extraction and selection are two important steps for shape retrieval. Given a data set, a set of features which describe the shape property from different aspects are extr...
122
Voted
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
— The high-level synthesis process involves three interdependent and NP-complete optimization problems: (i) the operation scheduling, (ii) the resource allocation, and (iii) the ...
119
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
A comparative study of parallel metaheuristics executed in grid environments is proposed, having as case study a genetic algorithm, a simulated annealing algorithm and a random se...
103
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— The current Domain Name System (DNS) follows a hierarchical tree structure. Several recent efforts proposed to re-implement DNS as a peer-to-peer network with a flat structure...