We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
Multiple memory module architecture offers higher performance by providing potentially doubled memory bandwidth. Two key problems in gaining high performance in this kind of archi...
The increasing complexity of software applications requires improved software development techniques in order to cope with, a.o., software reuse and evolution, the management of he...
Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers...
This paper is the product of a workshop held in Amsterdam during the Software Technology and Practice Conference (STEP 2003). The purpose of the paper is to propose Bloom’s taxo...
Pierre Bourque, Luigi Buglione, Alain Abran, Alain...
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...