Sciweavers

983 search results - page 51 / 197
» Topology-Based Performance Analysis and Optimization of Late...
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 3 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
AUTOMATICA
2008
167views more  AUTOMATICA 2008»
14 years 10 months ago
Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....
ICC
2008
IEEE
15 years 4 months ago
Queuing Analysis on MIMO Systems with Adaptive Modulation and Coding
— The combined MIMO with Adaptive Modulation and Coding (AMC) technology can provide high spectral efficiency and link robustness. Moreover, the diversity-multiplexing tradeoff ...
Sheng Zhou, Kai Zhang, Zhisheng Niu, Yang Yang
CJ
2004
141views more  CJ 2004»
14 years 9 months ago
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
Andrea Bondavalli, Roberto Filippini
TC
1998
14 years 9 months ago
Analysis of Preventive Maintenance in Transactions Based Software Systems
—Preventive maintenance of operational software systems, a novel technique for software fault tolerance, is used specifically to counteract the phenomenon of software “aging....
Sachin Garg, Antonio Puliafito, Miklós Tele...