2278 search results - page 5 / 456 » Specification Techniques for Automatic Performance Analysis ... |
DSN
2000
IEEE
15 years 1 months ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
BMCBI
2008
14 years 9 months ago
2008
Background: Synthesis of data from published human genetic association studies is a critical step in the translation of human genome discoveries into health applications. Although...
EAGC
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents the support for user-defined metrics in the G-PM performance analysis tool. G-PM addresses the demand for aggressive optimisation of Grid applications by using ...
110
click to vote
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
ISSRE
2000
IEEE
15 years 1 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...