Concept

Cycle de vie d'un logiciel

Publications associées (39)

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

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

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

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

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

Sediment evacuation from reservoirs through intakes by jet induced flow

Jolanda Maria Isabella Jenzer Althaus

Today’s worldwide yearly mean loss of storage capacity due to sedimentation is already higher than the increase of capacity by the construction of new reservoirs for irrigation, drinking water and hydropower. In Asia for example 80% of the useful storage c ...

EPFL-LCH2011

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

How many bootstrap replicates are necessary?

Bernard Moret, Alexandros Stamatakis

Phylogenetic bootstrapping (BS) is a standard technique for inferring confidence values on phylogenetic trees that is based on reconstructing many trees from minor variations of the input data, trees called replicates. BS is used with all phylogenetic reco ...

2010

Invertible Enantioselectivity in 6'-Deoxy-6'-acylamino-beta -isocupreidine-Catalyzed Asymmetric Aza-Morita-Baylis-Hillman Reaction: Key Role of Achiral Additive

Jieping Zhu

The beta -isocupreidine (beta -ICD) or beta -ICD-amide (I)-catalyzed aza-Morita-Baylis-Hillman reaction between N-sulfonylimines and alkyl vinyl ketones produced the (R)-enriched adducts, e.g. II. By adding a catalytic amt. of beta -naphthol, the enantiose ...

2009

AFEX: An Automated Fault Explorer for Faster System Testing

George Candea, Lorenzo Keller, Paul Dan Marinescu

Fault injection is an often overlooked component of the software test cycle, yet it is critical for building robust systems. The main reasons for this neglect are ineffectual tools, an overwhelmingly large number of possible faults to inject, and extensive ...

2008

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