Differentiated consistency for worldwide gossips

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.

The scale and pervasiveness of the Internet make it a pillar of planetary communication, industry and economy, as well as a fundamental medium for public discourse and democratic engagement. In stark contrast with the Internet's decentralized infrastructur ...

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

With the recent advent of blockchains, we have witnessed a plethora of blockchain proposals. These proposals range from using work to using time, storage or stake in order to select blocks to be appended to the chain. As a drawback it makes it difficult fo ...

Chatter is a harmful self-excited vibration that commonly occurs during milling processes. Data -driven chatter detection and prediction is critical to achieve high surface quality and process efficiency. Most existing chatter detection approaches are base ...

Fourier transforms are an often necessary component in many computational tasks, and can be computed efficiently through the fast Fourier transform (FFT) algorithm. However, many applications involve an underlying continuous signal, and a more natural choi ...

We obtain new Fourier interpolation and uniqueness results in all dimensions, extending methods and results by the first author and M. Sousa [11] and the second author [12]. We show that the only Schwartz function which, together with its Fourier transform ...

Blockchain systems need to solve consensus despite the presence of rational users and failures. The notion of (k, t)-robustness is key to derive impossibility results with k rational players and t faulty players. However, these t faulty players are always ...

Modern large-scale data platforms manage colossal amount of data, generated by the ever-increasing number of concurrent users. Geo-replicated and sharded key-value data stores play a central role when building such platforms. As the strongest consistency m ...

This thesis focuses on developing efficient algorithmic tools for processing large datasets. In many modern data analysis tasks, the sheer volume of available datasets far outstrips our abilities to process them. This scenario commonly arises in tasks incl ...

Geo-replicated data platforms are the backbone of several large-scale online services. Transactional Causal Consistency (TCC) is an attractive consistency level for building such platforms. TCC avoids many anomalies of eventual consistency, eschews the syn ...

Online services are becoming more and more ubiquitous and keep growing in scale. At the same time, they are required to be highly available, secure, energy-efficient, and to achieve high performance. To ensure these (and many other) properties, replication ...

Geo-replicated data platforms are at the backbone of several large-scale online services. Transactional Causal Consistency (TCC) is an attractive consistency level for building such platforms. TCC avoids many anomalies of eventual consistency, eschews the ...

This thesis is devoted to the study of the local fields in the Ising model. The scaling limit of the critical Ising model is conjecturally described by Conformal Field Theory. The explicit predictions for the building blocks of the continuum theory (spin a ...

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

Real-time control of electric grids is a novel approach to handling the increasing penetration of distributed and volatile energy generation brought about by renewables. Such control occurs in cyber-physical systems (CPSs), in which software agents maintai ...

Reconstructing continuous signals based on a small number of discrete samples is a fundamental problem across science and engineering. We are often interested in signals with "simple" Fourier structure - e.g., those involving frequencies within a bounded r ...

Cloud computing has been experiencing sharp development over the last years, leading to an increased demand for application migration to the cloud. Cloud providers, in an effort to attract more customers and earn their confidence, offer to tenants the illu ...

Wireless Sensor Networks (WSNs) are collections of sensing devices using wireless communication to exchange data. In the past decades, steep advancements in the areas of microelectronics and communication systems have driven an explosive growth in the depl ...

Blockchain technology has the potential to decentralise many traditionally centralised systems. However, scalability remains a key challenge. A horizontally scalable solution, where performance increases by adding more nodes, would move blockchain systems ...

Over the last few years, residential and enterprise networking have faced several challenges due to the increasing demand of users for high-throughput connectivity. As a result, efforts are being made to improve coverage, throughput, and robustness. Severa ...

Differentiated consistency for worldwide gossips

Chat with Graph Search

Planetary-Scale Byzantine Fault Tolerance

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

DIABLO: A Benchmark Suite for Blockchains

Exploring the effectiveness of using internal CNC system signals for chatter detection in milling process

pyFFS: A Python Library for Fast Fourier Series Computation and Interpolation with GPU Acceleration

Perturbed Fourier uniqueness and interpolation results in higher dimensions

Rational Agreement in the Presence of Crash Faults

Efficient Protocols for Enforcing Causal Consistency in Geo-Replicated Key-Value Data Stores

Fourier Sampling in Signal Processing and Numerical Linear Algebra

PaRiS: Causally Consistent Transactions with Non-blocking Reads and Partial Replication

Scaling Byzantine Fault Tolerance

PaRiS: Causally Consistent Transactions with Non-blocking Reads and Partial Replication

Ising Model and Field Theory: Lattice Local Fields and Massive Scaling Limit

System Support for Efficient Replication in Distributed Systems

Reliable and Robust Cyber-Physical Systems for Real-Time Control of Electric Grids

A Universal Sampling Method for Reconstructing Signals with Simple Fourier Transforms

Adding flexibility to multi-tenant networks

Routing for Wireless Sensor Networks: From Collection to Event-Triggered Applications

A Blockchain Consensus Protocol With Horizontal Scalability

Improving Throughput, Latency and Privacy with Hybrid Networks and Multipath Routing