Sciweavers

7778 search results - page 101 / 1556
» Designing Controllers for Reachability
Sort
View
ISRR
2005
Springer
266views Robotics» more  ISRR 2005»
15 years 11 months ago
Session Overview Robot Design and Control
Claire Tomlin
ISOLA
2004
Springer
15 years 11 months ago
Model Checker Aided Design of a Controller for a Wafer Scanner
Martijn Hendriks, Barend van den Nieuwelaar, Frits...
DATE
2003
IEEE
137views Hardware» more  DATE 2003»
15 years 11 months ago
Dynamic Conditional Branch Balancing during the High-Level Synthesis of Control-Intensive Designs
We present two novel strategies to increase the scope for application of speculative code motions: (1) Adding scheduling steps dynamically during scheduling to conditional branche...
Sumit Gupta, Nikil D. Dutt, Rajesh K. Gupta, Alexa...