3667 search results - page 436 / 734 » Software Rejuvenation - Modeling and Analysis |
183
click to vote
PASTE
2004
ACM
16 years 2 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
195
click to vote
OOPSLA
2004
Springer
16 years 9 hour ago
2004
Springer
Component-based enterprise systems often suffer from performance issues as a result of poor system design. In this paper, we propose a framework to automatically detect, assess an...
166
click to vote
SIGADA
2004
Springer
16 years 2 hour ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
149
click to vote
VMCAI
2004
Springer
16 years 10 min ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
200
click to vote
VMCAI
2004
Springer
16 years 10 min ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...