Search
Results
-
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 -
Deep Partial Updating: Towards Communication Efficient Updating for On-device Inference
(2022)Lecture Notes in Computer Science ~ Computer Vision – ECCV 2022Emerging edge intelligence applications require the server to retrain and update deep neural networks deployed on remote edge nodes to leverage newly collected data samples. Unfortunately, it may be impossible in practice to continuously send fully updated weights to these edge nodes due to the highly constrained communication resource. In this paper, we propose the weight-wise deep partial updating paradigm, which smartly selects a small ...Conference 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 -
Timing Analysis for Resource Access Interference on Adaptive Resource Arbiters
(2011)2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) : 11 - 14 April 2011, Chicago, IL, USAConference Paper