Search
Results
-
Interference Constraint Graph - A New Specification for Mixed-Criticality Systems
(2013)2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)Conference Paper -
A Calibration Based Thermal Modeling Technique for Complex Multicore Systems
(2015)2015 Design, Automation & Test in Europe Conference & Exhibition (DATE): 9 - 13 March 2015, Grenoble, FranceConference Paper -
Worst-Case Temperature Analysis for Different Resource Availabilities
(2011)Lecture Notes in Computer Science ~ Integrated Circuit and System Design : Power and Timing Modeling, Optimization, and Simulation : 21st International Workshop : ProceedingsConference Paper -
Virtual Synchrony Guarantees for Cyber-Physical Systems
(2013)Proceedings : 2013 IEEE 32nd International Symposium on Reliable Distributed SystemsConference Paper -
Adaptive power management in energy harvesting systems
(2007)2007 Design, Automation & Test in Europe Conference & ExhibitionRecently, there has been a substantial interest in the design of systems that receive their energy from regenerative sources such as solar cells. In contrast to approaches that attempt to minimize the power consumption we are concerned with adapting parameters of the application such that a maximal utility is obtained while respecting the limited and time-varying amount of available energy. Instead of solving the optimization problem ...Conference Paper -
An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems
(2012)24th Euromicro Conference on Real-Time Systems (ECRTS 2012)Conference Paper -
On Modeling Low-Power Wireless Protocols Based on Synchronous Packet Transmissions
(2013)2013 IEEE 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication SystemsMathematical models play a pivotal role in understanding and designing advanced low-power wireless systems. However, the distributed and uncoordinated operation of traditional multi-hop low-power wireless protocols greatly complicates their accurate modeling. This is mainly because these protocols build and maintain substantial network state to cope with the dynamics of low-power wireless links. Recent protocols depart from this design ...Conference Paper -
Dynamic and Adaptive Allocation of Applications on MPSoC Platforms
(2010)2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC 2010)Conference Paper -
Demo-Abstract: Route Selection of Mobile Sensors for Air Quality Monitoring
(2012)9th European Conference on Wireless Sensor Networks, EWSN 2012 : February 15-17, 2012 : Polo Scientifico Fabio Ferrari - Povo, Trento (Italy) : Poster and Demo ProceedingsConference Paper -
Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems
(2012)Lecture Notes in Computer Science ~ Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected PapersConference Paper