443 search results - page 28 / 89 » Compensation-Aware Runtime Monitoring |
145
click to vote
PDPTA
1996
15 years 4 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...
107
click to vote
RTAS
2010
IEEE
15 years 1 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...
103
click to vote
RV
2009
Springer
15 years 9 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...
121
click to vote
ENTCS
2002
15 years 2 months 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, ...
LOGCOM
2010
15 years 1 months ago
2010
