Concept

Tableau synoptique des systèmes d'exploitation

Publications associées (110)

ACTOR: Action-Guided Kernel Fuzzing

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Berkeley2023

Dynamic Linkers Are the Narrow Waist of Operating Systems

Adrien Ghosn, Charly Nicolas Lucien Castes

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Association for Computing Machinery2023

Supplementary datasets for the manuscript "Generative machine learning produces kinetic models that accurately characterize intracellular metabolic states" - Part 3

Vassily Hatzimanikatis, Ljubisa Miskovic, Michaël Roger Germain Moret

Supplementary files containing datasets needed to reproduce the results of the manuscript "Generative machine learning produces kinetic models that accurately characterize intracellular metabolic states" by S. Choudhury et al (https://doi.org/10.1101/2023. ...

EPFL Infoscience2023

Correlation properties of a one-dimensional repulsive Bose gas at finite temperature

Riccardo Rota

We present a comprehensive study shedding light on how thermal fluctuations affect correlations in a Bose gas with contact repulsive interactions in one spatial dimension. The pair correlation function, the static structure factor, and the one-body density ...

IOP Publishing Ltd2023

Sustainable Construction in Humanitarian. Action Criteria for humanitarian building sustainability

Sergi Aguacil Moreno, Guillaume Habert, Sebastian Duque Mahecha, André Ullal

Humanitarian organisations have an interest in improving the sustainability of buildings that support the assistance provided to people affected by conflict and disaster. Yet, usual means of assessing building sustainability - e.g., labels such as LEED and ...

2022

NrOS: Effective Replication and Sharing in an Operating System

Sanidhya Kashyap, Ankit Bhardwaj

Writing a correct operating system kernel is notoriously hard. Kernel code requires manual memory management and type-unsafe code and must efficiently handle complex, asynchronous events. In addition, increasing CPU core counts further complicate kernel de ...

USENIX ASSOC2021

Towards bootstrapping RG flows: sine-Gordon in AdS

The boundary correlation functions for a Quantum Field Theory (QFT) in an Anti-de Sitter (AdS) background can stay conformally covariant even if the bulk theory undergoes a renormalization group (RG) flow. Studying such correlation functions with the numer ...

SPRINGER2021

Exploiting Errors for Efficiency: A Survey from Circuits to Applications

Babak Falsafi, Alexandros Daglis, Eva Darulova, Mattia Cacciotti, Damien Zufferey, Sasa Misailovic

When a computational task tolerates a relaxation of its specification or when an algorithm tolerates the effects of noise in its execution, hardware, system software, and programming language compilers or their runtime systems can trade deviations from cor ...

ASSOC COMPUTING MACHINERY2020

Dissipative-coupling-assisted laser cooling: Limitations and perspectives

Alexander Tagantsev

The recently identified possibility of ground-state cooling of a mechanical oscillator in the unresolved sideband regime by combination of the dissipative and dispersive optomechanical coupling under the red sideband excitation [Phys. Rev. A 88, 023850 (20 ...

AMER PHYSICAL SOC2020

Revisiting Multivariate Lattices for Encrypted Signal Processing

Juan Ramón Troncoso-Pastoriza

Multimedia contents are inherently sensitive signals that must be protected when processed in untrusted environments. The field of Secure Signal Processing addresses this challenge by developing methods which enable operating with sensitive signals in a pr ...

ASSOC COMPUTING MACHINERY2019

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search