Sciweavers

4155 search results - page 541 / 831
» Topic-Specific Optimization and Structuring
Sort
View
ICCS
2003
Springer
15 years 12 months ago
Parallel Finite Element Analysis Platform for the Earth Simulator: GeoFEM
Abstract. GeoFEM has been developed as a finite element solid earth simulator using the Earth Simulator (ES) (35.61 Tflops/peak according to the Linpack benchmark test). It is comp...
Hiroshi Okuda, Kengo Nakajima, Mikio Iizuka, Li Ch...
ICLP
2003
Springer
15 years 12 months ago
Uniform Equivalence of Logic Programs under the Stable Model Semantics
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
Thomas Eiter, Michael Fink
GLVLSI
2010
IEEE
156views VLSI» more  GLVLSI 2010»
15 years 11 months ago
A multi-level approach to reduce the impact of NBTI on processor functional units
NBTI is one of the most important silicon reliability problems facing processor designers today. The impact of NBTI can be mitigated at both the circuit and microarchitecture leve...
Taniya Siddiqua, Sudhanva Gurumurthi
GECCO
2010
Springer
148views Optimization» more  GECCO 2010»
15 years 11 months ago
Guarding against premature convergence while accelerating evolutionary search
The fundamental dichotomy in evolutionary algorithms is that between exploration and exploitation. Recently, several algorithms [8, 9, 14, 16, 17, 20] have been introduced that gu...
Josh C. Bongard, Gregory S. Hornby
GECCO
2010
Springer
129views Optimization» more  GECCO 2010»
15 years 11 months ago
A probabilistic functional crossover operator for genetic programming
The original mechanism by which evolutionary algorithms were to solve problems was to allow for the gradual discovery of sub-solutions to sub-problems, and the automated combinati...
Josh C. Bongard