15644 search results - page 70 / 3129 » Brittle System Analysis |
140
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
139
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
128
click to vote
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper, we present a performance analysis for the user scheduling for the multiuser MRC MIMO systems exploiting the user and antenna diversities. We consider two schedul...
143
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
— In this paper, a methodology for analyzing closed loop clock distribution and active deskewing networks is proposed. An active clock distribution and deskewing network is model...
131
Voted
WSC
2000
15 years 6 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...