Concept

Include directive

Related publications (11)

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.Sem ...

EPFL2023

Performance Interfaces for Network Functions

George Candea, Rishabh Ramesh Iyer

Modern programmers routinely use third-party code, and infrastructure operators deploy software they did not write. This would not be possible without semantic interfaces---documentation, header files, specifications---that succinctly describe what that th ...

USENIX Association2022

Stochastic approximation methods for PDE constrained optimal control problems with uncertain parameters

Matthieu Claude Martin

This thesis work focuses on optimal control of partial differential equations (PDEs) with uncertain parameters, treated as a random variables. In particular, we assume that the random parameters are not observable and look for a deterministic control which ...

EPFL2019

Model Checking Tools for Software System Implementations

Maysam Yabandeh

Systematic State Exploration or Model Checking techniques have been used for years to check the model of softwares against user-specified properties. Nevertheless, they never achieved a wide-spread usage because of the difficulties and problems in translat ...

2010

Hardware synthesis of complex standard interfaces using CAL dataflow descriptions

Marco Mattavelli, Romuald Mosqueron, Richard Thavot, Julien Dubois

This paper presents a contribution to the development of rapid prototyping tools based on data-flow description. In this context, the efficiency of automatic translator tools from the data-flow description to C and/or HDL are presented using two design cas ...

2009

Reconfigurable Video Coding : Objectives and Technologies

Marco Mattavelli, Christophe Lucarz, Ihab Mostafa Amin Mohamed Amer

The main objective of the MPEG Reconfigurable Video Coding (RVC) standard is to establish a framework for a more flexible usage of standard video coding technology. The framework not only supports multiple standards and new coding configurations, but also ...

IEEE2009

Hydrological forecasting model in Colombia: application to the Magdalena River

André Musy, Bettina Schaefli, Richard Metzger

The development of a hydrological forecasting model is conditioned by the available data collected in the entire hydrological catchment for which discharge has to be predicted. The forecast quality not only depends on the available historical data but also ...

2005

Thermo-Economic Modelling and Optimisation of Fuel Cell Systems

François Maréchal, Daniel Favrat, Francesca Palazzi

If process modelling is a well known approach to compute the performances of fuel cell systems, the optimal design of systems where the process configuration is not fixed a priori remains an issue. The goal of the presented methodology for integrating and ...

Wiley-Blackwell2005

An interface for the interactive design of artistic screens

Roger Hersch

The article presents the concepts and the tools involved in the interactive design of artistic screens. The screen elements are derived from a small set of analytical contours provided by the screen designer. We present the requirements that these contours ...

Springer-Verlag1998

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.