Export 6 results:Author [ Title] Type Year
Filters: Author is J. H. Kim [Clear All Filters]
Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.. 2016.
Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.. 2015.
Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.. 2016.
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016. :133-141.. 2016.