Login / Signup

Better Late Than Never: An n-Variant Framework of Verification for Java Source Code on CPU x GPU Hybrid Platform.

Jun DuanKevin W. HamlenBenjamin Ferrell
Published in: HPDC (2019)
Keyphrases
  • real time
  • main contribution
  • theoretical framework
  • databases
  • genetic algorithm
  • database systems
  • lightweight
  • personal computer
  • parallel computation
  • heterogeneous computing