Optimization

Software Pipelining for Quantum Loop Programs

Jingzhe Guo, Mingsheng Ying

Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters

Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum