Publications associées à Documentation logicielle

Latency Interfaces for Systems Code

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects. S ...

EPFL2023

STEPS 4.0: Fast and memory-efficient molecular simulations of neurons at the nanoscale

Felix Schürmann, James Gonzalo King, Pramod Shivaji Kumbhar, Omar Awile, Christos Kotsalos, Tristan Mathieu Carel, Iain Hepburn, Samuel Marie A Melchior, Weiliang Chen, Baudouin Paul Michel Maria Joseph Del Marmol

Recent advances in computational neuroscience have demonstrated the usefulness and importance of stochastic, spatial reaction-diffusion simulations. However, ever increasing model complexity renders traditional serial solvers, as well as naive parallel imp ...

FRONTIERS MEDIA SA2022

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Dimitrios Kyritsis, Yan Yan, Jinzhi Lu

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

ELSEVIER2022

MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis

Mathias Josef Payer, Yu Jiang, Chijin Zhou

Browser APIs are essential to the modern web experience. Due to their large number and complexity, they vastly expand the attack surface of browsers. To detect vulnerabilities in these APIs, fuzzers generate test cases with a large amount of random API inv ...

Assoc Computing Machinery2022

Workflow Engineering in Materials Design within the BATTERY 2030+Project

Giovanni Pizzi, Leonid Kahle, Ivano Eligio Castelli, Sebastiaan Philippe Huber, Felix Tim Bölle, Jie Yuan

In recent years, modeling and simulation of materials have become indispensable to complement experiments in materials design. High-throughput simulations increasingly aid researchers in selecting the most promising materials for experimental studies or by ...

WILEY-V C H VERLAG GMBH2021

Wannier90 as a community code: new features and applications

Nicola Marzari, Giovanni Pizzi, Marco Gibertini, Antimo Marrazzo, Hyungjun Lee, Junfeng Qiao, Samuel Poncé, Lorenzo Paulatto, Daniel John Gilles Marchand

Wannier90 is an open-source computer program for calculating maximally-localised Wannier functions (MLWFs) from a set of Bloch states. It is interfaced to many widely used electronic-structure codes thanks to its independence from the basis sets representi ...

2020

NAGRA Project Order 16’189 EBS – Task Force: Gas Transport in Bentonite

Lyesse Laloui, Aldo Madaschi

The Task 7 of the EBS task force is devoted to the modelling of gas transport phenomena in saturated bentonite. It was launched mid‐2016 with the following objectives: - To survey existing modelling tools for the simulation of gas migration in saturated be ...

2018

IntegrCiTy - D2.3 Report - Enabling and integrating a common IT structure: Definition of a back-end layer architecture

François Maréchal, Luc Girardin, Jessen Page, Gillian Jean Bernard Basso

The concept of the IntegrCiTy platform is built around the development of a single application as a suite of independent software: project partners will mutualize a certain number of tools that shall be integrated in the IntegrCiTy platform. Therefore, a r ...

IPESE-EPFL2017

Ensuring Asset Optimization through Ontology-based Modelling of Technical Documentation

Andreas Koukias

The physical or engineering assets within modern industries have consistently been considered as the core elements of significant value that constitute the backbone for success and overall growth. Ensuring the optimal performance of an asset is a crucial a ...

EPFL2014

Finding Information in Multimedia Meeting Records

Hervé Bourlard, Andrei Popescu-Belis

This paper surveys the work carried out within two large consortia, AMI and IM2, on improving access to records of human meetings thanks to multimodal interfaces called meeting browsers. These tools help users navigate through multimedia records containing ...

2012