Sciweavers

4072 search results - page 674 / 815
» Designing an Optimal Network Using the Cross-Entropy Method
Sort
View
RTSS
2008
IEEE
15 years 9 months ago
Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems
The wide applications of cyber-physical systems (CPS) call for effective design strategies that optimize the performance of both computing units and physical plants. We study the ...
Fumin Zhang, Klementyna Szwaykowska, Wayne Wolf, V...
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
15 years 9 months ago
A new hybrid solution to boost SAT solver performance
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
Lei Fang, Michael S. Hsiao
106
Voted
GECCO
2007
Springer
160views Optimization» more  GECCO 2007»
15 years 9 months ago
An analysis of constructive crossover and selection pressure in genetic programming
A common problem in genetic programming search algorithms is destructive crossover in which the offspring of good parents generally has worse performance than the parents. Design...
Huayang Xie, Mengjie Zhang, Peter Andreae
APLAS
2008
ACM
15 years 4 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
EVOW
2008
Springer
15 years 4 months ago
Metaheuristics for the Bi-objective Ring Star Problem
The bi-objective ring star problem aims to locate a cycle through a subset of nodes of a graph while optimizing two types of cost. The first criterion is to minimize a ring cost, r...
Arnaud Liefooghe, Laetitia Jourdan, Matthieu Basse...