Results 51 to 60 of about 1,063,356 (91)

SquirrelFS: using the Rust compiler to check file-system crash consistency

This work introduces a new approach to building crash-safe file systems for persistent memory. We exploit the fact that Rust's typestate pattern allows compile-time enforcement of a specific order of operations.
Bornholt, James, Chidambaram, Vijay, LeBlanc, Hayley, Taylor, Nathan   +3 more
core  

A System-Level Dynamic Binary Translator using Automatically-Learned Translation Rules

System-level emulators have been used extensively for system design, debugging and evaluation. They work by providing a system-level virtual machine to support a guest operating system (OS) running on a platform with the same or different native OS that ...
Dong, Rongchao, Jiang, Jinhu, Liang, Chaoyi, Wang, Wenwen, Yang, Zhaohui, Yew, Pen-Chung, Zhang, Weihua, Zhou, Zhongjun   +7 more
core  

Taming Server Memory TCO with Multiple Software-Defined Compressed Tiers

Memory accounts for 33 - 50% of the total cost of ownership (TCO) in modern data centers. We propose a novel solution to tame memory TCO through the novel creation and judicious management of multiple software-defined compressed memory tiers.
Kumar, Sandeep, Prasad, Aravinda, Subramoney, Sreenivas   +2 more
core  

Safe and automatic live update for operating systems

International Conference on Architectural Support for Programming Languages and Operating Systems, 2013
Cristiano Giuffrida, A. Kuijsten, A. Tanenbaum   +2 more
semanticscholar   +1 more source

Steering fragments of instruction sequences [PDF]

, 2010
Bergstra, J.A.
core  

NAS-Bench-Graph: Benchmarking Graph Neural Architecture Search

Graph neural architecture search (GraphNAS) has recently aroused considerable attention in both academia and industry. However, two key challenges seriously hinder the further research of GraphNAS.
Qin, Yijian, Wang, Xin, Zhang, Zeyang, Zhang, Ziwei, Zhu, Wenwu   +4 more
core  

Some of the next articles are maybe not open access.

Related searches:

Toward the hardening of real-time operating systems

IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2022
Safety and Mission-critical systems are evolving daily, requiring increasing levels of complexity in their design. While bare-metal single CPU systems were dedicated to such systems in the past, nowadays, multicore CPUs, GPUs, and other accelerators ...
A. Bosio, Stefano Di Carlo, Maurizio Rebaudengo, A. Savino   +3 more
semanticscholar   +1 more source

Tinkertoy: Build Your Own Operating Systems for IoT Devices

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022
The Internet of Things (IoT) makes it possible for tiny devices with sensing and communication capabilities to be interconnected and interact with the cyber–physical world.
Bingyao Wang, M. Seltzer
semanticscholar   +1 more source

ThingSpire OS: a WebAssembly-based IoT operating system for cloud-edge integration

ACM SIGMOBILE International Conference on Mobile Systems, Applications, and Services, 2021
We advocate ThingSpire OS, a new IoT operating system based on WebAssembly for cloud-edge integration. By design, WebAssembly is considered as the first-class citizen in ThingSpire OS to achieve coherent execution among IoT device, edge and cloud ...
Borui Li, Hongchang Fan, Yi Gao, Wei Dong   +3 more
semanticscholar   +1 more source

The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems

Symposium on Operating Systems Principles, 2021
Datacenter systems and I/O devices now run at single-digit microsecond latencies, requiring ns-scale operating systems. Traditional kernel-based operating systems impose an unaffordable overhead, so recent kernel-bypass OSes [73] and libraries [23 ...
Irene Zhang, Amanda Raybuck, Pratyush Patel, Kirk Olynyk, J. Nelson, O. N. Leija, Ashlie Martinez, Jing Liu, A. K. Simpson, Sujay Jayakar, P. H. Penna, Max Demoulin, Piali Choudhury, Anirudh Badam   +13 more
semanticscholar   +1 more source