Search
Results
-
Combining Optimistic and Pessimistic DVS Scheduling
(2010)International Conference on Computer-Aided Design (ICCAD), 2010 IEEE/ACMConference Paper -
Timed Model Checking with Abstractions
(2012)Proceedings of the tenth ACM international conference on Embedded softwareConference Paper