15 search results - page 2 / 3 » Semantics-Based Transformation of Arithmetic Expressions |
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
147
click to vote
EDBT
2008
ACM
15 years 11 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
ICFP
1997
ACM
15 years 3 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
104
click to vote
ASM
2010
ASM
15 years 1 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
BIOINFORMATICS
2005
14 years 11 months ago
2005
Oligonucleotide fingerprinting is an array-based approach used for analysis of microbial community composition and gene expression profiling. Oligonucleotide fingerprinting of rib...