Sciweavers

575 search results - page 29 / 115
» Constraint Functional Multicore Programming
Sort
View
SNPD
2003
14 years 11 months ago
Deductive and Inductive Methods for Program Synthesis
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
Jaan Penjam, Elena Sanko
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
14 years 9 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
FORMATS
2008
Springer
14 years 11 months ago
A Framework for Distributing Real-Time Functions
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
Frédéric Boniol, Pierre-Emmanuel Hla...
79
Voted
ICIP
2003
IEEE
15 years 11 months ago
Linear approximations for rate control in video coding
An efficient method for rate control is illustrated for joint source-channel rate selection and for encoding under multiple leaky bucket buffer constraints. This method shows adva...
Yegnaswamy Sermadevi, Sheila S. Hemami
EUROGP
1999
Springer
166views Optimization» more  EUROGP 1999»
15 years 1 months ago
Adapting the Fitness Function in GP for Data Mining
In this paper we describe how the Stepwise Adaptation of Weights (saw) technique can be applied in genetic programming. The saw-ing mechanism has been originally developed for and ...
Jeroen Eggermont, A. E. Eiben, Jano I. van Hemert