The Generalized Loneliness Detector and Weak System Models for k-Set Agreement
Publications associées (67)
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.
In many miniature systems for positioning and especially in microrobotics the assembly of the components becomes difficult. At sizes of systems of a few cm2 not only the assembly becomes more difficult, downscaling also means that single parts become more ...
Many practical control, estimation and fault detection problems involve hybrid systems, here losely defined as systems involving both continuous and discrete variables. Various approaches have been proposed for modeling hybrid systems. Often engineering sy ...
Use cases are the modeling technique of UML for formalizing the functional requirements placed on systems. This technique has limitations in modeling the context of a system, in relating systems involved in a same business process, in reusing use cases, an ...
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new application domains include dynamicity, mobility, security, and localization depe ...
This paper addresses the problem of determining the weakest failure detector to implement consensus in a message passing system when t out of n processes can crash (including when n/2 =< t < n-1), by addressing the problem of determining the weakest failur ...
In this paper we present the construction of stable stationary solutions in reaction-diffusion systems consisting of a 1-D array of bistable cells with a cubic nonlinearity and with a cubic-like piecewise-linear nonlinearity. Some periodic solutions, kinks ...
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new application domains include dynamicity, mobility, security, and localization depe ...
The limitations of client/server systems become evident in an Internet-scale distributed environment. Peer-topeer (P2P) systems offer an interesting alternative to traditional client/server systems: Every node acts both as a client and a server and “ ...
It is the goal of our research work to elaborate on improvements to the software development methods so that quality attributes can be handled more systematically. By quality attributes we mean the large group of typically systemic properties of a software ...
We study the problem of finding a characterization for the channel that results when a queue is operated under multiple access conditions. In such systems, the mechanism by which different sources gain access to the channel plays a fundamental role in defi ...