1294 search results - page 23 / 259 » FFT Compiler Techniques |
LICS
1992
IEEE
14 years 21 days ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
EUROPAR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...
TOOLS
1999
IEEE
14 years 27 days ago
1999
IEEE
The design of the Eiffel language makes it possible to perform global optimizations on Eiffel programs. In this paper, we describe some of the techniques we used in SmallEiffel, T...
HPCN
1995
Springer
14 years 5 days ago
1995
Springer
Abstract. This paper presents an environment for programming distributed memory computers using High Performance Fortran. Emphasis is put on compilation techniques and distributed ...
ISSS
1995
IEEE
14 years 5 days ago
1995
IEEE
One of the key issues in hardware/software{cosynthesis is precise estimation. The usual local estimation techniques are inadequate for globally optimising compilers and synthesis ...