1294 search results - page 143 / 259 » FFT Compiler Techniques |
113
Voted
DATE
2002
IEEE
15 years 8 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...
196
Voted
WCRE
2002
IEEE
15 years 8 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 ...
137
Voted
APSEC
1999
IEEE
15 years 8 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...
116
Voted
PLDI
1999
ACM
15 years 8 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 ...
121
Voted
IPPS
1998
IEEE
15 years 8 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...