Search
Results
-
Combining Optimistic and Pessimistic DVS Scheduling
(2010)International Conference on Computer-Aided Design (ICCAD), 2010 IEEE/ACMConference Paper -
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
(2010)Lecture Notes in Computer Science ~ Leveraging applications of formal methods, verification, and validation : proceedingsConference Paper -
Resource Adaptations with Servers for Hard Real-Time Systems
(2010)EMSOFT 10: Proceedings of the tenth ACM international conference on Embedded softwareConference Paper