4117 search results - page 319 / 824 » On the Satisfiability of Complex Constraints |
142
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
In this paper, we propose a combined channel segmentation and buffer insertion approach, which minimizes the number of buffers inserted while satisfying the delay constraints for ...
134
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Climbing robots are especially susceptible to thermal overload during normal operation, due to the need to oppose gravity and to frequently apply internal forces for cl...
181
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many image and signal processing kernels can be optimized for performance consuming a reasonable area by doing loops parallelization with extensive use of pipelining. This paper p...
184
click to vote
AMT
2009
Springer
16 years 1 months ago
2009
Springer
Considering the time constraints and Web scale data, it is impossible to achieve absolutely complete reasoning results. Plus, the same results may not meet the diversity of user ne...
158
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we present a systematic procedure for obtaining closed-loop stable output-feedback model predictive control based on reduced-order models. The design uses linear...