12115 search results - page 126 / 2423 » Bisimulation of Dynamical Systems |
ASPLOS
2010
ACM
14 years 5 months ago
2010
ACM
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...
ICS
2007
Tsinghua U.
14 years 4 months ago
2007
Tsinghua U.
Software or hardware data cache prefetching is an efficient way to hide cache miss latency. However effectiveness of the issued prefetches have to be monitored in order to maximi...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
—We consider state feedback stabilization of uncertain linear systems with quantization. The plant uncertainty is dealt with by the supervisory control framework, which employs s...
RTAS
2002
IEEE
14 years 3 months ago
2002
IEEE
Dynamic voltage scaling (DVS) is an effective low-power design technique for embedded real-time systems. In recent years, many DVS algorithms have been proposed for reducing the e...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...