Publications related to Free software

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

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, John Stephan, Sadegh Farhadkhani, Le Nguyen Hoang, Nirupam Gupta, 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

lifex-ep: a robust and efficient software for cardiac electrophysiology simulations

Alfio Quarteroni, Francesco Regazzoni, Stefano Pagani, Marco Fedele

Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors ...

BMC2023

Automatic and high-precision acoustic emission-based structural health monitoring of concrete structures

Brice Tanguy Alphonse Lecampion, Seyyedmaalek Momeni

Acoustic emission (AE) monitoring is a useful technique to monitor the health of a structure continuously, helping to prevent potential failure. AE are elastic waves produced and emitted during fracture processes inside a material and are recorded by senso ...

DESTech publications inc.2023

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

Bit-Line Computing for CNN Accelerators Co-Design in Edge AI Inference

David Atienza Alonso, Giovanni Ansaloni, Alexandre Sébastien Julien Levisse, Marco Antonio Rios, Flavio Ponzina

By supporting the access of multiple memory words at the same time, Bit-line Computing (BC) architectures allow the parallel execution of bit-wise operations in-memory. At the array periphery, arithmetic operations are then derived with little additional o ...

2023

Challenges and approaches in bridging the biomimicry gap in biohybrid systems of fish and robots

Vaios Papaspyros

As the field of ethology advances, especially over the past two decades, the role of animal-robot interaction tools has increasingly become essential. This importance arises from the need for controlled, repetitive, repeatable, and long-duration experiment ...

EPFL2023

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, Aikaterini Argyraki

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

Reconfigurable Drone System for Transportation of Parcels With Variable Mass and Size

Dario Floreano, Fabrizio Schiano, Przemyslaw Mariusz Kornatowski, Leonardo Cencetti

Cargo drones are designed to carry payloads with predefined shape, size, and/or mass. This lack of flexibility requires a fleet of diverse drones tailored to specific cargo dimensions. Here we propose a new reconfigurable drone based on a modular design th ...

2022

Molecular simulations of interfacial systems: challenges, applications and future perspectives

Athanasios Nenes, Satoshi Takahama, Mária Lbadaoui-Darvas

We present a comprehensive review of methods and applications of molecular simulations of interfacial systems. We give a detailed overview of the main techniques and major challenges in the following aspects of solid and fluid surfaces: adsorption at solid ...

TAYLOR & FRANCIS LTD2023

Hardware-Software Co-Design of an RPC Processor

Arash Pourhabibi Zarandi

The booming popularity of online services has led to a major evolution in the way these services are built and deployed. To cope with such online data-intensive services, service providers deploy several massive-scale datacenters, also referred to as wareh ...

EPFL2021

Chirok: a post-refinement tool to analyse absolute structure

Philip Pattison

Chirok is software for a post-refinement test of the absolute structure. The software allows a user to calculate a distribution of the measure of chirality based on intensity quotients and linked to the Flack parameter. The distribution is fitted by a set ...

2020

Evaluating the Effects of Introducing Three Gamification Elements in STEM Educational Software for Secondary Schools

Denis Gillet, Juan Carlos Farah

Gamification aims to enhance the educational experience by enabling students to have fun with technology. Although research in the field has previously looked into the effectiveness of gamification, reviews of existing studies show that in the context of e ...

Association for Computing Machinery2020

Lenstool-HPC: A High Performance Computing based mass modelling tool for cluster-scale gravitational lenses

Jean-Paul Richard Kneib, Christoph Ernst René Schäfer

With the upcoming generation of telescopes, cluster scale strong gravitational lenses will act as an increasingly relevant probe of cosmology and dark matter. The better resolved data produced by current and future facilities requires faster and more effic ...

ELSEVIER2020

Roundtable Panel Discussion at DAC 2019: Evolutionary Computing or Heuristic Forever?

Giovanni De Micheli, Massimiliano Di Ventra

As demands for computing have been continuously increasing, various solutions have been proposed. Some approaches deal with improving algorithms and software programs, mainly through the tuning of advanced heuristics and learning methods. Some other tackle ...

2020

Teaching Practical DSP with Off-the-Shelf Hardware and Free Software

Paolo Prandoni, Eric Bezzam, Adrien Guillaume Olivier Hoffet

In this paper we describe our approach to teaching applied digital signal processing (DSP) using freely-available software and inexpensive off-the-shelf hardware components. The pedagogical framework is built around simple real-time audio processing algori ...

IEEE2019

SD-WISE: A Software-Defined WIreless SEnsor network

Angelos Christos Anadiotis

In this paper we introduce SD-WISE, a Software-Defined Wireless SEnsor networking solution for Wireless Sensor (and actuator) Networks (WSNs). SD-WISE has several unique features making it a flexible and expandable solution that can be applied in heterogen ...

ELSEVIER SCIENCE BV2019