مقاله زمان بندی سیستم های Real time با کارهای دوره ای با استفاده از روش Model checking - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : زمان بندی سیستم های زمان واقعی با کارهای دوره ای با استفاده از یک روش بررسی مدل   عنوان انگلیسی مقاله: Scheduling Real-Time Systems with Periodic Tasks using a Model-checking Approach 978-1-4799-4905-2/14/$31.00 ©2014 IEEE   چکیده انگلیسی مقاله: Abstract—Scheduling theory presents analytical solutions for different scheduling schemes, most of which based on necessary or sufficient conditions only. Available methods based on graphs use quantitativ ...