Publication

Source-to-source architecture transformation for performance optimization in BIP

Publications associées (39)

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.

Connectez-vous pour utiliser Chat avec Graph Search

Decentralized flight path planning for air traffic management

Maryam Kamgarpour, Wei Zhang

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

2011

50 nm thick AlN film-based piezoelectric cantilevers for gravimetric detection

Luis Guillermo Villanueva Torrijo

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

2011

JPaxos: State machine replication based on the Paxos protocol

André Schiper, Nuno Filipe de Sousa Santos

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

2011

Pedestrian localization, tracking and behavior analysis from multiple cameras

Jérôme Berclaz

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

EPFL2010

Compiling Scala for Performance

Iulian Dragos

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

EPFL2010

Source-to-source architecture transformation for performance optimization in BIP

Joseph Sifakis

BIP (Behavior, Interaction, Priorities) 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 interac ...

2009

Uncertainty Feature Optimization for the Airline Scheduling Problem

Matteo Salani, Niklaus Eggenberg

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

2009

Optimizing Control Based on Output Feedback

Dominique Bonvin, Sébastien Gros

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

2009

Uncertainty Feature Optimization for the Airline Scheduling Problem

Matteo Salani, Niklaus Eggenberg

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

2009

Uncertainty Feature Optimization for the Airline Scheduling Problem

Matteo Salani, Niklaus Eggenberg

2009