Search
Results
-
Pro3D, Programming for Future 3D Manycore Architectures
(2013)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 -
A Satisfiability Approach to Speed Assignment for Distributed Real-Time Systems
(2013)Design, Automation & Test in Europe Conference & Exhibition (DATE 2013)Conference Paper -
Timing Analysis on a Processor with Temperature-Controlled Speed Scaling
(2012)IEEE 18th Real-Time and Embedded Technology and Applications Symposium (RTAS 2012)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 -
Quantifying the Effect of Rare Timing Events with Settling-Time and Overshoot
(2012)2012 IEEE 33rd Real-Time Systems Symposium (RTSS)Conference Paper -
A Hybrid Approach to Cyber-Physical Systems Verification
(2012)Proceedings of the 49th Annual Design Automation Conference (DAC '12)Conference Paper -
Demand Bound Server
(2011)Proceedings of the 11th International Conference on Embedded Software (EMSOFT 2011)Conference Paper -
End-to-End Delay Minimization in Thermally Constrained Distributed Systems
(2011)Proceedings of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011) : Porto, Portugal, July 6-8, 2011Conference Paper -
Cool Shapers
(2011)48th ACM/EDAC/IEEE Design Automation Conference (DAC), 2011 : 5 - 9 June 2011, San Diego, CA, USAConference Paper -
Real-Time Analysis of Servers for General Job Arrivals
(2011)IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2011 : 28 - 31 Aug. 2011, Toyama, Japan ; co-located with the 1st International Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNAConference Paper