Priority scheduling of distributed systems based on model checking
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.
Distributed low-latency datacenter applications must meet strict service-level objectives in the order of microseconds. R2P2 is a novel datacenter transport protocol designed for such services. This work extends R2P2 with congestion control and request-lev ...
In a context where the territorial development stakeholders seek to limit urban sprawl, urban brownfields represent an important potential: their regeneration allows an increased density within the existing built fabric and a revitalization at the neighbor ...
When conducting workshops with business people, there is a significant risk to become bogged down in the details of the underlying business process rather than seeing the big picture of the value provided by the process to its stakeholders. In this paper, ...
Today, many control applications in cyberphysical systems are implemented on shared platforms. Such resource sharing may lead to complex timing behaviors and, in turn, instability of control applications. This paper highlights a number of anomalies demonst ...
We present a new dataset for form understanding in noisy scanned documents (FUNSD) that aims at extracting and structuring the textual content of forms. The dataset comprises 199 real, fully annotated, scanned forms. The documents are noisy and vary widely ...
Unions of graph multiplier operators are an important class of linear operators for processing signals defined on graphs. We present a novel method to efficiently distribute the application of these operators. The proposed method features approximations of ...
In modern power systems, frequency measurements are employed in many monitoring and control applications. In this context, Phasor Measurement Units (PMUs) may represent a promising solution in view of a distributed and synchronized measurement infrastructu ...
As an opportunity to discuss “Teaching in Research,” at EDAR’s Fourth Rencontre, I will be sharing my past experience in teaching without a Ph.D. and why I have decided to invest in obtaining a Ph.D. I shall discuss the differences between teaching with an ...
Consider a stream of status updates generated by a source, where each update is of one of two types: high priority or ordinary (low priority). These updates are to be transmitted through a network to a monitor. However, the transmission policy of each pack ...
Crowdsourcing is an online activity in which an individual, an institution, a non-profit organization, or company proposes to a group of individuals of varying knowledge, heterogeneity, and number, via a flexible open call, the voluntary undertaking of a t ...
