Source-to-source architecture transformation for performance optimization in BIP
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.
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 ...
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. ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
