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.
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 ...
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 ...
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
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
