39 search results - page 7 / 8 » Using Modes to Ensure Subject Reduction for Typed Logic Prog... |
CODES
2008
IEEE
13 years 12 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
ISLPED
2005
ACM
13 years 11 months ago
2005
ACM
Disk power management is becoming increasingly important in high-end server and cluster type of environments that execute dataintensive applications. While hardware-only approache...
PLDI
2004
ACM
13 years 11 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
ELP
1991
13 years 9 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...