495 search results - page 29 / 99 » Extensible Proof-Producing Compilation |
DATE
2010
IEEE
14 years 20 days ago
2010
IEEE
Abstract—Elementary functions are extensively used in computer graphics, signal and image processing, and communication systems. This paper presents a special-purpose compiler th...
CC
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
EUROPAR
2001
Springer
14 years 1 days ago
2001
Springer
Multipartitioning is a skewed-cyclic block distribution that yields better parallel efficiency and scalability for line-sweep computations than traditional block partitionings. Th...
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
HOTOS
1999
IEEE
13 years 12 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...