Sciweavers

309 search results - page 2 / 62
» A Comparative Revisitation of Some Program Transformation Te...
Sort
View
TACAS
2005
Springer
108views Algorithms» more  TACAS 2005»
13 years 10 months ago
On Some Transformation Invariants Under Retiming and Resynthesis
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
Jie-Hong Roland Jiang
APSEC
2000
IEEE
13 years 9 months ago
A comparative evaluation of techniques for syntactic level source code analysis
Many program maintenance tools rely on traditional parsing techniques to obtain syntactic level models of the code being maintained. When, for some reason, code cannot be parsed, ...
Anthony Cox, Charles L. A. Clarke
CPM
2007
Springer
73views Combinatorics» more  CPM 2007»
13 years 8 months ago
Move-to-Front, Distance Coding, and Inversion Frequencies Revisited
Move-to-Front, Distance Coding and Inversion Frequencies are three simple and effective techniques used to process the output of the Burrows-Wheeler Transform. In this paper we pr...
Travis Gagie, Giovanni Manzini
TOPLAS
1998
133views more  TOPLAS 1998»
13 years 4 months ago
A Systematic Study of Functional Language Implementations
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
Rémi Douence, Pascal Fradet
BMCBI
2007
89views more  BMCBI 2007»
13 years 4 months ago
Comparing segmentations by applying randomization techniques
Background: There exist many segmentation techniques for genomic sequences, and the segmentations can also be based on many different biological features. We show how to evaluate ...
Niina Haiminen, Heikki Mannila, Evimaria Terzi