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.
Products with long life-spans are generally acknowledged to have a significant contribution towards sustainability. This paper provides an overview and discussion of the two years results of a longitudinal study performed with users and several cork produc ...
Villigen PSI, World Resources Forum, printed by Paul Scherrer Institute2015
The accuracy of state estimators using the Kalman Filter (KF) is largely influenced by the measurement and the process noise covariance matrices. The former can be directly inferred from the available measurement devices whilst the latter needs to be asses ...
In Italy, biomechanics research and the analysis of human and animal movement have had a very long history, beginning with the exceptional pioneering work of Leonardo da Vinci. In 1489, da Vinci began investigating human anatomy, including an examination o ...
More research is needed is an iconic catchphrase used by scientists worldwide. Yet policy and management decisions are continually being made with variable levels of reliance on scientific knowledge. Funding agencies have provided incentives for knowledge ...
This paper presents a system that investigates the sonification of wave interaction in a performance space and its interaction with a live performer – the illumination of sonic activity within a real space, in contrast to conventional ALife algorithmic, ev ...
Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...
Relentless progress in our knowledge of the nature and functional consequences of human genetic variation allows for a better understanding of the protracted battle between pathogens and their human hosts. Multiple polymorphisms have been identified that i ...
Despite many years of research, alignment of business and IT services remains a challenge. In this paper we show how to verify the quantitative properties of a service against stakeholder requirements during service design. We model the service with the Sy ...
Shared artifacts, such as drawings and schemas on whiteboards, sticky-notes with ideas on walls, are often created and interacted with during meetings. These shared artifacts a) facilitate the expression of complex fleeting ideas, b) enable collaborators t ...
A compositional hierarchy is the default organization of knowledge acquired for the purpose of specifying the design requirements of a service. Existing methods for learning compositional hierarchies from natural language text, interpret composition as an ...
