797 search results - page 52 / 160 » MODULA-2 and Its Compilation |
153
click to vote
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
155
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
151
click to vote
LCPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
223
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Persistence is a common requirement in many applications. In existing systems, persistence is added to an application at either compile or deployment time by using a variety of me...
126
click to vote
EUROGP
1999
Springer
15 years 8 months ago
1999
Springer
The paper presents the abstraction transformation which is a fundaethod for creating functions in ADATE. The use of abstraction turns out to be similar to evolution by gene duplic...