Symbolic crosschecking of floating-point and SIMD code
Top Cited Papers
- 10 April 2011
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 315-328
- https://doi.org/10.1145/1966445.1966475
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Reducing Test Inputs Using Information PartitionsPublished by Springer Nature ,2009
- Formal Verification of Floating-Point Programs18th IEEE Symposium on Computer Arithmetic (ARITH '07), 2007
- Compositional dynamic test generationPublished by Association for Computing Machinery (ACM) ,2007
- Embedded Software Verification Using Symbolic Execution and Uninterpreted FunctionsInternational Journal of Parallel Programming, 2006
- Vectorization for SIMD architectures with alignment constraintsPublished by Association for Computing Machinery (ACM) ,2004
- Vectorizing for a SIMdD DSP architecturePublished by Association for Computing Machinery (ACM) ,2003
- Hardware verification using ANSI-C programs as a referencePublished by Association for Computing Machinery (ACM) ,2003
- Exploiting superword level parallelism with multimedia instruction setsPublished by Association for Computing Machinery (ACM) ,2000
- Detecting equality of variables in programsPublished by Association for Computing Machinery (ACM) ,1988
- A new approach to program testingPublished by Association for Computing Machinery (ACM) ,1975