This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
In this paper, we propose a scheme to improve the performance of subspace learning by using a pattern(data) selection method as preprocessing. Generally, a training set for subspa...
Jin Hee Na, Seok Min Yun, Minsoo Kim, Jin Young Ch...
Evidence suggests that as software ages the original realizations of design patterns remain in place, and participants in design pattern realizations accumulate “grime” – no...
This paper presents an efficient algorithm for the generation of diagnostic test patterns which distinguish between two arbitrary single stuck-at faults. The algorithm is able to ...
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...