Results 21 to 30 of about 28,887 (261)
High-performance state-vector emulator of a gate-based quantum processor implemented in the Rust programming language [PDF]
, 2022 We propose a high-performance state-vector emulator of a gate-based quantum processors developed in the Rust programming language. It supports OpenQASM 2.0 programming language for quantum circuits specification and has a user-friendly Python based API. We present a wide range of numerical benchmarks of the emulator. We expect that our emulator will be
Ilya A. Luchnikov +2 more
openalex +3 more sources
Financial, Statistical Analysis and Investment using Rust Language Programming
Michel Guirguis
openalex +2 more sources
Enhancing Software Safety Through Programming Languages: A Study of Rust [PDF]
35th European Safety and Reliability Conference (ESREL 2025) and the 33rd Society for Risk Analysis Europe Conference (SRA-E 2025)Thor Myklebust +2 more
openalex +2 more sources
Array, 2022 Fully Homomorphic Encryption (FHE) and Trusted Execution Environ-ments (TEEs) are complementing approaches that can both secure computa-tions running remotely on a public cloud.
Lars Brenna +3 more
doaj +1 more source
A Low-Latency Optimization of a Rust-Based Secure Operating System for Embedded Devices
Sensors, 2022 Critical systems such as drone control or power grid control applications rely on embedded devices capable of a real-time response. While much research and advancements have been made to implement low-latency and real-time characteristics, the security ...
Ioana Culic +2 more
doaj +1 more source
SIMPLE BLOCKCHAIN-BASED E-VOTE APPLICATION
Автоматизация технологических и бизнес-процессов, 2023 This paper describes a blockchain-enabled e-voting system that uses digital wallets to represent voter credentials, with each voter receiving a single "coin" to cast their vote. The voting process includes steps for voter registration and identification,
Valerii Yalanetskyi +3 more
doaj +1 more source
SoftwareX, 2020 The literature proposes many software metrics for evaluating the source code non-functional properties, such as its complexity and maintainability. The literature also proposes several tools to compute those properties on source codes developed with many
Luca Ardito +6 more
doaj +1 more source
Deductive program verification for a language with a Rust-like typing discipline
, 2020 Deductive program verification seeks to eliminate bugs in software by translating programs annotated with specifications into logical formulas which are then solved using semi-automated tools. When verifying programs using a mutable heap, it is often required to show that pointers do not alias each other, ensuring there is only one way to modify ...
Xavier Denis
openalex +3 more sources
maplib: Interactive, Literal RDF Model Mapping for Industry
IEEE Access, 2023 Knowledge graphs are important for industrial digitalization. Industrial knowledge graphs are often mapped from multiple existing large data sources, and creating a mapping requires the time of scarce subject matter experts (SME).
Magnus Bakken
doaj +1 more source
Linear Haskell: practical linearity in a higher-order polymorphic language [PDF]
, 2017 Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In this paper, we study a linear type system designed with two crucial properties in mind: backwards ...
Bernardy, Jean-Philippe +4 more
core +3 more sources