Zobrazeno 1 - 10
of 1 042
pro vyhledávání: '"Li, Liyi"'
The development of quantum computers has reached a great milestone, in spite of restrictions on important quantum resources: the number of qubits being entangled at a single-location quantum computer. Recently, there has been some work to combine sin
Externí odkaz:
http://arxiv.org/abs/2407.09710
This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The work is motivated by the need for conceptual tools for the development of
Externí odkaz:
http://arxiv.org/abs/2402.13469
Publikováno v:
Aircraft Engineering and Aerospace Technology, 2024, Vol. 96, Issue 9, pp. 1192-1202.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/AEAT-04-2023-0102
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety
Spatial memory safety violation is still a major issue for C programs. Checked-C is a safe dialect of C and extends it with Checked pointer types and annotations that guarantee spatial memory safety in a backward-compatible manner, allowing the mix o
Externí odkaz:
http://arxiv.org/abs/2302.01811
Autor:
Li, Liyi, Zhu, Mingwei, Cleaveland, Rance, Nicolellis, Alexander, Lee, Yi, Chang, Le, Wu, Xiaodi
Publikováno v:
ECOOP 2024
Because of the probabilistic/nondeterministic behavior of quantum programs, it is highly advisable to verify them formally to ensure that they correctly implement their specifications. Formal verification, however, also traditionally requires signifi
Externí odkaz:
http://arxiv.org/abs/2211.06411
Publikováno v:
Chinese Journal of Diabetes Mellitus. Feb2024, Vol. 16 Issue 2, p281-284. 4p.
We introduce Qunity, a new quantum programming language designed to treat quantum computing as a natural generalization of classical computing. Qunity presents a unified syntax where familiar programming constructs can have both quantum and classical
Externí odkaz:
http://arxiv.org/abs/2204.12384
Autor:
Peng, Yuxiang, Hietala, Kesha, Tao, Runzhou, Li, Liyi, Rand, Robert, Hicks, Michael, Wu, Xiaodi
Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a less recogn
Externí odkaz:
http://arxiv.org/abs/2204.07112
Autor:
Liu, Qingdi, Luo, Yuxia, Li, Dan, Tung Wong, Hon, Lo, Wai-Sum, Li, Xinping, Zhang, Zhao, Liu, Qunjie, Huang, Anjun, Fan, Yong, Bünzli, Jean-Claude G., Wong, Ka-Leung, Li, Liyi
Publikováno v:
In Chemical Engineering Journal 15 October 2024 498
Publikováno v:
In AEUE - International Journal of Electronics and Communications September 2024 184