811 search results - page 75 / 163 » Probabilistic Semantics and Program Analysis |
168
click to vote
CGO
2008
IEEE
16 years 19 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...
157
click to vote
WCRE
2006
IEEE
16 years 5 days ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
183
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
159
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
147
click to vote
APLAS
2009
ACM
16 years 21 days ago
2009
ACM
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...