34 citations · 48 across the 7 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.PL2019
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs (Extended Version)
Junyi Liu, Li Zhou, Gilles Barthe +1
We study expected runtimes for quantum programs. Inspired by recent work on probabilistic programs, we first define expected runtime as a generalisation of quantum weakest precondi…
eess.SP2019
Automatic Generation of Multi-precision Multi-arithmetic CNN Accelerators for FPGAs
Yiren Zhao, Xitong Gao, Xuan Guo +6
Modern deep Convolutional Neural Networks (CNNs) are computationally demanding, yet real applications often require high throughput and low latency. To help tackle these problems,…
cs.FL2019★ 5 cited
Equivalence Checking of Quantum Finite-State Machines
Qisheng Wang, Junyi Liu, Mingsheng Ying
In this paper, we introduce the model of quantum Mealy machines and study the equivalence checking and minimisation problems of them. Two efficient algorithms are developed for che…