192 search results - page 27 / 39 » Using Call Exit Analysis for Logic Program Transformation |
102
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
110
Voted
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
201
Voted
POPL
2004
ACM
15 years 12 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
PPOPP
2009
ACM
16 years 6 days ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...