Symbolic crosschecking of floating-point and SIMD code
Authors:
Open Access
- 10 April 2011
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 315-328
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Reducing Test Inputs Using Information Partitions2009
- Formal Verification of Floating-Point Programs18th IEEE Symposium on Computer Arithmetic (ARITH '07), 2007
- Compositional dynamic test generation2007
- Embedded Software Verification Using Symbolic Execution and Uninterpreted FunctionsInternational Journal of Parallel Programming, 2006
- Vectorization for SIMD architectures with alignment constraints2004
- Vectorizing for a SIMdD DSP architecture2003
- Hardware verification using ANSI-C programs as a reference2003
- Exploiting superword level parallelism with multimedia instruction sets2000
- Detecting equality of variables in programs1988
- A new approach to program testing1975