Results 1 to 10 of about 1,063,356 (91)
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
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
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
On the Analysis of Real-time Operating System Reliability in Embedded Systems
IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2020 Nowadays, the reliability has become one of the main issues for safety-critical embedded systems, like automotive, aerospace and avionic. In an embedded system, the full system stack usually includes, between the hardware layer and the software ...
Dario Mamone +4 more
semanticscholar +1 more source
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
Neverlast: an NVM-centric operating system for persistent edge systems
Asia Pacific Workshop on Systems, 2021 The development of novel non-volatile memories (NVM) with low latencies presents a turning point in the design of computational systems, especially the design of efficient intermittently-powered edge computing systems.
Christian Eichler +5 more
semanticscholar +1 more source