496 search results - page 19 / 100 » Model reduction of periodic systems: a lifting approach |
PATMOS
2000
Springer
14 years 8 hour ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
- In this paper we introduce Priority Based Forced Requeue to decrease worst-case latencies in NoCs offering best effort services. Forced Requeue is to prematurely lift out low pri...
ATAL
2004
Springer
14 years 5 days ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
IPPS
1999
IEEE
14 years 22 days ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
LSSC
2007
Springer
14 years 2 months ago
2007
Springer
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...