Sciweavers

2167 search results - page 101 / 434
» On the need for statistical timing analysis
Sort
View
EUROSYS
2011
ACM
14 years 10 months ago
Striking a new balance between program instrumentation and debugging time
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
Olivier Crameri, Ricardo Bianchini, Willy Zwaenepo...
CSREAESA
2008
15 years 7 months ago
Achieving Industrial Strength Timing Predictions of Embedded System Behavior
This paper discusses why the extensive scientific results on predicting embedded systems temporal behavior never, or very seldom, reaches the industrial community. We also point ou...
Mikael Nolin, Jukka Mäki-Turja, Kaj Hänn...
FORMATS
2007
Springer
15 years 10 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
INFOCOM
1999
IEEE
15 years 10 months ago
A Time-Scale Decomposition Approach to Measurement-Based Admission Control
We propose a time-scale decomposition approach to measurement-based admission control (MBAC). We identify a critical time scale such that: 1) aggregate traffic fluctuation slower t...
Matthias Grossglauser, David N. C. Tse
ICA
2012
Springer
14 years 2 months ago
Online PLCA for Real-Time Semi-supervised Source Separation
Non-negative spectrogram factorization algorithms such as probabilistic latent component analysis (PLCA) have been shown to be quite powerful for source separation. When training d...
Zhiyao Duan, Gautham J. Mysore, Paris Smaragdis