443 search results - page 28 / 89 » Compensation-Aware Runtime Monitoring |
120
Voted
PDPTA
1996
15 years 2 months ago
1996
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our approach provides a speci cation language to build measurement models which describe...
93
Voted
RTAS
2010
IEEE
14 years 11 months ago
2010
IEEE
—Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preser...
82
Voted
RV
2009
Springer
15 years 7 months ago
2009
Springer
Synthesizing monitor circuits for LTL formulas is expensive, because the number of flip-flops in the circuit is exponential in the length of the formula. As a result, the IEEE st...
96
Voted
ENTCS
2002
15 years 16 days ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
73
Voted
LOGCOM
2010
14 years 11 months ago
2010
