Chia-Yu Chen, Jungwook Choi, et al.
AAAI 2018
Paper
Verification of HDLC
Abstract
A version of the standard high level data link control protocol has been verified as an experiment with an automated verification system. This paper tries to answer questions such as: How can HDLC and its properties be represented? To what extent can they be proved? What are the main obstacles in verifying protocols like HDLC. Copyright © 1982 by The Institute of Electrical and Electronics Engineers, Inc.
Related
Conference paper
Training deep neural networks with 8-bit floating point numbers
Naigang Wang, Jungwook Choi, et al.
NeurIPS 2018
Conference paper
MEC: Memory-efficient convolution for deep neural network
M. Cho, Daniel Brand
ICML 2017
Ewout van den Berg, Daniel Brand, et al.
INTERSPEECH 2015