22 search results - page 2 / 5 » rv 2010 |
RV
2010
Springer
13 years 2 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
RV
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
RV
2010
Springer
13 years 2 months ago
2010
Springer
One of the major productivity hurdles for parallel programming is non-determinism -- a parallel program may yield different results on different executions with the same input, dep...
RV
2010
Springer
13 years 3 months ago
2010
Springer
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...
RV
2010
Springer
13 years 3 months ago
2010
Springer
To avoid large overheads induced by runtime monitoring, the use of asynchronous log-based monitoring is sometimes adopted — even though this implies that the system may proceed f...