English
Related papers

Related papers: Optimized Real-Time Assembly in a RISC Simulator

200 papers

Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and simulating such systems using a C-like language with…

Logic in Computer Science · Computer Science 2025-11-19 Reydel Arrieta , José Proença , Patrick Meumeu Yomsi

Answer Set Programming (ASP) is a powerful logic-based programming language, which is enjoying increasing interest within the scientific community and (very recently) in industry. The evaluation of ASP programs is traditionally carried out…

Programming Languages · Computer Science 2011-10-14 Simona Perri , Francesco Ricca , Marco Sirianni

Learning-based methods have become ubiquitous in speaker localization. Existing systems rely on simulated training sets for the lack of sufficiently large, diverse and annotated real datasets. Most room acoustics simulators used for this…

Sound · Computer Science 2023-05-26 Prerak Srivastava , Antoine Deleforge , Archontis Politis , Emmanuel Vincent

We consider stacked intelligent metasurfaces (SIMs) as a tool to improve the performance of bistatic integrated sensing and communications (ISAC) schemes. To that end, we optimize the SIMs and design a radar parameter estimation (RPE)…

The rapid development of RISC-V instruction set architecture presents new opportunities and challenges for software developers. Is it sufficient to simply recompile high-performance software optimized for x86-64 onto RISC-V CPUs? Are…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-17 Anna Pirova , Anastasia Vodeneeva , Konstantin Kovalev , Alexander Ustinov , Evgeny Kozinov , Alexey Liniov , Valentin Volokitin , Iosif Meyerov

RISC-V is an open instruction set architecture recently developed for embedded real-time systems. To achieve a lasting security on these systems and design efficient countermeasures, a better understanding of vulnerabilities to novel and…

Cryptography and Security · Computer Science 2022-11-30 Olivier Gilles , Franck Viguier , Nikolai Kosmatov , Daniel Gracia Pérez

Test optimization contains test case selection and minimization, which is an important challenge in software testing and has been addressed with search-based approaches intensively in the past. Inspired by the recent advancement of using…

Software Engineering · Computer Science 2026-04-14 Yige Yang , Man Zhang , Tao Yue

Assembly code search is vital for reducing the burden on reverse engineers, allowing them to quickly identify specific functions using natural language within vast binary programs. Despite its significance, this critical task is impeded by…

Software Engineering · Computer Science 2024-08-14 Zeyu Gao , Hao Wang , Yuanda Wang , Chao Zhang

The coherent Ising machine (CIM) enables efficient sampling of low-lying energy states of the Ising Hamiltonian with all-to-all connectivity by encoding the spins in the amplitudes of pulsed modes in an optical parametric oscillator (OPO).…

Quantum Physics · Physics 2021-03-22 Egor S. Tiunov , Alexander E. Ulanov , A. I. Lvovsky

A modern graphics processing unit (GPU) is able to perform massively parallel scientific computations at low cost. We extend our implementation of the checkerboard algorithm for the two dimensional Ising model [T. Preis et al., J. Comp.…

Computational Physics · Physics 2010-07-22 Benjamin Block , Peter Virnau , Tobias Preis

This paper presents an implementation of a floating-point-capable application-specific instruction set processor (ASIP) for both communication and positioning tasks using the massive multiple-input multiple-output (MIMO) technology. The…

Hardware Architecture · Computer Science 2025-02-17 Mohammad Attari , Ove Edfors , Liang Liu

Optimization of Reconfigurable Intelligent Surfaces (RIS) via a previously introduced method is effective, but time-consuming, because multiport impedance or scatter matrices are required for each transmitter and receiver position, which…

Optimization and Control · Mathematics 2025-01-31 Hans-Dieter Lang , Michel A. Nyffenegger , Heinz Mathis , Xingqi Zhang

Neural networks are increasingly used in real-time systems, such as automated driving applications. This requires high-performance hardware with predictable timing behavior. State-of-the-art real-time hardware is limited in memory and…

Hardware Architecture · Computer Science 2024-10-15 Maximilian Kirschner , Konstantin Dudzik , Jürgen Becker

Developing dedicated mixed-signal neuromorphic computing systems optimized for real-time sensory-processing in extreme edge-computing applications requires time-consuming design, fabrication, and deployment of full-custom neuromorphic…

Neural and Evolutionary Computing · Computer Science 2025-08-18 Fernando M. Quintana , Maryada , Pedro L. Galindo , Elisa Donati , Giacomo Indiveri , Fernando Perez-Peña

Virtualization is a key technology used in a wide range of applications, from cloud computing to embedded systems. Over the last few years, mainstream computer architectures were extended with hardware virtualization support, giving rise to…

Hardware Architecture · Computer Science 2023-08-07 Bruno Sá , Luca Valente , José Martins , Davide Rossi , Luca Benini , Sandro Pinto

This paper presents, a first of its kind, audio-visual (AV) speech enhacement challenge in real-noisy settings. A detailed description of the AV challenge, a novel real noisy AV corpus (ASPIRE), benchmark speech enhancement task, and…

Sound · Computer Science 2019-10-02 Mandar Gogate , Ahsan Adeel , Kia Dashtipour , Peter Derleth , Amir Hussain

The widespread diffusion of compute-intensive edge-AI workloads and the stringent demands of modern autonomous systems require advanced heterogeneous embedded architectures. Such architectures must support high-performance and reliable…

Hardware Architecture · Computer Science 2024-10-11 Enrico Zelioli , Alessandro Ottaviano , Robert Balas , Nils Wistoff , Angelo Garofalo , Luca Benini

Autonomous 3D part assembly is a challenging task in the areas of robotics and 3D computer vision. This task aims to assemble individual components into a complete shape without relying on predefined instructions. In this paper, we…

Computer Vision and Pattern Recognition · Computer Science 2023-09-11 Junfeng Cheng , Mingdong Wu , Ruiyuan Zhang , Guanqi Zhan , Chao Wu , Hao Dong

The use of machine learning in cyber-physical systems has attracted the interest of both industry and academia. However, no general solution has yet been found against the unpredictable behavior of neural networks and reinforcement learning…

Robotics · Computer Science 2025-05-01 Federico Nesti , Gianluca D'Amico , Mauro Marinoni , Giorgio Buttazzo

Neural image classifiers can often learn to make predictions by overly relying on non-predictive features that are spuriously correlated with the class labels in the training data. This leads to poor performance in real-world atypical…

Computer Vision and Pattern Recognition · Computer Science 2024-06-10 Sreyan Ghosh , Chandra Kiran Reddy Evuru , Sonal Kumar , Utkarsh Tyagi , Sakshi Singh , Sanjoy Chowdhury , Dinesh Manocha