3736 search results - page 350 / 748 » Generative Programming |
137
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...
128
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
113
click to vote
ENTCS
2002
15 years 4 months ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
148
click to vote
WSC
1997
15 years 5 months ago
1997
Components of modern parallel systems are becoming quite complex with many features and variations. An integrated modeling of these components (interconnection network, messaging ...
188
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...