15 search results - page 2 / 3 » Semantics-Based Transformation of Arithmetic Expressions |
PEPM
2009
ACM
14 years 4 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...
EDBT
2008
ACM
14 years 7 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
13 years 11 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 ...
ASM
2010
ASM
13 years 10 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
13 years 7 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...