Sciweavers

190 search results - page 14 / 38
» Translation validation for an optimizing compiler
Sort
View
ICDE
2005
IEEE
121views Database» more  ICDE 2005»
14 years 8 months ago
Full-fledged Algebraic XPath Processing in Natix
We present the first complete translation of XPath into an algebra, paving the way for a comprehensive, state-of-theart XPath (and later on, XQuery) compiler based on algebraic op...
Matthias Brantner, Sven Helmer, Carl-Christian Kan...
ICCD
2003
IEEE
167views Hardware» more  ICCD 2003»
14 years 4 months ago
Virtual Page Tag Reduction for Low-power TLBs
We present a methodology for a power-optimized, software-controlled Translation Lookaside Buffer (TLB) organization. A highly reduced number of Virtual Page Number (VPN) bits sufï...
Peter Petrov, Alex Orailoglu
APLAS
2004
ACM
14 years 27 days ago
A MATLAB-Based Code Generator for Sparse Matrix Computations
Abstract. We present a matrix language compiler CMC which translates annotated MATLAB scripts into Fortran 90 programs. Distinguishing features of CMC include its applicability to ...
Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamu...
WADT
2004
Springer
14 years 24 days ago
From Conditional to Unconditional Rewriting
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
Grigore Rosu
VLSID
2002
IEEE
123views VLSI» more  VLSID 2002»
14 years 7 months ago
Compiler-Directed Array Interleaving for Reducing Energy in Multi-Bank Memories
With the increased use of embedded/portable devices such as smart cellular phones, pagers, PDAs, hand-held computers, and CD players, improving energy efficiency is becoming a cri...
Victor Delaluz, Mahmut T. Kandemir, Narayanan Vija...