17 search results - page 1 / 4 » aplas 2005 |
70
Voted
APLAS
2005
ACM
15 years 4 months ago
2005
ACM
65
Voted
APLAS
2005
ACM
15 years 4 months ago
2005
ACM
79
Voted
APLAS
2005
ACM
15 years 4 months ago
2005
ACM
78
Voted
APLAS
2005
ACM
15 years 4 months 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...
72
Voted
APLAS
2005
ACM
15 years 27 days 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...