English
Related papers

Related papers: The Quest-V Separation Kernel for Mixed Criticalit…

200 papers

Platform virtualization helps solving major grid computing challenges: share resource with flexible, user-controlled and custom execution environments and in the meanwhile, isolate failures and malicious code. Grid resource management tools…

Distributed, Parallel, and Cluster Computing · Computer Science 2008-08-28 Xavier Grehant , J. M. Dana

Multi-core processors improve performance, but they can create unpredictability owing to shared resources such as caches interfering. Cache partitioning is used to alleviate the Worst-Case Execution Time (WCET) estimation by isolating the…

Hardware Architecture · Computer Science 2022-01-28 Soma N. Ghosh , Vineet Sahula , Lava Bhargava

Support vector machines (SVMs) are a well-established classifier effectively deployed in an array of classification tasks. In this work, we consider extending classical SVMs with quantum kernels and applying them to satellite data analysis.…

Computer Vision and Pattern Recognition · Computer Science 2023-02-17 Artur Miroszewski , Jakub Mielczarek , Grzegorz Czelusta , Filip Szczepanek , Bartosz Grabowski , Bertrand Le Saux , Jakub Nalepa

Exploring the potential application of quantum computers in material design and drug discovery has attracted a lot of interest in the age of quantum computing. However, the quantum resource requirement for solving practical electronic…

Quantum Physics · Physics 2022-09-01 Huan Ma , Yi Fan , Jie Liu , Honghui Shang , Zhenyu Li , Jinlong Yang

The emergence of Software-Defined Vehicles (SDVs) signifies a shift from a distributed network of electronic control units (ECUs) to a centralized computing architecture within the vehicle's electrical and electronic systems. This…

Robotics · Computer Science 2024-12-16 Long Wen , Markus Rickert , Fengjunjie Pan , Jianjie Lin , Yu Zhang , Tobias Betz , Alois Knoll

Scaling quantum computers, i.e., quantum processing units (QPUs) to enable the execution of large quantum circuits is a major challenge, especially for applications that should provide a quantum advantage over classical algorithms. One…

Quantum Physics · Physics 2026-01-27 Leo Sünkel , Jonas Stein , Jonas Nüßlein , Tobias Rohe , Claudia Linnhoff-Popien

The growth of machine learning (ML) workloads has underscored the importance of efficient memory hierarchies to address bandwidth, latency, and scalability challenges. HERMES focuses on optimizing memory subsystems for RISC-V architectures…

Hardware Architecture · Computer Science 2025-03-25 Pranav Suryadevara

Modern GPUs increasingly rely on specialized and asynchronous hardware units to deliver high performance. Yet these units are often underutilized because today's GPU software stacks still organize programming and execution around a…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-06 Zijian He , Adrian Sampson , Yiying Zhang , Zhiyuan Guo

This paper proposes a novel secure live virtual machine migration framework by using a virtual trusted platform module instance to improve the integrity of the migration process from one virtual machine to another on the same platform. The…

Cryptography and Security · Computer Science 2021-10-12 Hanif Deylami , Jairo Gutierrez , Roopak Sinha

Virtual machine (VM) scheduling is an important technique to efficiently operate the computing resources in a data center. Previous work has mainly focused on consolidating VMs to improve resource utilization and thus to optimize energy…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-04-22 Xibo Jin , Fa Zhang , Lin Wang , Songlin Hu , Biyu Zhou , Zhiyong Liu

As RISC-V adoption accelerates, domains such as automotive, the Internet of Things (IoT), and industrial control are attracting growing attention. These domains are subject to stringent Size, Weight, Power, and Cost (SWaP-C) constraints,…

Quantum computing with discrete variable (DV, qubit) hardware is approaching the large scales necessary for computations beyond the reach of classical computers. However, important use cases such as quantum simulations of physical models…

Mobile-edge computing (MEC) is an emerging technology for enhancing the computational capabilities of mobile devices and reducing their energy consumption via offloading complex computation tasks to the nearby servers. Multiuser MEC at…

Information Theory · Computer Science 2018-11-20 Zezu Liang , Yuan Liu , Tat-Ming Lok , Kaibin Huang

Last-level cache (LLC) partitioning is a technique to provide temporal isolation and low worst-case latency (WCL) bounds when cores access the shared LLC in multicore safety-critical systems. A typical approach to cache partitioning…

Hardware Architecture · Computer Science 2022-04-05 Zhuanhao Wu , Hiren Patel

Modern networks run "middleboxes" that offer services ranging from network address translation and server load balancing to firewalls, encryption, and compression. In an industry trend known as Network Functions Virtualization (NFV), these…

Data Structures and Algorithms · Computer Science 2018-02-27 Moses Charikar , Yonatan Naamad , Jennifer Rexford , X. Kelvin Zou

Support Vector Machine (SVM) is powerful classification technique based on the idea of structural risk minimization. Use of kernel function enables curse of dimensionality to be addressed. However, proper kernel function for certain problem…

Machine Learning · Computer Science 2014-03-04 Arindam Chaudhuri

With the increasing demand for openness, flexibility, and monetization the Network Function Virtualization (NFV) of mobile network functions has become the embracing factor for most mobile network operators. Early reported field deployments…

Networking and Internet Architecture · Computer Science 2021-08-31 Shunmugapriya Ramanathan , Koteswararao Kondepu , Tianliang Zhang , Behzad Mirkhanzadeh , Miguel Razo , Marco Tacca , Luca Valcarenghi , Andrea Fumagalli

Virtual machine images and instances (VMs) in cloud computing centres are typically designed as isolation containers for applications, databases and networking functions. In order to build complex distributed applications, multiple virtual…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-09-24 Josef Spillner , Andrii Chaichenko , Andrey Brito , Francisco Brasileiro , Alexander Schill

Confidential computing is a key technology for isolating high-assurance applications from the large amounts of untrusted code typical in modern systems. Existing confidential computing systems cannot be certified for use in critical…

Cryptography and Security · Computer Science 2023-11-02 Wojciech Ozga , Guerney D. H. Hunt , Michael V. Le , Elaine R. Palmer , Avraham Shinnar

Existing memory management mechanisms used in commodity computing machines typically adopt hardware based address interleaving and OS directed random memory allocation to service generic application requests. These conventional memory…

Operating Systems · Computer Science 2017-04-06 Lei Liu