1294 search results - page 143 / 259 » FFT Compiler Techniques |
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
WCRE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
APSEC
1999
IEEE
14 years 1 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
PLDI
1999
ACM
14 years 1 months ago
1999
ACM
Whole program paths (WPP) are a new approach to capturing and representing a program’s dynamic—actually executed—control flow. Unlike other path profiling techniques, which ...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
In distributed-memory message-passing architectures reducing communication cost is extremely important. In this paper, we present a technique to optimize communication globally. O...