1294 search results - page 128 / 259 » FFT Compiler Techniques |
IEEEPACT
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper describes a technique for utilizing predication to support software pipelining on EPIC architectures in the presence of dynamic memory aliasing. The essential idea is t...
PEPM
1994
ACM
14 years 1 months ago
1994
ACM
The performance of object-oriented languages can be greatly improved if methods can be specialized for particular classes of arguments. Such specialization can provide the compile...
ICIW
2007
IEEE
14 years 23 days ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
BIRTHDAY
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
ESA
2004
Springer
14 years 19 days ago
2004
Springer
Arrangements of planar curves are fundamental structures in computational geometry. We describe the recent developments in the arrangement package of Cgal, the Computational Geomet...