Concept

Specification (technical standard)

Related publications (162)

Verification of Software Network Functions with No Verification Expertise

Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically c ...

EPFL2020

, ,

This paper presents a comprehensive data-driven distributed combined primary/secondary controller design method for microgrids. This method provides transient and steady-state performance including power-sharing and voltage and frequency restoration while ...

2020

New Approach for Making Standard the Development of Biosensing Devices by a Modular Multi-Purpose Design

Sandro Carrara, Francesca Stradolini, Danilo Demarchi, Ioulia Tzouvadaki, Francesca Criscuolo, Abuduwaili Tuoheti, Simone Aiassa

The fast widening of biosensing applications, such as healthcare, drug delivery, food, and military industries, is increasing the need for generality and compatibility among different sensors. To address this challenge, we present here an innovative approa ...

2020

, ,

The rise of digital fabrication has increased the use of wood-wood connections inspired by traditional carpentry in modern timber constructions. With recent developments on standard construction systems, the mechanical behavior of such joints for in-plane ...

2020

Identification of the Inspection Specifications for Achieving Zero Defect Manufacturing

The contemporary manufacturing landscape is characterized by increased volatility shortened product life cycles and increased degree of product customization. Manufacturing companies are continuously facing the challenge of operating their manufacturing pr ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

Verifying Software Network Functions with No Verification Expertise

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

ACM2019

Method of identifying technical design solutions

Thomas Bernard Paul Jusselme

The present invention concerns a method for generating technical design solutions satisfying a given performance target for a building. The method comprises: selecting a design model for the building; selecting a first set of design parameters from a first ...

2018

From Uncertainty Data to Robust Policies for Temporal Logic Planning

Maryam Kamgarpour, Tony Alan Wood

We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. ...

ACM2018

, , , ,

Uncontrolled scour is affecting multiple mobile dams. The plunge pool of the Chancy-Pougny barrage, located on the Rhone River bordering France and Switzerland, has recently been reported to develop in a potentially unfavourable direction after almost 100 ...

2018

The design process is a series of endeavors aimed to solve a problem, which is extensively defined as a need, a task, a situation, etc. Visualizations are objects that result from a design process that solves a problem of unreadable data. They are technica ...

2018

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.