Sciweavers

684 search results - page 10 / 137
» Compiler Tools in APL
Sort
View
TJS
2002
135views more  TJS 2002»
13 years 9 months ago
HPCVIEW: A Tool for Top-down Analysis of Node Performance
Although it is increasingly difficult for large scientific programs to attain a significant fraction of peak performance on systems based on microprocessors with substantial instr...
John M. Mellor-Crummey, Robert J. Fowler, Gabriel ...
DASIP
2010
13 years 4 months ago
RVC: A multi-decoder CAL Composer tool
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...
Francesca Palumbo, Danilo Pani, Emanuele Manca, Lu...
CAV
2011
Springer
242views Hardware» more  CAV 2011»
13 years 1 months ago
Equality-Based Translation Validator for LLVM
We updated our Peggy tool, previously presented in [6], to perform translation validation for the LLVM compiler using a technique called Equality Saturation. We present the tool, a...
Michael Stepp, Ross Tate, Sorin Lerner
PEPM
2012
ACM
12 years 5 months ago
Scala-virtualized
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
Adriaan Moors, Tiark Rompf, Philipp Haller, Martin...
KBSE
2003
IEEE
14 years 3 months ago
Refactoring C with Conditional Compilation
Refactoring, an important technique for increasing flexibility of the source code, can be applied with much ease and efficiency by using automated tools. There is currently a lack...
Alejandra Garrido, Ralph Johnson