1090 search results - page 28 / 218 » A Replicated Monitoring Tool |
RV
2010
Springer
13 years 6 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...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...
ITC
2002
IEEE
14 years 15 days ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
: Effective resource utilisation monitoring and highly granular yet adaptive measurements are prerequisites for a more efficient Grid scheduler. We present a suite of measurement a...
CLUSTER
2003
IEEE
14 years 27 days ago
2003
IEEE
Debugging the performance of parallel and distributed systems remains a difficult task despite the widespread use of middleware packages for automatic distribution, communication...