1251 search results - page 144 / 251 » Optimizing Compilation of CLP(R) |
165
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
215
click to vote
WOMPAT
2004
Springer
15 years 11 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
167
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
130
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...
168
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...