3713 search results - page 319 / 743 » Constructing a Calculus of Programs |
158
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
151
click to vote
PEPM
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
134
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
143
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
173
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Despite recent developments in higher-level middleware for the Grid supporting high level of ease-of-programming, hurdles for widespread adoption of Grids remain high, due to (1) ...