Sciweavers

4854 search results - page 147 / 971
» It's the Programming, Stupid
Sort
View
CAV
2009
Springer
165views Hardware» more  CAV 2009»
15 years 11 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...
GECCO
2006
Springer
161views Optimization» more  GECCO 2006»
15 years 10 months ago
Instance similarity and the effectiveness of case injection in a genetic algorithm for binary quadratic programming
When an evolutionary algorithm addresses a sequence of instances of the same problem, it can seed its population with solutions that it found for previous instances. This techniqu...
Jason Amunrud, Bryant A. Julstrom
182
Voted
SPIN
2000
Springer
15 years 10 months ago
Communication Topology Analysis for Concurrent Programs
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
Matthieu Martel, Marc Gengler
EPS
1995
Springer
15 years 10 months ago
An Evolutionary Programming Approach to Self-Adaptation on Finite State Machines
Evolutionary programming was first offered as an alternative method for generating artificial intelligence. Experiments were offered in which finite state machines were used to...
Lawrence J. Fogel, Peter J. Angeline, David B. Fog...
WSC
2004
15 years 8 months ago
Solving Stochastic Mathematical Programs with Complementarity Constraints Using Simulation
Recently, simulation-based methods have been successfully used for solving challenging stochastic optimization problems and equilibrium models. Here we report some of the recent p...
S. Ilker Birbil, Gül Gürkan, Ovidiu List...