Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
Paper
Publications
8 results for Vernon Austel
Parallel Deep Neural Network training for big data on Blue Gene/Q
- I-Hsin Chung
- Tara N. Sainath
- et al.
- 2017
- IEEE TPDS
PaperThe BLIS framework: Experiments in portability
- Field G. Van Zee
- Tyler M. Smith
- et al.
- 2016
- ACM TOMS
PaperParallel deep neural network training for LVCSR tasks using Blue Gene/Q
- Tara N. Sainath
- I-Hsin Chung
- et al.
- 2014
- INTERSPEECH 2014
Conference paperParallel Deep Neural Network Training for Big Data on Blue Gene/Q
- I-Hsin Chung
- Tara N. Sainath
- et al.
- 2014
- SC 2014
Conference paperLarge scale drop impact analysis of mobile phone using ADVC on Blue Gene/L
- Hiroshi Akiba
- Tomonobu Ohyama
- et al.
- 2006
- ACM/IEEE SC 2006
Conference paperLarge-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
Conference paperTrusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors
- Sean W. Smith
- Vernon Austel
- 1998
- USENIX EC 1998
Conference paper