کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6884992 696282 2016 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Termination analysis with recursive calling graphs
ترجمه فارسی عنوان
تجزیه و تحلیل خاتمه با نمودارهای بازگشتی
کلمات کلیدی
تحلیل خاتمه برنامه های نرم افزاری سبز، اصل خاتمه تغییر اندازه،
ترجمه چکیده
به عنوان یکی از جنبه های مهم سیستم های نرم افزاری سبز، تجزیه و تحلیل ترمینیت مربوط به بهینه سازی استفاده از منابع است. این روش برای اصل خاتمه اندازه اندازه، ابتدا توسط لی، جونز و بنامامام در سال 2001 پیشنهاد شد که یک روش موثر برای تجزیه و تحلیل خودکار خاتمه است. با توجه به ساختار انتزاعی (نمودار تغییر اندازه)، اصل مغایر با شرایط و مقادیر بازگشتی برای فراخوانی تابع است. در این مقاله، یک ساختار جدید از جمله ویژگی های نادیده گرفتن را برای گسترش مجموعه ای از برنامه هایی که تغییر اندازه را در زندگی واقعی متوقف می کنند، طراحی می کنیم. سهم اصلی مقاله ما دو برابر است: اول، آن را تجزیه و تحلیل توابع است که در آن مقادیر بازگشتی مربوط به خاتمه پشتیبانی. ثانیا، دقت بیشتری را برای تغییر ارزش نوسان در تجزیه و تحلیل خاتمه می یابد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
پیش نمایش مقاله
تجزیه و تحلیل خاتمه با نمودارهای بازگشتی
چکیده انگلیسی
As one of the significant aspects for green software systems, termination analysis is related to the optimization of the resource utilization. The approach for size-change termination principle was first proposed by Lee, Jones and Ben-Amram in 2001, which is an effective method for automatic termination analysis. According to its abstracted constructs (size-change graphs), the principle ignores the condition and return values for function call. In this paper, we devise a new construct including the ignoring features to extend the set of programs that are size-change terminating in real life. The main contribution of our paper is twofold: firstly, it supports the analysis of functions in which the returned values are relevant to termination. Secondly, it gains more accuracy for oscillating value change in termination analysis.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Network and Computer Applications - Volume 59, January 2016, Pages 109-116
نویسندگان
, ,