3667 search results - page 246 / 734 » Software Rejuvenation - Modeling and Analysis |
151
click to vote
AOSD
2004
ACM
15 years 10 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
219
click to vote
SIGCOMM
1995
ACM
15 years 8 months ago
1995
ACM
MD5 is an authentication algorithm proposed as the required implementation of the authentication option in IPv6. This paper presents an analysis of the speed at which MD5 can be i...
163
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
135
click to vote
WCRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...
149
click to vote
ISQED
2011
IEEE
14 years 8 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...