894 search results - page 48 / 179 » Optimizations for LTL Synthesis |
168
Voted
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
A new approach for automated synthesis of analog and mixed-signal systems is presented. The heterogeneous genetic optimization strategy starts from a functional description and ev...
118
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
157
click to vote
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
Optimizing power consumption at high-level is a critical step towards power-efficient digital system designs. This paper addresses the power management problem by scheduling a giv...
139
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
137
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...