Sign in

Symbolic Crosschecking of Data-Parallel Floating-Point Code.

Peter CollingbourneCristian CadarPaul H. J. Kelly
Published in: IEEE Trans. Software Eng. (2014)
Keyphrases
  • data sets
  • floating point
  • high quality
  • data structure
  • data processing
  • computer systems
  • database systems
  • missing values
  • fixed point