Sciweavers

CC
2008
Springer
240views System Software» more  CC 2008»
15 years 2 months ago
Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
Etienne Bergeron, Marc Feeley, Jean-Pierre David
CC
2008
Springer
193views System Software» more  CC 2008»
15 years 2 months ago
Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
Uday Bondhugula, Muthu Manikandan Baskaran, Sriram...
159
Voted
CC
2008
Springer
172views System Software» more  CC 2008»
15 years 2 months ago
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
Mark Marron, Manuel V. Hermenegildo, Deepak Kapur,...
CC
2008
Springer
165views System Software» more  CC 2008»
15 years 18 days ago
2-Local Random Reductions to 3-Valued Functions
Aduri Pavan, N. V. Vinodchandran
CC
2008
Springer
150views System Software» more  CC 2008»
15 years 2 days ago
Balancing Syntactically Multilinear Arithmetic Circuits
In their seminal paper, Valiant, Skyum, Berkowitz and Rackoff proved that arithmetic circuits can be balanced [VSBR]. That is, [VSBR] showed that for every arithmetic circuit of ...
Ran Raz, Amir Yehudayoff
System Software
Top of PageReset Settings