17 search results - page 1 / 4 » aplas 2005 |
153
Voted
APLAS
2005
ACM
16 years 16 days ago
2005
ACM
137
Voted
APLAS
2005
ACM
16 years 16 days ago
2005
ACM
156
Voted
APLAS
2005
ACM
16 years 16 days ago
2005
ACM
172
Voted
APLAS
2005
ACM
16 years 16 days ago
2005
ACM
We present a simple algorithm for register allocation which is competitive with the iterated register coalescing algorithm of George and Appel. We base our algorithm on the observa...
166
Voted
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...