Search Results for 'node acc'

node acc published presentations and documents on DocSlides.

Verification of concurrent

by bety

object-oriented. programs. K. Rustan M. Leino. RiS...

Verification of Functional Programs in

by danika-pritchard

Scala. Philippe Suter. (joint work w/ Ali . Sinan...

GPU System Architecture

by alida-meadow

Alan . Gray. EPCC . The University of Edinburgh. ...