Sciweavers

355 search results - page 26 / 71
» Risk Analysis of Robust System Design
Sort
View
CASES
2011
ACM
13 years 9 months ago
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
14 years 7 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
SIGIR
2006
ACM
15 years 3 months ago
Feature diversity in cluster ensembles for robust document clustering
The performance of document clustering systems depends on employing optimal text representations, which are not only difficult to determine beforehand, but also may vary from one ...
Xavier Sevillano, Germán Cobo, Francesc Al&...
TWC
2008
133views more  TWC 2008»
14 years 9 months ago
Analytical results about the robustness of FMT modulation with several prototype pulses in time-frequency selective fading chann
In this paper we study the performance of Filtered Multitone (FMT) modulation systems in time-frequency selective fading channels. FMT generalizes the OFDM scheme through the deplo...
Andrea M. Tonello, Francesco Pecile
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...