دانلود مقاله ISI انگلیسی شماره 92237
ترجمه فارسی عنوان مقاله

رویکرد جبری فرآیند به تجزیه و تحلیل برنامه ریزی و جمع آوری حجم کار سیستم های سلسله مراتبی در زمان واقعی

عنوان انگلیسی
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
92237 2017 33 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 13141 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 20 روز بعد از پرداخت 157,692 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 10 روز بعد از پرداخت 315,384 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Journal of Logical and Algebraic Methods in Programming, Volume 92, November 2017, Pages 1-18

پیش نمایش مقاله
پیش نمایش مقاله رویکرد جبری فرآیند به تجزیه و تحلیل برنامه ریزی و جمع آوری حجم کار سیستم های سلسله مراتبی در زمان واقعی

چکیده انگلیسی

This paper describes a process algebraic approach to schedulability analysis of hierarchical real-time systems. To facilitate modeling and analyzing hierarchical real-time systems, we conservatively extend an existing process algebraic theory based on ACSR-VP (Algebra of Communicating Shared Resources with Value-Passing) for the schedulability of real-time systems. We explain a method to model a resource model in ACSR-VP which may be partitioned for a subsystem. We also introduce schedulability relation to define the schedulability of hierarchical real-time systems and show that satisfaction checking of the relation is reducible to deadlock checking in ACSR-VP and can be done automatically by the tool support of VERSA (Verification, Execution and Rewrite System for ACSR). With the schedulability relation, we present algorithms for abstracting real-time system workloads.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 13141 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 20 روز بعد از پرداخت 157,692 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 10 روز بعد از پرداخت 315,384 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.