346 search results - page 33 / 70 » Approximating Behaviors in Embedded System Design |
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
ICRA
1998
IEEE
15 years 1 months ago
1998
IEEE
We present a framework for designing stable control schemes for systems whose dynamics change. The idea is to develop a controller for each of the regions defined by different dyn...
TGC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
109
click to vote
HAPTICS
2008
IEEE
14 years 10 months ago
2008
IEEE
The well known property of haptic interaction is the high refresh rate of the haptic loop that is necessary for the stability of the interaction. Therefore, only simple computation...
175
click to vote
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...