595 search results - page 77 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
122
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
112
click to vote
MICRO
2008
IEEE
15 years 9 months ago
2008
IEEE
It is well recognized that LRU cache-line replacement can be ineffective for applications with large working sets or non-localized memory access patterns. Specifically, in lastle...
126
click to vote
SBCCI
2004
ACM
15 years 8 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
133
click to vote
IWMM
2004
Springer
15 years 8 months ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
129
click to vote
NSDI
2007
15 years 5 months ago
2007
Virtualization can provide significant benefits in data centers by enabling virtual machine migration to eliminate hotspots. We present Sandpiper, a system that automates the ta...