Sciweavers

4042 search results - page 7 / 809
» The EXODUS Optimizer Generator
Sort
View
JUCS
2000
120views more  JUCS 2000»
13 years 6 months ago
Compiler Generated Multithreading to Alleviate Memory Latency
: Since the era of vector and pipelined computing, the computational speed is limited by the memory access time. Faster caches and more cache levels are used to bridge the growing ...
Kristof Beyls, Erik H. D'Hollander
ATMOS
2010
150views Optimization» more  ATMOS 2010»
13 years 6 months ago
Dynamic Graph Generation and Dynamic Rolling Horizon Techniques in Large Scale Train Timetabling
The aim of the train timetabling problem is to find a conflict free timetable for a set of passenger and freight trains along their routes in an infrastructure network. Several ...
Frank Fischer, Christoph Helmberg
CORR
2011
Springer
155views Education» more  CORR 2011»
12 years 10 months ago
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
David Monniaux, Pierre Corbineau
GECCO
2009
Springer
209views Optimization» more  GECCO 2009»
13 years 11 months ago
MC/DC automatic test input data generation
Zeina Awedikian, Kamel Ayari, Giuliano Antoniol
EUROGP
2006
Springer
100views Optimization» more  EUROGP 2006»
13 years 10 months ago
Iterative Filter Generation Using Genetic Programming
Marc Segond, Denis Robilliard, Cyril Fonlupt