Priority scheduling of distributed systems based on model checking
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.
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 ...
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 ...
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 ...
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 ...
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 ...
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 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, ...
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 ...
