Sciweavers

7778 search results - page 101 / 1556
» Designing Controllers for Reachability
Sort
View
ISRR
2005
Springer
266views Robotics» more  ISRR 2005»
15 years 8 months ago
Session Overview Robot Design and Control
Claire Tomlin
ISOLA
2004
Springer
15 years 8 months ago
Model Checker Aided Design of a Controller for a Wafer Scanner
Martijn Hendriks, Barend van den Nieuwelaar, Frits...
147
Voted
DATE
2003
IEEE
137views Hardware» more  DATE 2003»
15 years 8 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...