1392 search results - page 121 / 279 » A Calculus for Dynamic Linking |
156
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
153
click to vote
SENSYS
2006
ACM
15 years 11 months ago
2006
ACM
Extensive empirical studies presented in this paper confirm that the quality of radio communication between low power sensor devices varies significantly with time and environme...
137
click to vote
CISIS
2010
IEEE
15 years 12 months ago
2010
IEEE
—Current trends in desktop processor design have been toward many-core solutions with increased parallelism. As the number of supported threads grows in these processors, it may ...
116
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
151
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...