Publication

Replicated state machines without replicated execution

Publications associées (32)

LHC Schottky Spectrum from Macro-Particle Simulations

Tatiana Pieloni, Nicolas Frank Mounet, Christophe Emmanuel R. Lannoy

We introduce a method for building Schottky spectra from macro-particle simulations performed with the PyHEADTAIL code, applied to LHC beam conditions. In this case, the use of a standard Fast Fourier Transform (FFT) algorithm to recover the spectral conte ...

JACoW Publishing2022

Function Integration, Reconstruction And Approximation Using Rank-1 Lattices

Fabio Nobile, Giovanni Migliorati

We consider rank-1 lattices for integration and reconstruction of functions with series expansion supported on a finite index set. We explore the connection between the periodic Fourier space and the non-periodic cosine space and Chebyshev space, via tent ...

2021

System Support for Efficient Replication in Distributed Systems

Dragos-Adrian Seredinschi

Current online applications, such as search engines, social networks, or file sharing services, execute across a distributed network of machines. They provide non-stop services to their users despite failures in the underlying network. To achieve such a hi ...

EPFL2019

The additive hazard estimator is consistent for continuous-time marginal structural models

Mats Julius Stensrud, Pal Christie Ryalen

Marginal structural models (MSMs) allow for causal analysis of longitudinal data. The standard MSM is based on discrete time models, but the continuous-time MSM is a conceptually appealing alternative for survival analysis. In applied analyses, it is often ...

2019

MATHICSE Technical Report : Function integration, reconstruction and approximation using rank-1 lattices

Fabio Nobile, Giovanni Migliorati

MATHICSE2019

Unified Theory for Recovery of Sparse Signals in a General Transform Domain

Kyong Hwan Jin

Compressed sensing is provided a data-acquisition paradigm for sparse signals. Remarkably, it has been shown that the practical algorithms provide robust recovery from noisy linear measurements acquired at a near optimal sampling rate. In many real-world a ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2018

Methods and apparatuses for encoding and decoding digital images or video streams

Pascal Frossard, Giulia Fracastoro

The invention relates to a method and an apparatus for encoding and/or decoding digital images, wherein said encoding apparatus (1100) comprises processing means (1110) configured for determining weights of a graph related to an image by minimizing a cost ...

2018

Fixed Points of Generalized Approximate Message Passing with Arbitrary Matrices

Volkan Cevher

The estimation of a random vector with independent components passed through a linear transform followed by a componentwise (possibly nonlinear) output map arises in a range of applications. Approximate message passing (AMP) methods, based on Gaussian appr ...

2016

To Buy or Not to Buy: Consumer Constraints in the Housing Market

Andreas Fuster

We use a strategic household survey to study the sensitivity of intended homeownership decisions to financing constraints. We find that the average stated likelihood of buying a home is strongly sensitive to the size of the required down payment, which we ...

2016

Design of Energy-Efficient Discrete Cosine Transform using Pruned Arithmetic Circuits

Christian Enz, Vincent Frédéric Camus, Jérémy Lucien Maurice Schlachter

Inexact circuits and approximate computing have been gaining a lot of interest in order to improve performances and energy efficiency beyond the boundaries of conventional digital circuits. Image and video processing is one of the best candidate for applyi ...

IEEE2016

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