English
Related papers

Related papers: Hardware Translation Coherence for Virtualized Sys…

200 papers

Quantization plays a critical role in digital signal processing systems. Quantizers are typically designed to obtain an accurate digital representation of the input signal, operating independently of the system task, and are commonly…

Information Theory · Computer Science 2019-10-02 Nir Shlezinger , Yonina C. Eldar , Miguel R. D. Rodrigues

In this paper we compare three different formalisms that can be used in the area of models for distributed, concurrent and mobile systems. In particular we analyze the relationships between a process calculus, the Fusion Calculus, graph…

Logic in Computer Science · Computer Science 2007-05-23 Ivan Lanese , Ugo Montanari

Remote data access for data analysis in high performance computing is commonly done with specialized data access protocols and storage systems. These protocols are highly optimized for high throughput on very large datasets, multi-streams,…

Performance · Computer Science 2014-10-16 Adrien Devresse , Fabrizio Furano

Due to several physical limitations in the realisation of quantum hardware, today's quantum computers are qualified as Noisy Intermediate-Scale Quantum (NISQ) hardware. NISQ hardware is characterized by a small number of qubits (50 to a few…

Hardware Architecture · Computer Science 2020-10-08 Siyuan Niu , Adrien Suau , Gabriel Staffelbach , Aida Todri-Sanial

This paper introduces a novel approach in neuromorphic computing, integrating heterogeneous hardware nodes into a unified, massively parallel architecture. Our system transcends traditional single-node constraints, harnessing the neural…

Hardware Architecture · Computer Science 2024-10-02 Murat Isik , Jonathan Naoukin , I. Can Dikmen

Due to the diversity and implicit redundancy in terms of processing units and compute kernels, off-the-shelf heterogeneous systems offer the opportunity to detect and tolerate faults during task execution in hardware as well as in software.…

Operating Systems · Computer Science 2014-05-14 Mario Kicherer , Wolfgang Karl

We present a technique for automatically transforming kernel-based computations in disparate, nested loops into a fused, vectorized form that can reduce intermediate storage needs and lead to improved performance on contemporary hardware.…

Performance · Computer Science 2017-10-25 Jason Sewall , Simon J. Pennycook

Virtualization is the abstraction of details. Algorithms and programming languages provide abstraction, too. Virtualization of hardware and embedded systems is becoming more and more important in heterogeneous environments and networks,…

Hardware Architecture · Computer Science 2023-02-07 Stefan Bosse

Research processes often rely on high-performance computing (HPC), but HPC is often seen as antithetical to "reproducibility": one would have to choose between software that achieves high performance, and software that can be deployed in a…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-16 Ludovic Courtès

The use of the ROS middleware is a growing trend in robotics in general, ROS and hard real-time embedded systems have however not been easily uniteable while retaining the same overall communication and processing methodology at all levels.…

Robotics · Computer Science 2014-07-30 Anders Blaabjerg Lange , Ulrik Pagh Schultz , Anders Stengaard Soerensen

Connectivity and automation are increasingly getting importance in the automotive industry, which is observing a radical change from vehicles driven by humans to fully automated and remotely controlled ones. The test and validation of all…

Networking and Internet Architecture · Computer Science 2021-05-28 Babak Mafakheri , Pierpaolo Gonnella , Alessandro Bazzi , Barbara Mavi Masini , Michele Caggiano , Roberto Verdone

This paper presents the design of HELIX, an end-to-end verified code generation system with a focus on the intersection of high-performance and high-assurance numerical computing. The code generation can be fine-tuned to generate efficient…

Programming Languages · Computer Science 2026-04-22 Vadim Zaliva , Yannick Zakowski , Ilia Zaichuk , Valerii Huhnin , Calvin Beck , Irene Yoon , Steve Zdancewic

The current virtualization solution in the Cloud widely relies on hypervisor-based technologies. Along with the recent popularity of Docker, the container-based virtualization starts receiving more attention for being a promising…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-07 Zheng Li , Maria Kihl , Qinghua Lu , Jens A. Andersson

The connection and eventual integration of High-Performance Computing (HPC) with Quantum Computing (QC) represents a transformative advancement in computational technology, promising significant enhancements in solving complex, previously…

Write-and-verify (WV) is essential for programming multi-level RRAM weights, yet under scaled-voltage and low-SNR conditions the verify read increasingly limits mapping accuracy, convergence speed and energy. We propose a Hadamard-domain WV…

Hardware Architecture · Computer Science 2026-04-15 Ilhuan Choi , Jiwon Yoo , Yoona Lee , Yewon Jeong , Jason Jaesung Lee , Woo-Seok Choi

Many important computational problems require utilization of high performance computing (HPC) systems that consist of multi-level structures combining higher and higher numbers of devices with various characteristics. Utilizing full power…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-09-21 Paweł Rościszewski

Human activity recognition (HAR) research has increased in recent years due to its applications in mobile health monitoring, activity recognition, and patient rehabilitation. The typical approach is training a HAR classifier offline with…

Signal Processing · Electrical Eng. & Systems 2021-02-24 Sizhe An , Ganapati Bhat , Suat Gumussoy , Umit Ogras

Handwritten Text Recognition (HTR) is a task of central importance in the field of document image understanding. State-of-the-art methods for HTR require the use of extensive annotated sets for training, making them impractical for…

Computer Vision and Pattern Recognition · Computer Science 2025-09-23 Petros Georgoulas Wraight , Giorgos Sfikas , Ioannis Kordonis , Petros Maragos , George Retsinas

The complexity of multimedia applications in terms of intensity of computation and heterogeneity of treated data led the designers to embark them on multiprocessor systems on chip. The complexity of these systems on one hand and the…

Performance · Computer Science 2010-02-08 Dorsaf Sebai , Abderrazak Jemai , Imed Bennour

Heterogeneous Memory Architecture (HMA) aims to optimize memory usage by leveraging a combination of memory types, such as high-bandwidth memory (HBM), commodity DRAM, and non-volatile memory (NVM), when utilized as main memory. To achieve…

Hardware Architecture · Computer Science 2026-04-23 Upasna , Venkata Kalyan Tavva