184 search results - page 16 / 37 » Integer Polyhedra for Program Analysis |
165
Voted
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...
170
Voted
PPDP
2007
Springer
16 years 14 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
179
click to vote
RTS
2006
15 years 6 months ago
2006
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
172
Voted
CGO
2008
IEEE
16 years 25 days ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
206
Voted
CPAIOR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...