English
Related papers

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

200 papers

Virtualization, a technique once used to multiplex the resources of high-priced mainframe hardware, is seeing a resurgence in applicability with the increasing computing power of commodity computers. By inserting a layer of software between…

Operating Systems · Computer Science 2007-05-23 Nadir Kiyanclar

Over the past two decades, the cloud computing paradigm has gradually attracted more popularity due to its efficient resource usage and simple service access model. Virtualization technology is the fundamental element of cloud computing…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-01-17 Hossein Aqasizade , Ehsan Ataie , Mostafa Bastam

AMD SEV is a hardware feature designed for the secure encryption of virtual machines. SEV aims to protect virtual machine memory not only from other malicious guests and physical attackers, but also from a possibly malicious hypervisor.…

Cryptography and Security · Computer Science 2018-05-25 Mathias Morbitzer , Manuel Huber , Julian Horsch , Sascha Wessel

In this paper I describe some results on the use of virtual processors technology for parallelize some SPMD computational programs in a cluster environment. The tested technology is the INTEL Hyper Threading on real processors, and the…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Gianluca Argentini

The sustained popularity of the cloud and cloud-related services accelerate the evolution of virtualization-enabling technologies. Modern off-the-shelf computers are already equipped with specialized hardware that enables a hypervisor to…

Software Engineering · Computer Science 2014-05-23 Francesco Gadaleta , Nick Nikiforakis , Jan Tobias Muhlberg , Wouter Joosen

Typically, a memory request from a processor may need to go through many intermediate interconnect routers, directory node, owner node, etc before it is finally serviced. Current multiprocessors do not give preference to any particular…

Hardware Architecture · Computer Science 2016-06-21 Sandeep Navada , Anil Krishna

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

Any architecture for practical quantum computing must be scalable. An attractive approach is to create multiple cores, computing regions of fixed size that are well-spaced but interlinked with communication channels. This exploded…

Quantum Physics · Physics 2022-11-08 Hamza Jnane , Brennan Undseth , Zhenyu Cai , Simon C Benjamin , Bálint Koczor

Virtual machine (VM) placement is very important for cloud platforms. While techniques, such as live virtual machine migration, are very useful to balance the load in the data centers, they are expensive operations. In this position paper,…

Networking and Internet Architecture · Computer Science 2013-07-26 Xia Liu , Li Fan

Machine learning and quantum computing are two technologies each with the potential for altering how computation is performed to address previously untenable problems. Kernel methods for machine learning are ubiquitous for pattern…

Secure containers isolate each container with its own kernel, mitigating shared-kernel attacks prevalent in traditional container systems. However, existing designs still face a fundamental isolation--performance trade-off. Nested-cloud…

Operating Systems · Computer Science 2026-05-21 Yiyang Wu , Xunjie Wang , Jinyu Gu , Haibo Chen

In recent years, data-intensive applications have been increasingly deployed on cloud systems. Such applications utilize significant compute, memory, and I/O resources to process large volumes of data. Optimizing the performance and…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-15 Qing Wang , Snigdhaswin Kar , Prabodh Mishra , Caleb Linduff , Ryan Izard , Khayam Anjam , Geddings Barrineau , Junaid Zulfiqar , Kuang-Ching Wang

Orchestration systems are becoming a key component to automatically manage distributed computing resources in many fields with criticality requirements like Industry 4.0 (I4.0). However, they are mainly linked to OS-level virtualization,…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-07 Marco Barletta , Marcello Cinque , Luigi De Simone , Raffaele Della Corte , Giorgio Farina , Daniele Ottaviano

The trend in industry is towards heterogeneous multicore processors (HMCs), including chips with CPUs and massively-threaded throughput-oriented processors (MTTOPs) such as GPUs. Although current homogeneous chips tightly couple the cores…

Hardware Architecture · Computer Science 2013-10-30 Blake A. Hechtman , Daniel J. Sorin

Multi-tenant computing platforms are typically comprised of several software and hardware components including platform firmware, host operating system kernel, virtualization monitor, and the actual tenant payloads that run on them…

Cryptography and Security · Computer Science 2023-04-14 Ravi Sahita , Atish Patra , Vedvyas Shanbhogue , Samuel Ortiz , Andrew Bresticker , Dylan Reid , Atul Khare , Rajnesh Kanwal

Separation kernels are fundamental software of safety and security-critical systems, which provide to their hosted applications spatial and temporal separation as well as controlled information flows among partitions. The application of…

Software Engineering · Computer Science 2016-07-12 Yongwang Zhao

Secure container runtimes serve as the foundational layer for creating and running containers, which is the bedrock of emerging computing paradigms like microservices and serverless computing. Although existing secure container runtimes…

Networking and Internet Architecture · Computer Science 2023-10-10 Chenxingyu Zhao , Yulin Sun , Ying Xiong , Arvind Krishnamurthy

Nowadays, a feature-rich automotive vehicle offers several technologies to assist the driver during his trip and guarantee an amusing infotainment system to the other passengers, too. Consolidating worlds at different criticalities is a…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-26 Marcello Cinque , Luigi De Simone , Andrea Marchetta

Confidential Virtual Machines (CVMs) are increasingly adopted to protect sensitive workloads from privileged adversaries such as the hypervisor. While they provide strong isolation guarantees, existing CVM architectures lack first-class…

Cryptography and Security · Computer Science 2026-05-07 Sina Abdollahi , Amir Al Sadi , David Kotz , Marios Kogias , Hamed Haddadi

In the last decade, we have witnessed exponential growth in the complexity of control systems for safety-critical applications (automotive, robots, industrial automation) and their transition to heterogeneous mixed-criticality systems…

Hardware Architecture · Computer Science 2024-06-12 Michael Rogenmoser , Alessandro Ottaviano , Thomas Benz , Robert Balas , Matteo Perotti , Angelo Garofalo , Luca Benini