Sciweavers

2593 search results - page 143 / 519
» constraints 2007
Sort
View
AUTOMATICA
2006
78views more  AUTOMATICA 2006»
15 years 6 months ago
Stabilizing decentralized model predictive control of nonlinear systems
This note presents a stabilizing decentralized model predictive control (MPC) algorithm for nonlinear discrete time systems. No information is assumed to be exchanged between loca...
L. Magni, Riccardo Scattolini
JUCS
2007
102views more  JUCS 2007»
15 years 6 months ago
Pedagogical Natural Deduction Systems: the Propositional Case
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...
Loïc Colson, David Michel
FEGC
2009
86views Biometrics» more  FEGC 2009»
15 years 4 months ago
Binary Sequences and Association Graphs for Fast Detection of Sequential Patterns
We develop an efficient algorithm for detecting frequent patterns that occur in sequence databases under certain constraints. By combining the use of bit vector representations of ...
Selim Mimaroglu, Dan A. Simovici
DAC
2007
ACM
16 years 7 months ago
Fast Min-Cost Buffer Insertion under Process Variations
Process variation has become a critical problem in modern VLSI fabrication. In the presence of process variation, buffer insertion problem under performance constraints becomes mo...
Ruiming Chen, Hai Zhou
ICCD
2007
IEEE
179views Hardware» more  ICCD 2007»
16 years 3 months ago
Energy-aware co-processor selection for embedded processors on FPGAs
In this paper, we present co-processor selection problem for minimum energy consumption in hw/sw co-design on FPGAs with dual power mode. We provide theoretical analysis for the p...
Amir Hossein Gholamipour, Elaheh Bozorgzadeh, Suda...