2838 search results - page 121 / 568 » Verifying Controlled Components |
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— We present an algorithm to calculate the control input when the processing resources available are time-varying. The basic idea is to calculate the components of the control in...
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
The objective of this study is to identify the relationships in which social support influences flow and game loyalty through character control, character identity, guild identity...
ENTCS
2006
13 years 10 months ago
2006
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
ICRA
1998
IEEE
14 years 2 months ago
1998
IEEE
For a general class of robots with elastic joints, we introduce an inversion algorithm for the synthesis of a dynamic feedback control law that gives input-output decoupling and f...
TSE
2008
13 years 10 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...