2268 search results - page 241 / 454 » The Essence of Form Abstraction |
118
click to vote
ASM
2004
ASM
15 years 7 months ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
114
click to vote
TAPSOFT
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
127
Voted
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regularâ€...
123
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
114
Voted
SIGECOM
2006
ACM
15 years 7 months ago
2006
ACM
Finding an equilibrium of an extensive form game of imperfect information is a fundamental problem in computational game theory, but current techniques do not scale to large games...