Sciweavers

7778 search results - page 101 / 1556
» Designing Controllers for Reachability
Sort
View
ISOLA
2004
Springer
16 years 2 days 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 12 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...