Login / Signup

The SPLASH-2 Programs: Characterization and Methodological Considerations.

Steven Cameron WooMoriyoshi OharaEvan TorrieJaswinder Pal SinghAnoop Gupta
Published in: ISCA (1995)
Keyphrases
  • real time
  • fixpoint
  • free software
  • axiomatic characterization
  • data sets
  • search engine
  • image processing
  • three dimensional
  • computer programs
  • automatic programming
  • provably correct