The Generalized Loneliness Detector and Weak System Models for k-Set Agreement
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.
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful mechanisms for describing composition of components by combining interaction ...
In the set-agreement problem, n processes seek to agree on at most n−1 different values. This paper determines the weakest failure detector to solve this problem in a message-passing system where processes may fail by crashing. This failure detector, calle ...
In this paper, we review half a century of research on the design of systems displaying (physical) self-assembly of macroscopic components. We report on the experience gained in the study of 22 such systems, exhibiting components ranging from passive mecha ...
The ongoing scaling and hybridisation of manufacturing technologies enables us to attain unprecedented levels performance as well as to integrate electronic and fluidic circuits with sensors and actuators. Smart micro/nano systems will be the building bloc ...
Bio-inspiration borrows three properties characteristic of living organisms: multicellular architecture, cellular division, and cellular differentiation. Implemented in silicon according to these properties, our self-organizing systems are able to grow, to ...
We develop several results on hitting probabilities of random fields which highlight the role of the dimension of the parameter space. This yields upper and lower bounds in terms of Hausdorff measure and Bessel-Riesz capacity, respectively. We apply these ...
Many complex systems may be described by not one but a number of complex networks mapped on each other in a multi-layer structure. Because of the interactions and dependencies between these layers, the state of a single layer does not necessarily reflect w ...
Systems-on-Chips (SoCs) integrate more and more heterogeneous components: analog/RF/digital circuits, sensors, actuators, software. For the design of these systems very different description formalisms, or Models of Computation (MoCs), and tools are used f ...
The Totes Gebirge is the largest karst massif in the Northern Calcareous Alps (NCA). This paper focuses on the eastern Part, where two major multiphase alpine cave systems (Burgunderschacht Cave System and DOF-Sonnenleiter Cave System) are described with r ...
There is a need to reduce the economic cost of the energy geostructures and increase the efficiency of such systems, which will also rationalise the environmental impact. ...
