research
∙
07/20/2022
PFMC: a parallel symbolic model checker for security protocol verification
We present an investigation into the design and implementation of a para...
share
research
∙
12/08/2020
The Why, What and How of Artificial General Intelligence Chip Development
The AI chips increasingly focus on implementing neural computing at low ...
research
∙
10/14/2019
Variation-aware Binarized Memristive Networks
The quantization of weights to binary states in Deep Neural Networks (DN...
research
∙
07/12/2018
