咨询与建议

限定检索结果

文献类型

  • 50 篇 期刊文献
  • 40 篇 会议

馆藏范围

  • 90 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 74 篇 工学
    • 51 篇 计算机科学与技术...
    • 40 篇 软件工程
    • 11 篇 电气工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 信息与通信工程
    • 1 篇 控制科学与工程
  • 29 篇 理学
    • 23 篇 物理学
    • 5 篇 数学
  • 5 篇 管理学
    • 5 篇 管理科学与工程(可...
  • 3 篇 教育学
    • 3 篇 教育学

主题

  • 90 篇 quantum programm...
  • 26 篇 quantum computin...
  • 6 篇 qiskit
  • 4 篇 verification
  • 3 篇 compilers
  • 3 篇 quantum simulati...
  • 3 篇 quantum algorith...
  • 3 篇 quantum computin...
  • 3 篇 security
  • 3 篇 formal verificat...
  • 3 篇 quantum computat...
  • 3 篇 programming lang...
  • 2 篇 quantum walk
  • 2 篇 termination
  • 2 篇 quantum nonlocal...
  • 2 篇 quantum random w...
  • 2 篇 full abstraction
  • 2 篇 curriculum
  • 2 篇 abstract interpr...
  • 2 篇 computational mo...

机构

  • 6 篇 chinese acad sci...
  • 4 篇 tsinghua univ de...
  • 4 篇 univ technol syd...
  • 4 篇 tsinghua univ pe...
  • 3 篇 oak ridge natl l...
  • 2 篇 lawrence berkele...
  • 2 篇 kyushu univ fuku...
  • 2 篇 north china inst...
  • 2 篇 mit csail 32 vas...
  • 2 篇 cleveland state ...
  • 2 篇 chinese acad sci...
  • 2 篇 cleveland state ...
  • 2 篇 inesc tec high a...
  • 2 篇 max planck insti...
  • 2 篇 univ technol syd...
  • 2 篇 max planck inst ...
  • 1 篇 chitkara univ in...
  • 1 篇 univ castilla la...
  • 1 篇 univ waterloo wa...
  • 1 篇 univ thessaly de...

作者

  • 12 篇 ying mingsheng
  • 6 篇 mccaskey alexand...
  • 6 篇 feng yuan
  • 6 篇 yu nengkun
  • 5 篇 nguyen thien
  • 3 篇 zhou li
  • 3 篇 zhao jianjun
  • 2 篇 tao runzhou
  • 2 篇 de visme marc
  • 2 篇 zuliani paolo
  • 2 篇 sang janche
  • 2 篇 alvarado-valient...
  • 2 篇 roetteler martin
  • 2 篇 garcia-alonso jo...
  • 2 篇 clairambault pie...
  • 2 篇 hou tong
  • 2 篇 santos-olmo anto...
  • 2 篇 li yangjia
  • 2 篇 ding dong
  • 2 篇 blanco carlos

语言

  • 82 篇 英文
  • 8 篇 其他
检索条件"主题词=Quantum Programming"
90 条 记 录,以下是41-50 订阅
排序:
Static Entanglement Analysis of quantum Programs  4
Static Entanglement Analysis of Quantum Programs
收藏 引用
4th IEEE/ACM International Workshop on quantum Software Engineering (Q-SE)
作者: Xia, Shangzhou Zhao, Jianjun Kyushu Univ Fukuoka Japan
quantum entanglement plays a crucial role in quantum computing. Entangling information has important implications for understanding the behavior of quantum programs and avoiding entanglement-induced errors. Entangleme... 详细信息
来源: 评论
QChecker: Detecting Bugs in quantum Programs via Static Analysis  4
QChecker: Detecting Bugs in Quantum Programs via Static Anal...
收藏 引用
4th IEEE/ACM International Workshop on quantum Software Engineering (Q-SE)
作者: Zhao, Pengzhan Wu, Xiongfei Li, Zhuo Zhao, Jianjun Kyushu Univ Grad Sch Fukuoka Japan Kyushu Univ Fac Informat Sci & Elect Engn Fukuoka Japan
Static analysis is the process of analyzing software code without executing the software. It can help find bugs and potential problems in software that may only appear at runtime. Although many static analysis tools h... 详细信息
来源: 评论
Tower: Data Structures in quantum Superposition
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2022年 第OOPSLA期6卷 259–288页
作者: Yuan, Charles Carbin, Michael MIT CSAIL 32 Vassar St Cambridge MA 02139 USA
Emerging quantum algorithms for problems such as element distinctness, subset sum, and closest pair demonstrate computational advantages by relying on abstract data structures. Practically realizing such an algorithm ... 详细信息
来源: 评论
Twist: Sound Reasoning for Purity and Entanglement in quantum Programs
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2022年 第POPL期6卷 1–32页
作者: Yuan, Charles McNally, Christopher Carbin, Michael MIT CSAIL 32 Vassar St Cambridge MA 02139 USA MIT RLE 32 Vassar St Cambridge MA 02139 USA
quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. programming quantum computers requires awareness... 详细信息
来源: 评论
Extending Python for quantum-classical Computing via quantum Just-in-time Compilation
收藏 引用
ACM TRANSACTIONS ON quantum COMPUTING 2022年 第4期3卷 1–25页
作者: Nguyen, Thien Mccaskey, Alexander J. Oak Ridge Natl Lab Comp Sci & Math Div Oak Ridge TN 37831 USA
Python is a popular programming language known for its flexibility, usability, readability, and focus on developer productivity. The quantum software community has adopted Python on a number of large-scale efforts due... 详细信息
来源: 评论
quantum Vs Classical Computing: a Comparative Analysis  7
Quantum Vs Classical Computing: a Comparative Analysis
收藏 引用
7th International Conference on Fog and Mobile Edge Computing (FMEC)
作者: Belkhir, Maria Benkaouha, Haroun Benkhelifa, Elhadj USTHB Univ LSI Lab Comp Sci Fac Algiers Algeria Staffordshire Univ Smart Syst AI& Cybersecur Res Ctr Stoke On Trent England
Despite the significant technological advancements, the amount of data to be processed remains enormous, and certain problems remain unsolved or take millions of years to be solved. The advent of quantum computing, wi... 详细信息
来源: 评论
A Guide for quantum Web Services Deployment  22nd
A Guide for Quantum Web Services Deployment
收藏 引用
22nd International Conference on Web Engineering (ICWE)
作者: Alvarado-Valiente, Jaime Romero-Alvarez, Javier Garcia-Alonso, Jose Murillo, Juan M. Univ Extremadura Quercus Software Engn Grp Escuela Politecn Av Univ S-N Caceres 10003 Spain
quantum computing is a new paradigm for solving problems that classical computers cannot reach. To the point that it is already generating interest in the scientific and industrial communities. Currently, quantum comp... 详细信息
来源: 评论
Extending C++ for Heterogeneous quantum-Classical Computing
收藏 引用
ACM TRANSACTIONS ON quantum COMPUTING 2021年 第2期2卷 1–36页
作者: Mccaskey, Alexander Nguyen, Thien Santana, Anthony Claudino, Daniel Kharazi, Tyler Finkel, Hal Oak Ridge Natl Lab 1 Bethel Valley Rd Oak Ridge TN 37831 USA Argonne Natl Lab 1 Thorvald Circle Lemont IL USA
We present qcor-a language extension to C++ and compiler implementation that enables heterogeneous quantum-classical programming, compilation, and execution in a single-source context. Our work provides a first-of-its... 详细信息
来源: 评论
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
收藏 引用
INFORMATION AND COMPUTATION 2023年 第1期294卷
作者: Feng, Yuan Li, Sanjiang Univ Technol Sydney Ctr Quantum Software & Informat Ultimo Australia
interpretation, Hoare logic, and incorrectness (or reverse Hoare) logic are powerful techniques for static analysis of computer programs. They have all been successfully extended to the quantum setting, but developed ... 详细信息
来源: 评论
Structured Theorem for quantum Programs and its Applications
收藏 引用
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2023年 第4期32卷 103-103页
作者: Yu, Nengkun SUNY Stony Brook Dept Comp Sci 100 Nicolls Rd Stony Brook NY 11794 USA Univ Technol Sydney Ctr Quantum Software & Informat Sydney NSW Australia
This article proves a structured program theorem for flowchart quantum programs. The theorem states that any flowchart quantum program is equivalent to a single quantum program that repeatedly executes a quantum measu... 详细信息
来源: 评论