2838 search results - page 426 / 568 » Verifying Controlled Components |
ATS
2009
IEEE
14 years 3 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— Most existing work uses dual decomposition and subgradient methods to solve network optimization problems in a distributed manner, which suffer from slow convergence rate prope...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— Orthogonal frequency division multiplexing (OFDM) is the key component of many emerging broadband wireless access standards. The resource allocation in OFDM uplink, however, is...
ICVS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Experimenting and building integrated, operational systems in computational vision poses both theoretical and practical challenges, involving methodologies from control t...