15644 search results - page 32 / 3129 » Brittle System Analysis |
124
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper proposes a novel stability analysis of linear systems with sampled-data inputs. Inspired by the inputdelay approach and the stability of impulsive systems, this meth...
PE
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...
ICCD
1993
IEEE
15 years 6 months ago
1993
IEEE
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...
124
Voted
CGO
2008
IEEE
15 years 3 months ago
2008
IEEE
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
99
Voted
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...