کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951746 | 1441601 | 2017 | 33 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Static analysis of cloud elasticity
ترجمه فارسی عنوان
تجزیه و تحلیل استاتیک کششی ابر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
تجزیه و تحلیل مصرف منابع، پردازش ابری، سیستم نوع رفتاری، کاهش موضوع، برنامه ریزی همزمان،
ترجمه چکیده
اثبات صحت سیستم نوعی صحیح تکنیک ما را با توجه به معادلات هزینه تعیین می کند. ما به طور تجربی تکنیک ما با استفاده از یک حل کننده تحلیل هزینه ارزیابی کرده ایم و برخی از نتایج را گزارش می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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
Journal: Science of Computer Programming - Volume 147, 1 November 2017, Pages 27-53
نویسندگان
Abel Garcia, Cosimo Laneve, Michael Lienhardt,