4689 search results - page 266 / 938 » Analysis and modeling of control tasks in dynamic systems |
183
click to vote
RTS
2011
15 years 1 months ago
2011
—Preemptive scheduling often generates a significant runtime overhead that may increase task worst-case execution times up to 40%, with respect to a fully non preemptive executi...
220
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
155
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
177
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
177
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...