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

Jun Duan, Kevin W. Hamlen, Benjamin Ferrell

Browse the full HPDC paper archive.