Concept

Logiciel libre

Publications associées (187)

Creating Trust by Abolishing Hierarchies

Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Neelu Shivprakash Kalani, Yuchen Qian

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Object-oriented modelling of advanced computer cooling solutions

David Atienza Alonso, Federico Terraneo

Modern computing systems are so energy- intensive to make efficient cooling vital for their operation. This is giving rise to a variety of innovative cooling solutions based on a mix of traditional and new techniques. The design and engineering of these so ...

Elsevier2023

FLIIMP : a community software for the processing, calibration, and reporting of liquid water isotope measurements on cavity-ring down spectrometers

Sonja Wahl

Precise and accurate measurements of the stable isotope composition from precipitation, land ice, runoff, and oceans provide critical information on Earth's water cycle. The analysis, post-processing, and calibration of raw analytical signals from laser sp ...

2023

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, Nirupam Gupta, John Stephan, Sadegh Farhadkhani, Le Nguyen Hoang, Rafaël Benjamin Pinot

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

PLMR2023

Machine-Learning-Enhanced Procedural Modeling for 4D Historical Cities Reconstruction

Frédéric Kaplan, Isabella Di Lenardo, Rémi Guillaume Petitpierre, Beatrice Vaienti

The generation of 3D models depicting cities in the past holds great potential for documentation and educational purposes. However, it is often hindered by incomplete historical data and the specialized expertise required. To address these challenges, we p ...

2023

Sketches

Pier Vittorio Aureli

I draw by hand, but I don’t like free-hand sketching. Of course, when designing, it is inevitable to make sketches, especially when collaborating with someone. A quick sketch remains the most efficient way to communicate to others early ideas or observatio ...

2023

Hardware and Software Support for RPC-Centric Server Architecture

Mark Johnathon Sutherland

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...

EPFL2022

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Simulating time-varying strong lenses

Georgios Vernardos

We present a self-consistent and versatile forward modelling software package that can produce time series and pixel-level simulations of time-varying strongly lensed systems. The time dimension, which needs to take into account different physical mechanis ...

OXFORD UNIV PRESS2022

The application of the finite-difference time-domain (FDTD) technique to lightning studies

Marcos Rubinstein, Dongshuai Li

We have seen in this chapter that the FDTD method for solving Maxwell's equations is accurate and versatile in a very wide variety of applications related to lightning. One can analyze the lightning electromagnetic field propagation over distances ranging ...

IET2022

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