3667 search results - page 107 / 734 » Software Rejuvenation - Modeling and Analysis |
CAV
2011
Springer
13 years 17 days ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
CCS
2011
ACM
12 years 9 months ago
2011
ACM
The sheer volume of new malware found each day is growing at an exponential pace. This growth has created a need for automatic malware triage techniques that determine what malwar...
JCPHY
2011
12 years 12 months ago
2011
The calculation of radial distribution functions (RDFs) from molecular dynamics trajectory data is a common and computationally expensive analysis task. The rate limiting step in ...
METRICS
1997
IEEE
14 years 1 months ago
1997
IEEE
An experiment comparing the effectiveness of equivalence partitioning (EP), boundary value analysis (BVA), and random testing was performed, based on an operational avionics syste...
DATE
1997
IEEE
14 years 1 months ago
1997
IEEE
An efficient method for the analysis of real 3D conjugate heat transfer for electronic devices is presented. This methodology is based on the coupling of two software : a conducti...