4355 search results - page 531 / 871 » From Interpretation to Compilation |
198
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
178
click to vote
OSDI
1994
ACM
15 years 8 months ago
1994
ACM
A fine-grain parallel program is one in which processes are typically small, ranging from a few to a few hundred instructions. Fine-grain parallelism arises naturally in many situ...
168
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
135
click to vote
USENIX
1994
15 years 8 months ago
1994
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...
167
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...