Publication
The Goals of the Analysis Model
Publications associées (36)
Analytical solutions to a coupled fluid dynamics and neutron transport problem with application to GeN-Foam verification
Code verification is an important part of software development process that asserts code correctness. In this work, analytical solutions are used in order to develop a simple multiphysics problem involving coupled fluid dynamics and neutron transport to be ...
2018Extending Safe C Support In Leon
As hardware designs get more robust and efficient, software can solve a wider range of challenges, each one more advanced than the previous one. The direct consequence is that software complexity grows continuously. Despite being used more frequently in de ...
2017CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds
Bryan Alexander Ford, Linus Gasser, Eleftherios Kokoris Kogias, Philipp Svetolik Jovanovic, Nicolas Gailly, Kirill Nikitin, Ismail Khoffi
Software-update mechanisms are critical to the security of modern systems, but their typically centralized design presents a lucrative and frequently attacked target. In this work, we propose CHAINIAC, a decentralized software-update framework that elimina ...
USENIX Association2017Predictive Models for Thermal Stability and Explosive Properties of Chemicals from Molecular Structure
Industrial chemical processes may involve thermal risks as most of the reactions performed are exothermic, the chemicals used are often thermally unstable, and the operating conditions are set to induce high conversion and throughput. Besides the reactive ...
EPFL2016Current Practice in Software Development for Computational Neuroscience and How to Improve It
Almost all research work in computational neuroscience involves software. As researchers try to understand ever more complex systems, there is a continual need for software with new capabilities. Because of the wide range of questions being investigated, n ...
Public Library of Science2014Finding 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 ...
2012Comparing defect characterization techniques with non-radiative multiphonon charge trapping model AC analysis, trap-assisted-tunneling and charge pumping
Alexandre Schmid, Davide Garetto
The advantages and drawbacks of Capacitance vs Voltage (CV) characteristics, trap-assisted gate leakage tunneling and multi-frequency charge pumping techniques, have been brought out through an attentive investigation of oxide defects in CMOS technologies. ...
Springer Verlag2012Finding Information in Multimedia Records of Meetings
Hervé Bourlard, Andrei Popescu-Belis
This paper overviews the work carried out within two large consortia on improving the access to records of human meetings using multimodal interfaces. The design of meeting browsers has emerged as an important goal, with both theoretical interest and pract ...
Idiap2011Exploiting the ALICE HLT for PROOF by scheduling of Virtual Machines
The HLT (High-Level Trigger) group of the ALICE experiment at the LHC has prepared a virtual Parallel ROOT Facility (PROOF) enabled cluster (HAF - HLT Analysis Facility) for fast physics analysis, detector calibration and reconstruction of data samples. Th ...
Iop Publishing Ltd, Dirac House, Temple Back, Bristol Bs1 6Be, England2011Collaborative Development of a PLE for Language Learning
Sten Govaerts, Evgeny Bogdanov
This paper provides a report on the experimental collaborative and distributed development of a prototypic Widget-based PLE. The development process is described and detailed taking into account the requirements of a language learning scenario. First resul ...
2010