1228 search results - page 38 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
IUI
2009
ACM
14 years 4 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
HPCA
2011
IEEE
12 years 11 months ago
2011
IEEE
Contention management is an important design component to a transactional memory system. Without effective contention management to ensure forward progress, a transactional memory...
HASE
2008
IEEE
13 years 7 months ago
2008
IEEE
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
HYBRID
2001
Springer
14 years 6 days ago
2001
Springer
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...