124
click to vote
CC
15 years 7 months ago
2007 Springer 
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
105
click to vote
CC
15 years 1 months ago
2007 Springer 
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
CC
15 years 7 months ago
2007 Springer 
Optimizing programs for modern multiprocessor or vector platforms is a major important challenge for compilers today. In this work, we focus on one challenging aspect: the SIMD ALI...
CC
15 years 7 months ago
2007 Springer 
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
103
Voted
CC
15 years 7 months ago
2007 Springer 
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
|
System Software