3667 search results - page 87 / 734 » Software Rejuvenation - Modeling and Analysis |
MSR
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we address the process and team analysis categories of the MSR Mining Challenge 2006. We use our CVSgrab tool to acquire the data and interactively visualize the evo...
ICPP
1996
IEEE
13 years 12 months ago
1996
IEEE
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
BMCBI
2008
13 years 7 months ago
2008
Background: High-throughput genotyping technology has enabled cost effective typing of thousands of individuals in hundred of thousands of markers for use in genome wide studies. ...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...