291 search results - page 48 / 59 » Partial Evaluation of General Parsers |
114
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
111
click to vote
SOSP
2005
ACM
15 years 10 months ago
2005
ACM
Commodity file systems trust disks to either work or fail completely, yet modern disks exhibit more complex failure modes. We suggest a new fail-partial failure model for disks, ...
126
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
118
Voted
SASN
2006
ACM
15 years 7 months ago
2006
ACM
In a large sensor network, in-network data aggregation, i.e., combining partial results at intermediate nodes during message routing, significantly reduces the amount of communic...
115
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...