32 search results - page 7 / 7 » Sharing Continuations: Proofnets for Languages with Explicit... |
PLDI
2010
ACM
13 years 11 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
HPDC
2010
IEEE
13 years 6 months ago
2010
IEEE
Cloud computing [22] is a promising paradigm for the provisioning of IT services. Cloud computing infrastructures, such as those offered by the RESERVOIR project, aim to facilitat...