Sciweavers

9841 search results - page 649 / 1969
» Distributed Value Functions
Sort
View
161
Voted
GECCO
2003
Springer
122views Optimization» more  GECCO 2003»
16 years 15 days ago
The Virtual Gene Genetic Algorithm
This paper presents the virtual gene genetic algorithm (vgGA) which is a generalization of traditional genetic algorithms that use binary linear chromosomes. In the vgGA, tradition...
Manuel Valenzuela-Rendón
157
Voted
DATE
2010
IEEE
173views Hardware» more  DATE 2010»
16 years 11 days ago
Robust design of embedded systems
—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
Martin Lukasiewycz, Michael Glaß, Jürge...
197
Voted
CP
2001
Springer
15 years 11 months ago
Partially Ordered Constraint Optimization Problems
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...
Marco Gavanelli
SIGGRAPH
1994
ACM
15 years 11 months ago
TBAG: a high level framework for interactive, animated 3D graphics applications
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots in declarative programming, emphasizing immutable...
Conal Elliott, Greg Schechter, Ricky Yeung, Salim ...
201
Voted
ASPDAC
2007
ACM
158views Hardware» more  ASPDAC 2007»
15 years 11 months ago
Symbolic Model Checking of Analog/Mixed-Signal Circuits
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
David Walter, Scott Little, Nicholas Seegmiller, C...