Publications

8 results for Vernon Austel

Learning to Guide a Saturation-Based Theorem Prover
- - Ibrahim Abdelaziz
  - Maxwell Crouse
  - et al.
- 2021
- IEEE TPAMI
Parallel Deep Neural Network training for big data on Blue Gene/Q
- - I-Hsin Chung
  - Tara N. Sainath
  - et al.
- 2017
- IEEE TPDS
The BLIS framework: Experiments in portability
- - Field G. Van Zee
  - Tyler M. Smith
  - et al.
- 2016
- ACM TOMS
Parallel deep neural network training for LVCSR tasks using Blue Gene/Q
- - Tara N. Sainath
  - I-Hsin Chung
  - et al.
- 2014
- INTERSPEECH 2014
Parallel Deep Neural Network Training for Big Data on Blue Gene/Q
- - I-Hsin Chung
  - Tara N. Sainath
  - et al.
- 2014
- SC 2014
Large-scale electronic structure calculations of high-Z metals on the BlueGene/L platform
- - Francois Gygi
  - Erik W. Draeger
  - et al.
- 2006
- ACM/IEEE SC 2006
Large scale drop impact analysis of mobile phone using ADVC on Blue Gene/L
- - Hiroshi Akiba
  - Tomonobu Ohyama
  - et al.
- 2006
- ACM/IEEE SC 2006
Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors
- - Sean W. Smith
  - Vernon Austel
- 1998
- USENIX EC 1998