3667 search results - page 552 / 734 » Software Rejuvenation - Modeling and Analysis |
103
Voted
ITICSE
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we describe our Computer Science Program Assessment (COMPASS) project. COMPASS uses open-source software tools to support the development and analysis of course por...
129
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
121
Voted
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
112
Voted
FATES
2004
Springer
15 years 8 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
117
Voted
ICESS
2004
Springer
15 years 8 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...