891 search results - page 107 / 179 » Implementation, Compilation, Optimization of Object-Oriented... |
129
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
122
click to vote
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
157
click to vote
ICS
2000
Tsinghua U.
15 years 7 months ago
2000
Tsinghua U.
From a software engineering perspective, the Java programming language provides an attractive platform for writing numerically intensive applications. A major drawback hampering i...
115
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
140
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...