Conference paper
Training deep neural networks with 8-bit floating point numbers
Naigang Wang, Jungwook Choi, et al.
NeurIPS 2018
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.
Naigang Wang, Jungwook Choi, et al.
NeurIPS 2018
Daniel Brand, Mareio Buss, et al.
ICSM 2007
Daniel Brand
IEEE TC
P. Pitrozafiropulo, Colin H. West, et al.
IEEE Transactions on Communications