334 search results - page 29 / 67 » MDL: A Language and Compiler for Dynamic Program Instrumenta... |
101
click to vote
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
106
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...
172
Voted
PLDI
1998
ACM
15 years 4 months ago
1998
ACM
A linear-scan algorithm directs the global allocation of register candidates to registers based on a simple linear sweep over the program being compiled. This approach to register...
125
click to vote
ICFP
2005
ACM
16 years 12 days ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...