Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Linux

Related publications (22)

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

Mathias Josef Payer

Fuzzing has emerged as the most broadly used testing technique to discover bugs. Effective fuzzers rely on coverage to prioritize inputs that exercise new program areas. Edge-based code coverage of the Program Under Test (PUT) is the most commonly used cov ...

ASSOC COMPUTING MACHINERY2023

Architecture Exploration and Optimization of Heterogeneous Many-Core Compute and Memory Architectures with Architectural Extensions

Yasir Mahmood Qureshi

The expeditious proliferation of Internet connectivity and the growing adoption of digital products have transformed various spheres of our everyday lives. This increased digitization of society has led to the emergence of new applications, which are deplo ...

EPFL2021

NrOS: Effective Replication and Sharing in an Operating System

Sanidhya Kashyap

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

Battery Charger for Electric Vehicles based on a Wireless Power Transmission

Yves Perriard, Paolo Germano

In this paper, the case of a battery charger for electric vehicles based on a wireless power transmission is addressed. The specificity of every stage of the overall system is presented. Based on calculated and measured results, relevant capacitive compens ...

2017

USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

Mathias Josef Payer

The Universal Serial Bus (USB) connects external devices to a host. This interface exposes the OS kernels and device drivers to attacks by malicious devices. Unfortunately, kernels and drivers were developed under a security model that implicitly trusts co ...

USENIX ASSOC2020

An Open-Source LoRa Physical Layer Prototype on GNU Radio

Andreas Peter Burg, Alexios Konstantinos Balatsoukas Stimming, Orion Afisiadis, Joachim Tobias Tapparel

LoRa is the proprietary physical layer (PHY) of LoRaWAN, which is a popular Internet-of-Things (IoT) protocol enabling low-power devices to communicate over long ranges. A number of reverse engineering attempts have been published in the last few years tha ...

IEEE2020

The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS

Willy Zwaenepoel, Baptiste Joseph Eustache Lepers, Sébastien Chevalley, Justinien Gérard Alain Bouron

This paper analyzes the impact on application performance of the design and implementation choices made in two widely used open-source schedulers: ULE, the default FreeBSD scheduler, and CFS, the default Linux scheduler. We compare ULE and CFS in otherwise ...

2018

The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS

Willy Zwaenepoel, Baptiste Joseph Eustache Lepers, Sébastien Chevalley, Justinien Gérard Alain Bouron

USENIX ASSOC2018

pyIAST: Ideal adsorbed solution theory (IAST) Python package

Berend Smit

Ideal adsorbed solution theory (LAST) is a widely-used thermodynamic framework to readily predict mixed-gas adsorption isotherms from a set of pure-component adsorption isotherms. We present an open-source, user-friendly Python package, pyIAST, to perform ...

Elsevier2016

Improving systems software security through program analysis and instrumentation

Volodymyr Kuznetsov

Security and reliability bugs are prevalent in systems software. Systems code is often written in low-level languages like C/C++, which offer many benefits but also delegate memory management and type safety to programmers. This invites bugs that cause cra ...

EPFL2016

Learning with tensors: a framework based on convex optimization and spectral regularization

Quoc Tran Dinh

We present a framework based on convex optimization and spectral regularization to perform learning when feature observations are multidimensional arrays (tensors). We give a mathematical characterization of spectral penalties for tensors and analyze a uni ...

Springer2014

QMMMW: A wrapper for QM/MM simulations with QUANTUM ESPRESSO and LAMMPS

Changru Ma

We present QMMMW, a new program aimed at performing Quantum Mechanics/Molecular Mechanics (QM/MM) molecular dynamics. The package operates as a wrapper that patches PWscf code included in the QUANTUM ESPRESSO distribution and LAMMPS Molecular Dynamics Simu ...

Elsevier Science Bv2015

BOLTZWANN: A code for the evaluation of thermoelectric and electronic transport properties with a maximally-localized Wannier functions basis

Nicola Marzari, Giovanni Pizzi

We present a new code to evaluate thermoelectric and electronic transport properties of extended systems with a maximally-localized Wannier function basis set. The semiclassical Boltzmann transport equations for the homogeneous infinite system are solved i ...

Elsevier Science Bv2014

Distributed digital real-time control system for TCV tokamak

Olivier Sauter, Basil Duval, Stefano Coda, Jean-Marc Moret, Federico Alberto Alfredo Felici, Damien Fasel, Philippe Marmillod, James Paley, Hoang Bao Le

A new digital feedback control system (named the SCD "Systeme de Controle Distribue") has been developed, integrated and used successfully to control TCV (Tokamak a Configuration Variable) plasmas. The system is designed to be modular, distributed, and sca ...

Elsevier Science Sa2014

turboTDDFT 2.0 Hybrid functionals and new algorithms within time-dependent density-functional perturbation theory

We present a new release of the turboTDDFT code featuring an implementation of hybrid functionals, a recently introduced pseudo-Hermitian variant of the Liouville-Lanczos approach to time-dependent density-functional perturbation theory, and a newly develo ...

Elsevier Science Bv2014

OLTP in Wonderland -- Where do cache misses come from in major OLTP components?

Anastasia Ailamaki, Pinar Tözün

For several decades, online transaction processing has been one of the main applications that drives innovations in the data management ecosystem, and in turn the database and computer architecture communities. Despite the novel approaches from industry an ...

ACM2013

Sensorcam: An Energy-Efficient Smart Wireless Camera for Environmental Monitoring

Martin Vetterli, Guillermo Barrenetxea Kobas, Paolo Prandoni, Zichong Chen

Reducing energy cost is crucial for energy-constrained smart wireless cameras. Existing platforms impose two main challenges: First, most commercial smart phones have a closed platform, which makes it impossible to manage low-level circuits. Since the samp ...

Assoc Computing Machinery2012

Aseba Meets D-Bus: From the Depths of a Low-Level Event-

Francesco Mondada, Stéphane Magnenat

The robotics research community has clearly acknowledged the need of open and standard software stacks to promote reuse of code and developments. However, to date no particular project has prevailed. We suggest that one possible reason for this is that mos ...

2009

Synchronous versus asynchronous modeling of gene regulatory networks

Giovanni De Micheli, Abhishek Garg

In silico modeling of gene regulatory networks has gained some momentum recently due to increased interest in analyzing the dynamics of biological systems. This has been further facilitated by the increasing availability of experimental data on gene–gene, ...

Oxford University Press2008

AntispamLab - A Tool for Realistic Evaluation of Email Spam Filters

Jean-Yves Le Boudec

The existing tools for testing spam filters evaluate a filter instance by simply feeding it with a stream of emails, possibly also providing a feedback to the filter about the correctness of the detection. In such a scenario the evaluated filter is disconn ...

2007