کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951746 1441601 2017 33 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Static analysis of cloud elasticity
ترجمه فارسی عنوان
تجزیه و تحلیل استاتیک کششی ابر
کلمات کلیدی
تجزیه و تحلیل مصرف منابع، پردازش ابری، سیستم نوع رفتاری، کاهش موضوع، برنامه ریزی همزمان،
ترجمه چکیده
اثبات صحت سیستم نوعی صحیح تکنیک ما را با توجه به معادلات هزینه تعیین می کند. ما به طور تجربی تکنیک ما با استفاده از یک حل کننده تحلیل هزینه ارزیابی کرده ایم و برخی از نتایج را گزارش می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
تجزیه و تحلیل استاتیک کششی ابر
چکیده انگلیسی
A soundness proof of the type system establishes the correctness of our technique with respect to the cost equations. We have experimentally evaluated our technique using a cost analysis solver and we report some results.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 147, 1 November 2017, Pages 27-53
نویسندگان
, , ,