Results 1 to 10 of about 1,088,631 (88)
Towards Porting Operating Systems with Program Synthesis [PDF]
ACM Transactions on Programming Languages and Systems, 2022 The end of Moore’s Law has ushered in a diversity of hardware not seen in decades. Operating system (OS) (and system software) portability is accordingly becoming increasingly critical.
Jingmei Hu +5 more
semanticscholar +1 more source
SmartOS: towards automated learning and user-adaptive resource allocation in operating systems
Asia Pacific Workshop on Systems, 2021 Today's operating systems typically apply a one-size-fits-all approach to resource management, such as applying a scheduler that treats all processes of equal importance.
Sepideh Goodarzy +4 more
semanticscholar +1 more source
Disaggregated Memory at the Edge [PDF]
, 2021 This paper describes how to augment techniques such as Distributed Shared Memory with recent trends on disaggregated Non Volatile Memory in the data centre so that the combination can be used in an edge environment with potentially volatile and mobile ...
Cuadrado, Felix +2 more
core +1 more source
FHPM: Fine-grained Huge Page Management For Virtualization
, 2023 As more data-intensive tasks with large footprints are deployed in virtual machines (VMs), huge pages are widely used to eliminate the increasing address translation overhead.
Li, Chuandong +6 more
core
On the definition of a theoretical concept of an operating system [PDF]
, 2010 We dwell on how a definition of a theoretical concept of an operating system, suitable to be incorporated in a mathematical theory of operating systems, could look like.
Bergstra, J. A., Middelburg, C. A.
core +1 more source
SEUSS: rapid serverless deployment using environment snapshots [PDF]
, 2019 Modern FaaS systems perform well in the case of repeat executions when function working sets stay small. However, these platforms are less effective when applied to more complex, large-scale and dynamic workloads.
Appavoo, Jonathan +5 more
core +1 more source
Unleashing Unprivileged eBPF Potential with Dynamic Sandboxing
, 2023 For safety reasons, unprivileged users today have only limited ways to customize the kernel through the extended Berkeley Packet Filter (eBPF). This is unfortunate, especially since the eBPF framework itself has seen an increase in scope over the years ...
Thomas, Pasquier +2 more
core
Putting Instruction Sequences into Effect [PDF]
, 2011 An attempt is made to define the concept of execution of an instruction sequence. It is found to be a special case of directly putting into effect of an instruction sequence.
Bergstra, Jan A.
core +2 more sources
Hyperledger fabric: a distributed operating system for permissioned blockchains [PDF]
European Conference on Computer Systems, 2018 Fabric is a modular and extensible open-source system for deploying and operating permissioned blockchains and one of the Hyperledger projects hosted by the Linux Foundation (www.hyperledger.org).
Elli Androulaki +20 more
semanticscholar +1 more source
ESP32: QEMU Emulation within a Docker Container
, 2023 The ESP32 is a popular microcontroller from Espressif that can be used in many embedded applications. Robotic joints, smart car chargers, beer vat agitators and automated bread mixers are a few examples where this system-on-a-chip excels.
Howard, Michael, Irvin, R. Bruce
core