4451 search results - page 718 / 891 » On Random Ordering Constraints |
162
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— In this paper we present a dual-based decomposition method, called here the proximal center method, to solve distributed model predictive control (MPC) problems for cou...
158
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
— Safety must be ensured in the deployment of multi-agent vehicle systems. This paper presents decentralized collision avoidance algorithms for systems with second order dynamics...
157
click to vote
DATE
2008
IEEE
16 years 28 days ago
2008
IEEE
Applications from the embedded consumer domain put challenging requirements on SoC infrastructures, i.e. interconnect and memory. Specifically, video applications demand large sto...
149
click to vote
DATE
2008
IEEE
16 years 27 days ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
153
click to vote
FDL
2008
IEEE
16 years 27 days ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...