Sciweavers

2286 search results - page 32 / 458
» Statistical timing analysis based on a timing yield model
Sort
View
EMSOFT
2009
Springer
15 years 10 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
BMCBI
2007
157views more  BMCBI 2007»
15 years 4 months ago
Statistical learning of peptide retention behavior in chromatographic separations: a new kernel-based approach for computational
Background: High-throughput peptide and protein identification technologies have benefited tremendously from strategies based on tandem mass spectrometry (MS/MS) in combination wi...
Nico Pfeifer, Andreas Leinenbach, Christian G. Hub...
DSN
2005
IEEE
15 years 10 months ago
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms
Designing a distributed fault tolerance algorithm requires careful analysis of both fault models and diagnosis strategies. A system will fail if there are too many active faults, ...
Elizabeth Latronico, Philip Koopman
ICDM
2005
IEEE
146views Data Mining» more  ICDM 2005»
15 years 10 months ago
On the Stationarity of Multivariate Time Series for Correlation-Based Data Analysis
Multivariate time series (MTS) data sets are common in various multimedia, medical and financial application domains. These applications perform several data-analysis operations ...
Kiyoung Yang, Cyrus Shahabi
FORMATS
2003
Springer
15 years 9 months ago
Analysis of Real Time Operating System Based Applications
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
Libor Waszniowski, Zdenek Hanzálek