On Optimal Replication Group Splits in P2P Data Stores Based on the Hypercube

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.

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

Along with the successful deployment of deep neural networks in several application domains, the need to unravel the black-box nature of these networks has seen a significant increase recently. Several methods have been introduced to provide insight into t ...

Peer-to-peer (P2P) sharing may foster sustainability synergistically by saving resources, reducing costs and promoting satisfaction of consumer needs and social connectivity. A survey of Swiss and Swedish consumers (N = 1522) was conducted to analyze drive ...

Peer-to-peer (p2p) networks are not independent of their peers, and the network efficiency depends on peers contributing resources. Because shared resources are not free, this contribution must be rewarded. Peers across the network may share computation po ...

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

In today's world, there is no shortage of disruptors acting on various professional domains. The Fourth Industrial Revolution, with its AI-driven and automation-focused technologies, has fundamentally changed many domains -- particularly the Information an ...

Conversational interfaces have recently become a ubiquitous element in both the personal sphere by easing access to services, and industrial environments by the automation of services, improved customer support and its corresponding cost savings. However, ...

Multi-scale and multi-patch deep models have been shown effective in removing blurs of dynamic scenes. However, these methods still suffer from one major obstacle: manually designing a lightweight and high-efficiency network is challenging and time-consumi ...

Recent years have seen an exponential increase in the amount of data available in all sciences and application domains. Macroecology is part of this "Big Data" trend, with a strong rise in the volume of data that we are using for our research. Here, we sum ...

The mathematical properties of high-dimensional (HD) spaces show remarkable agreement with behaviors controlled by the brain. Computing with HD vectors, referred to as “hypervectors,” is a brain-inspired alternative to computing with numbers. HD computing ...

Data models capture the structure and characteristic properties of data entities, e.g., in terms of a database schema or an ontology. They are the backbone of diverse applications, reaching from information integration, through peer-to-peer systems and ele ...

Despite the vast success neural networks have achieved in different application domains, they have been proven to be vulnerable to adversarial perturbations (small changes in the input), which lead them to produce the wrong output. In this paper, we propos ...

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

The task of Heterogeneous Face Recognition consists in matching face images that are sensed in different domains, such as sketches to photographs (visual spectra images), thermal images to photographs or near-infrared images to photographs. In this work we ...

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

For an autonomous car, getting surprised is the worst thing that can happen. To prevent that, plenty of studies are trying to forecast traffic participants’ actions especially in an urban scene using recurrent networks. Recurrent networks are used for temp ...

Non-volatile RAM (NVRAM) makes it possible for data structures to tolerate transient failures, assuming however that programmers have designed these structures such that their consistency is preserved upon recovery. Previous ap- proaches are typically tran ...

Graph signals offer a very generic and natural representation for data that lives on networks or irregular structures. The actual data structure is however often unknown a priori but can sometimes be estimated from the knowledge of the application domain. ...

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...

On Optimal Replication Group Splits in P2P Data Stores Based on the Hypercube

Chat with Graph Search

Automated Formal Verification of Software Network Functions

DARE: Towards Robust Text Explanations in Biomedical and Healthcare Applications

Promoting synergies for sustainability through peer-to-peer sharing: an analysis of drivers and barriers

Fair Incentivization of Bandwidth Sharing in Decentralized Storage Networks

Automated Verification of Network Function Binaries

Detecting Latent Training Needs Using Large Datasets

Towards versatile conversations with data-driven dialog management and its integration in commercial platforms

Pyramid Architecture Search for Real-Time Image Deblurring

Macroecology in the age of Big Data - Where to go from here?

Hyperdimensional computing for blind and one-shot classification of EEG error-related potentials

Handling probabilistic integrity constraints in pay-as-you-go reconciliation of data models

Universal Adversarial Attacks on Text Classifiers

Scaling Functional Synthesis and Repair

Heterogeneous Face Recognition Using Domain Specific Units

Verifying Software Network Functions with No Verification Expertise

Feed-forwards meet recurrent networks in vehicle trajectory prediction

Log-Free Concurrent Data Structures

Log-Free Concurrent Data Structures

Graph learning under sparsity priors

On verifying causal consistency