Detail publikace
Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization
CHEN Tian-fu, CHEN Yu-Fang, JIANG Jie-hong, JOBRANOVÁ Sára a LENGÁL Ondřej. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. Association for Computing Machinery, 2024. ISBN 979-8-4007-1077-3.
Název česky
Akcelerace simulace kvantových obvodů pomocí symbolické exekuce a sumarizace smyček
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Chen Tian-fu (NTU)
Chen Yu-Fang (ASIN)
Jiang Jie-hong (NTU)
Jobranová Sára, Bc. (FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Jiang Jie-hong (NTU)
Jobranová Sára, Bc. (FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Abstrakt
Článek přináší výrazný pokrok v simulaci kvantových obvodů se smyčkami za pomocí symbolické exekuce a sumarizace smyček.
Rok
2024
(v tisku)
Sborník
IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA
Konference
IEEE/ACM International Conference On Computer-Aided Design, New Jersey, USA, US
ISBN
979-8-4007-1077-3
Vydavatel
Association for Computing Machinery
DOI
BibTeX
@INPROCEEDINGS{FITPUB13235, author = "Tian-fu Chen and Yu-Fang Chen and Jie-hong Jiang and S\'{a}ra Jobranov\'{a} and Ond\v{r}ej Leng\'{a}l", title = "Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization", booktitle = "IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA", year = 2024, publisher = "Association for Computing Machinery", ISBN = "979-8-4007-1077-3", doi = "10.1145/3676536.3676711", language = "english", url = "https://www.fit.vut.cz/research/publication/13235" }