2838 search results - page 107 / 568 » Verifying Controlled Components |
VTS
2000
IEEE
14 years 2 months ago
2000
IEEE
We present a low-cost on-line test methodology for RTL controller-datapath pairs, based on the notion of path invariance. The fundamental observation supporting the proposed metho...
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
In this study, we intend to show the basis of a general legged locomotion controller with the ability to integrate both posture and rhythmic motion controls and shift continuously ...
IWPC
2009
IEEE
14 years 4 months ago
2009
IEEE
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
JBCS
2002
13 years 9 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...