Concept

Fondation Linux

Publications associées (12)

Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis

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

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

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

Martin Vetterli, Paolo Prandoni, Guillermo Barrenetxea Kobas, 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

TwinDrivers: Semi-Automatic Derivation of Fast and Safe Hypervisor Network Drivers from Guest OS Drivers

Willy Zwaenepoel, Aravind Menon, Simon Schubert

In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor. Doing so protects the hypervisor from bugs in the driver, and also allows the reuse of the device driver and its support infrastructure ...

ACM2009

Optimizing TCP Receive Performance

Willy Zwaenepoel, Aravind Menon

The performance of the networking stack in an operating system depends on the overhead incurred by two of its components: the per-byte overhead incurred in data-touching operations, and the per-packet overhead of protocol processing and other operating sys ...

2008

New ventures based on open innovation – an empirical analysis of start-up firms in embedded Linux

Marc Gruber

An important and intriguing aspect of e-entrepreneurship is the formation of new ventures in the domain of open source software (OSS). Previous research on these ventures has primarily looked at the design of business models. The purpose of this paper is t ...

2006

Optimizing Network Virtualization in Xen

Willy Zwaenepoel, Aravind Menon

BEST PAPER AWARDIn this paper, we propose and evaluate three techniques for optimizing network performance in the Xen virtualized environment. Our techniques retain the basic Xen architecture of locating device dri ...

2006

Linux Network Traffic Control -- Implementation Overview

Linux offers a rich set of traffic control functions. This document gives an overview of the design of the respective kernel code, describes its structure, and illustrates the addition of new elements by describing a new queuing discipline. ...

1999

Scalable Resource Reservation for the Internet

For some time now, the design of architectures for providing dependable Quality of Service (QoS) on multimedia networks has been a busy topic in academia and industry. In this work we look at practical aspects of Quality of Service, and in particular at re ...

1999

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