English
Related papers

Related papers: Efficient and Expressive Bytecode-Level Instrument…

200 papers

A Software Bill of Materials (SBOM) is becoming an essential tool for effective software dependency management. An SBOM is a list of components used in software, including details such as component names, versions, and licenses. Using…

Software Engineering · Computer Science 2025-04-10 Rio Kishimoto , Tetsuya Kanda , Yuki Manabe , Katsuro Inoue , Shi Qiu , Yoshiki Higo

We develop a new intermediate weak memory model, IMM, as a way of modularizing the proofs of correctness of compilation from concurrent programming languages with weak memory consistency semantics to mainstream multi-core architectures,…

Programming Languages · Computer Science 2018-11-12 Anton Podkopaev , Ori Lahav , Viktor Vafeiadis

In this work we present more comprehensive evaluations on our airborne Gimbal mounted inertial measurement unit (IMU) signal simulator which also considers flight dynamic model (FDM). A flexible IMU signal simulator is an enabling tool in…

Robotics · Computer Science 2024-11-05 Alireza Kazemi , Reza Rohani Sarvestani

The practical utilization of the symbol-level precoding in MIMO systems is challenging since the implementation of the sophisticated optimization algorithms must be done with reasonable computational resources. In the real implementation of…

Signal Processing · Electrical Eng. & Systems 2017-11-27 Jevgenij Krivochiza , Ashkan Kalantari , Symeon Chatzinotas , Bjorn Ottersten

Beam Delivery Simulation (BDSIM) is a program that simulates the passage of particles in a particle accelerator. It uses a suite of standard high energy physics codes (Geant4, ROOT and CLHEP) to create a computational model of a particle…

Software metric plays a vital role in quantitative assessment of any specific software development methodology and its impact on the maintenance of software. It can also be used to indicate the degree of interdependence among the components…

Software Engineering · Computer Science 2020-12-02 Parthipan S , Senthil Velan S , Chitra Babu

The Ising model, originally proposed a century ago, has become a cornerstone of combinatorial optimization in recent decades. However, Ising machines remain constrained by a fundamental hardware-speed trade-off. We introduce the Bounce-Bind…

Hardware Architecture · Computer Science 2026-03-04 Haiyang Zhang , Hao Wang , Rui Zhou , Sheng Chang

Non-intrusive load monitoring (NILM), aims to infer the power profiles of appliances from the aggregated power signal via purely analytical methods. Existing NILM methods are susceptible to various issues such as the noise and transient…

Systems and Control · Electrical Eng. & Systems 2020-09-08 Elnaz Azizi , Mohammad TH Beheshti , Sadegh Bolouki

The Simulation Environment for Atomistic and Molecular Modeling (SEAMM) is an open-source software package written in Python that provides a graphical interface for setting up, executing, and analyzing molecular and materials simulations.…

It is challenging to scale Ising machines for industrial-level problems due to algorithm or hardware limitations. Although higher-order Ising models provide a more compact encoding, they are, however, hard to physically implement. This work…

Artificial Intelligence · Computer Science 2024-12-19 Yunuo Cen , Zhiwei Zhang , Zixuan Wang , Yimin Wang , Xuanyao Fong

Large language models (LLMs) have demonstrated remarkable performance across various machine learning tasks. Yet the substantial memory footprint of LLMs significantly hinders their deployment. In this paper, we improve the accessibility of…

A high-performance Scintillator Ion Beam Monitor (SIBM) provides diagnostics across a range of isotopes, energies, and intensities employing a machine-vision camera with two novel scintillator targets movable into/out of the beam without…

Instrumentation and Detectors · Physics 2022-09-01 Daniel S Levin , Peter S. Friedman , Tom Ginter , Claudio Ferretti , Alexander Kaipainen , Nicholas Ristow

The escalating threat of weapon-related violence necessitates automated detection systems capable of pixel-level precision for accurate threat assessment in real-time security applications. Traditional weapon detection approaches rely on…

Computer Vision and Pattern Recognition · Computer Science 2025-10-21 Akhila Kambhatla , Taminul Islam , Khaled R Ahmed

Computing-in-memory (CIM) is renowned in deep learning due to its high energy efficiency resulting from highly parallel computing with minimal data movement. However, current SRAM-based CIM designs suffer from long latency for loading…

In this paper, we propose a novel modulation concept which we call \emph{index and composition modulation (ICM)}. In the proposed concept, we use indices of active/deactive codeword elements and compositions of an integer to encode…

Signal Processing · Electrical Eng. & Systems 2020-09-29 Ferhat Yarkin , Justin P. Coon

Tensor-based modulation (TBM) provides a multi-linear spreading framework for blind multi-user separation in unsourced random access. In this paper, we show that TBM is a coded modulation built on a non-binary linear block code over…

Information Theory · Computer Science 2026-03-10 Sweta Suresh , Charly Poulliat , Claire Goursaud , Maxime Guillaud

To achieve peak performance on modern GPUs, one must balance two frames of mind: issuing instructions to individual threads to control their behavior, while simultaneously tracking the convergence of many threads acting in concert to…

Programming Languages · Computer Science 2025-11-18 Manya Bansal , Daniel Sainati , Joseph W. Cutler , Saman Amarasinghe , Jonathan Ragan-Kelley

In this paper, we introduce InstructSAM, a unified and streamlined framework designed for multi-instance segmentation under arbitrary instructions. We formulates instruction-driven instance segmentation as a set-structured query prediction…

Computer Vision and Pattern Recognition · Computer Science 2026-05-26 Yuqian Yuan , Wentong Li , Zhaocheng Li , Yutong Lin , Juncheng Li , Siliang Tang , Jun Xiao , Yueting Zhuang , Wenqiao Zhang

Recently, many forms of audio industrial applications, such as sound monitoring and source localization, have begun exploiting smart multi-modal devices equipped with a microphone array. Regrettably, model-based methods are often difficult…

Sound · Computer Science 2023-06-21 Hao Liang , Guanxing Zhou , Xiaotong Tu , Andreas Jakobsson , Xinghao Ding , Yue Huang

We contemplate this article to help the teachers of programming in his aspiration for giving some appropriate and interesting examples. The work will be especially useful for students-future programmers, and for their lecturers. Some of the…

Programming Languages · Computer Science 2021-08-02 Krasimir Yordzhev