2838 search results - page 113 / 568 » Verifying Controlled Components |
WSC
1998
13 years 11 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
FUIN
2007
13 years 10 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
AROBOTS
2002
13 years 10 months ago
2002
Abstract. To realize dynamically stable walking for a quadruped walking robot, the combination of the trajectory planning of the body and leg position (feedforward control) and the...
FPGA
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, an efficient implementation of a high performance coarse-grain reconfigurable data-path on a mixed-granularity reconfigurable platform is presented. It consists of ...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes a new approach to restoring scanned color document images where the backside image shows through the paper sheet. A new framework is presented for correcting ...