Synthesizing efficient systems in probabilistic environments
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.
Ce rapport présente les résultats dune enquête quantitative menée dans le cadre dun projet de recherche dans le domaine de la mobilité combinée, baptisé "Optima" et confié par CarPostal au Centre de Transport (TraCE) de lEcole Polytechnique Fédérale de Lau ...
Many atomic broadcast algorithms have been published in the last twenty years. Token based algorithms represent a large class of these algorithms. Interestingly, all the token based atomic broadcast algorithms rely on a group membership service and none of ...
This document contains information about how to install Lightsolve, how to create a SketchUp model which is recognizable by Lightsolve, how to run the renderer and how to navigate the Lightsolve interface. It also contains tips for troubleshooting known pr ...
The lifetimes of two-component series systems with two active redundancies are compared using the hazard rate and the reversed hazard rate orders. We study the problem of where to allocate the spares in a system to obtain the best configuration. We compare ...
This paper presents a publicly available toolkit and a benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed as control-flow graphs whose edges are annotated by Presburger arithmetic formulas. We pres ...
Improved diarization results can be obtained through combination of multiple systems. Several combination techniques have been proposed based on output voting, initialization and also integrated approaches. This paper proposes and investigates a novel appr ...
We introduce a method for studying temporal behaviour of the so-called Globally Asynchronous, Locally Synchronous (GALS) systems, that is systems consisting of synchronous computing elements communicating over asynchronous channels. Our method is based on ...
The main objective of the thesis is the study and the determination of an optimal navigation strategy, for a sailboat in an America's Cup race, by methods of stochastic optimization. Such methods are appropriate because the sailing team expects the wind to ...
Closed-loop supply chains (CLSC) consider all of the activities in the lifecycle of a product from design to end-of-life operation. These chains encompass, in addition to the traditional forward flow of products to customers, the acquisition and return flo ...
The spatial layout of information influences collaborative interactions. We compared two awareness tools which give information on the status of participants in a collaborative work, one displaying it on a single screen and the other distributing it in the ...
