487 search results - page 19 / 98 » A Compiled Implementation of Normalization by Evaluation |
DATE
2006
IEEE
15 years 5 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...
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
106
click to vote
PDPTA
2000
15 years 29 days ago
2000
Exploiting compile time knowledge to improve memory bandwidth can produce noticeable improvements at run-time [13, 1]. Allocating the data structure [13] to separate memories when...
131
Voted
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
92
Voted
ENTCS
2007
14 years 11 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...