15253 search results - page 2432 / 3051 » Integer-Programming Software Systems |
191
Voted
ARC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an overview regarding the synthesis of regular expressions targeting FPGAs. It describes current solutions and a number of open issues. Implementation of regula...
195
Voted
CC
2007
Springer
16 years 1 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
203
Voted
CC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...
185
Voted
CC
2007
Springer
16 years 1 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...
200
click to vote
CC
2007
Springer
16 years 1 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 ...