中文
相关论文

相关论文: Just-In-Time compilation of OCaml byte-code

200 篇论文

Advances in quantum algorithms as well as in control hardware designs are continuously being made. These quantum algorithms, expressed as quantum circuits, need to be translated to a set of instructions from a defined quantum…

量子物理 · 物理学 2025-11-19 Folkert de Ronde , Stephan Wong , Sebastian Feld

Although qubit coherence times and gate fidelities are continuously improving, logical encoding is essential to achieve fault tolerance in quantum computing. In most encoding schemes, correcting or tracking errors throughout the computation…

We introduce a framework for simulating hybrid oscillator-qubit quantum processors on qubit-only systems through position encoding. By encoding continuous-variable position and momentum wave functions into qubit amplitudes, our method…

量子物理 · 物理学 2026-03-11 Xi Lu , Bojko N. Bakalov , Yuan Liu

We describe a new C++ library for multiprecision arithmetic for numbers in the order of 100--500 bits, i.e., representable with just a few limbs. The library is written in "optimizing-compiler-friendly" C++, with an emphasis on the use of…

密码学与安全 · 计算机科学 2018-04-20 Niek J. Bouman

As quantum processors grow in scale and reliability, the need for efficient quantum gate decomposition of circuits to a set of specific available gates, becomes ever more critical. The decomposition of a particular algorithm into a sequence…

量子物理 · 物理学 2025-01-30 Jonathan Nemirovsky , Maya Chuchem , Yotam Shapira

Training LLMs at ultra-low precision remains a formidable challenge. Direct low-bit QAT often suffers from convergence instability and substantial training costs, exacerbated by quantization noise from heavy-tailed outlier channels and…

机器学习 · 计算机科学 2026-04-10 Binxing Xu , Hao Gu , Lujun Li , Hao Wang , Bei Liu , Jiacheng Liu , Qiyuan Zhu , Xintong Yang , Chao Li , Sirui Han , Yike Guo

Classical machine learning (CML) occupies nearly half of machine learning pipelines in production applications. Unfortunately, it fails to utilize the state-of-the-practice devices fully and performs poorly. Without a unified framework, the…

机器学习 · 计算机科学 2023-05-01 Xu Wen , Wanling Gao , Anzheng Li , Lei Wang , Zihan Jiang , Jianfeng Zhan

In this paper, we describe the design and implementation of a high precision real time NAND simulator called Copycat that runs on a commodity multi-core desktop environment. This NAND simulator facilitates the development of embedded flash…

硬件体系结构 · 计算机科学 2016-12-22 Juyong Shin , Jongbo Bae , Ansu Na , Sang Lyul Min

We present QuantumToolbox$.$jl, an open-source Julia package for simulating open quantum systems. Designed with a syntax familiar to users of QuTiP (Quantum Toolbox in Python), it harnesses Julia's high-performance ecosystem to deliver fast…

量子物理 · 物理学 2025-10-06 Alberto Mercurio , Yi-Te Huang , Li-Xun Cai , Yueh-Nan Chen , Vincenzo Savona , Franco Nori

This letter presents an energy- and memory-efficient pattern-matching engine for a network intrusion detection system (NIDS) in the Internet of Things. Tightly coupled architecture and circuit co-designs are proposed to fully exploit the…

密码学与安全 · 计算机科学 2021-07-09 Dai Li , Kaiyuan Yang

Many quantum programs require circuits for addition, subtraction and logical operations. These circuits may be packaged within routines known as oracles. However, oracles can be tedious to code with current frameworks. To solve this problem…

量子物理 · 物理学 2021-10-26 Ayush Tambde

The paper presents a prototype of the accelerator commissioning and simulation application toolkit based on the Unified Accelerator Libraries (UAL) framework. The existing UAL 1.x environment has been implemented as an open collection of…

加速器物理 · 物理学 2007-05-23 N. Malitsky , J. Smith , J. Wei

Implementing time evolution operators on quantum circuits is important for quantum simulation. However, the standard way, Trotterization, requires a huge numbers of gates to achieve desirable accuracy. Here, we propose a local variational…

量子物理 · 物理学 2022-10-13 Kaoru Mizuta , Yuya O. Nakagawa , Kosuke Mitarai , Keisuke Fujii

We build on recent work by B. Brown (Sci. Adv. 6, eaay4929 (2020)) to develop and simulate an explicit recipe for a just-in-time decoding scheme in three 3D surface codes, which can be used to implement a transversal (non-Clifford)…

量子物理 · 物理学 2022-06-01 T. R. Scruby , D. E. Browne , P. Webster , M. Vasmer

Parameterized circuit instantiation is a common technique encountered in the generation of circuits for a large class of hybrid quantum-classical algorithms. Despite being supported by popular quantum compilation infrastructures such as IBM…

量子物理 · 物理学 2022-06-17 Ed Younis , Costin Iancu

Near-term quantum computing (QC) systems have limited qubit counts, high gate (instruction) error rates, and typically support a minimal instruction set having one type of two-qubit gate (2Q). To reduce program instruction counts and…

量子物理 · 物理学 2021-06-30 Prakash Murali , Lingling Lao , Margaret Martonosi , Dan Browne

As quantum computers of non-trivial size become available in the near future, it is imperative to develop tools to emulate small quantum computers. This allows for validation and debugging of algorithms as well as exploring…

量子物理 · 物理学 2018-01-24 Thomas Häner , Damian S. Steiger , Mikhail Smelyanskiy , Matthias Troyer

Existing quantum systems provide very limited physical qubit counts, trying to execute a quantum algorithm/circuit on them that have a higher number of logical qubits than physically available lead to a compile-time error. Given that it is…

新兴技术 · 计算机科学 2023-01-03 Movahhed Sadeghi , Soheil Khadirsharbiyani , Mahmut Taylan Kandemir

Oscillator Ising Machines (OIMs) and probabilistic bit (p-bit)-based computing platforms have emerged as promising paradigms for tackling complex combinatorial optimization problems. Although traditionally viewed as distinct approaches,…

计算物理 · 物理学 2026-01-26 E. M. Hasantha Ekanayake , Nikhat Khan , Nikhil Shukla

Practical distributed quantum computing requires the development of efficient compilers, able to make quantum circuits compatible with some given hardware constraints. This problem is known to be tough, even for local computing. Here, we…