Source-to-source architecture transformation for performance optimization in BIP
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.
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions and priorities. In this paper, we present a method that transforms the inter ...
State machine replication is a technique for making services fault-tolerant by replicating them over a group of machines. Although the theory of state machine replication has been studied extensively, the engineering challenges of converting a theoretical ...
Due to low power operation, intrinsic integrability and compatibility with CMOS processing, aluminum nitride (AlN) piezoelectric (PZE) microcantilevers are a very attractive paradigm for resonant gas sensing. In this paper, we theoretically investigate the ...
This paper studies the flight path planning problem for a large-scale air traffic management (ATM) system. The goal is to find the optimal 4D path plan, represented by a sequence of waypoints and the corresponding time stamps, for each individual flight su ...
Domain-specific languages (DSLs) can bridge the gap between high-level programming and efficient execution. However, implementing compiler tool-chains for performance oriented DSLs requires significant effort. Recent research has produced methodologies and ...
In the framework of process optimization, the use of measurements to compensate the effect of uncertainty has re-emerged as an active area of research. One of the ideas therein is to adapt the inputs in order to track the active constraints and push certai ...
Video surveillance is currently undergoing a rapid growth. However, while thousands of cameras are being installed in public places all over the world, computer programs that could reliably detect and track people in order to analyze their behavior are not ...
Scala is a new programming language bringing together object-oriented and functional programming. Its defining features are uniformity and extensibility. Scala offers great flexibility for programmers, allowing them to grow the language through libraries. ...
Uncertainty Feature Optimization is a framework to cope with optimization problems due to noisy data, using an implicit characterazation of the noise. The Aircraft Scheduling Problem (ASP) is a particular case of such problems, where disruptions randomly p ...
In this paper, we present an application to the Airline Scheduling Problem (ASP) of the Uncertainty Feature Optimization (UFO) framework which combines both a proactive scheduling algorithm and a reactive recovery algorithm used for re-optimization when di ...
