Publications associées à Cycle de vie d'un logiciel

Alpha peak frequency affects visual performance beyond temporal resolution

Michael Herzog, David Pascucci, Maya Roinishvili, Maëlan Quentin Menétrey

Recent work suggests that the individual alpha peak frequency (IAPF) reflects the temporal resolution of visual processing: individuals with higher IAPF can segregate stimuli at shorter intervals compared to those with lower IAPF. However, this evidence ma ...

2024

ShapePipe: A modular weak-lensing processing and analysis pipeline

Jean-Luc Starck, Austin Chandler Peel

We present the first public release of ShapePipe, an open-source and modular weak-lensing measurement, analysis, and validation pipeline written in Python. We describe the design of the software and justify the choices made. We provide a brief description ...

2022

Challenges and Opportunities in Integrating Interactive Chatbots into Code Review Exercises: A Pilot Case Study

Denis Gillet, Juan Carlos Farah, Adrian Christian Holzer

While chatbots are commonly used to support software developers with repetitive tasks, their use in programming education is still limited, particularly for students in non-technical domains. To better understand the potential for chatbots to support progr ...

IATED2022

Integrity and Metadata Protection in Data Retrieval

Kirill Nikitin

Secure retrieval of data requires integrity, confidentially, transparency, and metadata-privacy of the process. Existing protection mechanisms, however, provide only partially these properties: encryption schemes still expose cleartext metadata, protocols ...

EPFL2021

Role of glutathione S-transferases and the mercapturic acid pathway in the biotransformation potential of two zebrafish (Danio rerio) test systems: early life stages and PAC2 cells

Alena Tierbach

Zebrafish (Danio rerio) early life stages provide an important model for chemical risk assessment due to their genetic similarity to humans and the availability of well-established high-throughput techniques. Cells isolated from zebrafish conserve all thes ...

EPFL2020

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Mathias Josef Payer

Fuzzing is one of the most popular and effective techniques for finding software bugs. To detect triggered bugs, fuzzers leverage a variety of sanitizers in practice. Unfortunately, sanitizers target long running experiments-e.g., developer test suites-not ...

USENIX ASSOC2020

Realistic Constrained Multi-Objective Optimization Benchmark Problems from Design

Jürg Alexander Schiffmann, Cyril Picard

Multi-objective optimization is increasingly used in engineering to design new systems and to identify design trade-offs. Yet, design problems often have objective functions and constraints that are expensive and highly non-linear. Combinations of these fe ...

2020

AIM 2019 Challenge on Image Extreme Super-Resolution: Methods and Results

Majed El Helou, Liying Lu, Ruofan Zhou, Xin Yang, Wei Li, Radu Timofte, Jia Yu, Muhammad Haris, Peng Yi, Jiayi Ma, Hanwen Liu

This paper reviews the AIM 2019 challenge on extreme image super-resolution, the problem of restoring of rich details in a low resolution image. Compared to previous, this challenge focuses on an extreme upscaling factor, x16, and employs the novel DIVerse ...

IEEE COMPUTER SOC2019

NTIRE 2018 Challenge on Spectral Reconstruction from RGB Images

Lei Zhang, Bing Zhang, Majed El Helou, Ruofan Zhou, Fayez Lahoud, Dong Liu, Marjan Shahpaski, Radu Timofte, Chang Chen, Soumik Sarkar, Himanshu Sharma

This paper reviews the first challenge on spectral image reconstruction from RGB images, i.e., the recovery of whole-scene hyperspectral (HS) information from a 3- channel RGB image. The challenge was divided into 2 tracks: the “Clean” track sought HS reco ...

2018

CHAINIAC: 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 Association2017

T-RECS: A Software Testbed for Multi-Agent Real-Time Control of Electric Grids

Jean-Yves Le Boudec, Wajeb Saab, Roman Rudnik, Jagdish Prasad Achara, Maaz Mashood Mohiuddin

Multiple software agents can be used to perform the real-time control of electrical grids. The control performance of such solutions is influenced by software non-idealities such as crashes and delays of the software agents, and message losses and delays d ...

2017

A Design-Build-Test cycle using modeling and experiments reveals interdependencies between upper glycolysis and xylose uptake in recombinant S. cerevisiae and improves predictive capabilities of large-scale kinetic models

Vassily Hatzimanikatis, Ljubisa Miskovic, Keng Cher Soh

Recent advancements in omics measurement technologies have led to an ever-increasing amount of available experimental data that necessitate systems-oriented methodologies for efficient and systematic integration of data into consistent large-scale kinetic ...

2017

Modelling Architecture Styles

Anastasia Mavridou

Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...

EPFL2016

Proposal of a Closed Loop Framework for the Improvement of Industrial Systems' Life Cycle Performances: Experiences from the LinkedDesign Project

Dimitrios Kyritsis, Ana Milicic

The context where European manufacturers of industrial systems operate has dramatically changed over recent years: the pressure of emerging countries they have to face, policy makers' environmental laws and industrial companies' interests are pushing towar ...

Elsevier Science Bv2015

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Martin Odersky, Vlad Ureche, Cédric Bastin

The ScalaDyno compiler plugin allows fast prototyping with the Scala programming language, in a way that combines the benefits of both statically and dynamically typed languages. Static name resolution and type checking prevent partially-correct code from ...

ACM2014

Creative-Learning Innovation Cycle - CLIC : Work Motivation and Organizational Creativity

Vincent Nassar

WHY do certain leaders’ management of organizational resources encourage creative people engaged in New Product Development (NPD) to achieve high performance, on time, while other leaders’ practices foster frustration and delays? In this research project I ...

EPFL2012

An Integrated Framework for Improving the Quality and Reliability of Software Upgrades

Olivier Crameri

Despite major advances in the engineering of maintainable and robust software over the years, upgrading software remains a primitive and error-prone activity. In this dissertation, we argue that several problems with upgrading software are caused by a poor ...

EPFL2011

Comparison of Deconvolution Software in 3D Microscopy: A User Point of View—Part 1

Daniel Sage, Alessandra Griffa

Deconvolution is an image restoration technique which improves image contrast, resolution and signal to noise ratio. In modern optical microscopy and biological research deconvolution is becoming a fundamental processing step which allows for better image ...

EMS2010

Monitoring Collaboration from a Value Perspective

Collaborations among businesses can be described from different viewpoints. Two of these viewpoints are the value viewpoint, representing estimated values exchanged in a collaboration, and the coordination viewpoint, representing messages exchanged between ...

IEEE2007

A Service Construct to Support Iterative Development

Development of composed services requires a continues adaptation of the composed service to the changing environment of offered services. Services may no longer be available or may change performance characteristics, price, or quality of service criteria a ...

2007