کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6874818 1441439 2018 35 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines
ترجمه فارسی عنوان
بهترین شبیه سازی ها: یک چارچوب برای مقایسه کارایی معماری های قابل تنظیم مجدد در بار کاری با مهلت
کلمات کلیدی
معماری پویای قابل تنظیم، آخرین مهلت روابط شبیه سازی، تجمع مونوئید، هزینه و کارایی، تجزیه و تحلیل رقابتی الگوریتم های آنلاین،
ترجمه چکیده
با استفاده از چارچوب نظام انتقالی که هزینه های (به عنوان مثال، زمان و انرژی) را با اجرای یک عمل بر روی یک پیکربندی منابع خاص مرتبط می کند، ما یک نسخه بسیار ساده از روابط شبیه سازی برای سیستم های انتقال هزینه تجمعی را آماده می کنیم. این مفهوم شبیه سازی، مبنایی برای تعیین اعدام مطابق با اهداف مهمی / بودجه و مفاهیم مناسب برای مقایسه اعدام ها را تشکیل می دهد. ما اعتقاد داریم که این مفاهیم مبتنی بر شبیه سازی می تواند مبنایی برای تئوری عملیات اعداد بهینه هزینه و تضمین های عملکرد برای راه حل های تقریبی، بخصوص مربوط به مفهوم شبیه سازی از سیستم های انتقال به تجزیه و تحلیل رقابتی استفاده شده برای مثال، مانند الگوریتم های آنلاین، فراهم کند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Using a transition system framework that associates costs (e.g., time, energy) with executing an action on a particular resource configuration, we formulate a very simple version of simulation relations for cumulative cost transition systems. This notion of simulation forms the basis for specifying deadline/budget-conformant executions, and appropriate notions for comparing such executions. We believe these simulation-based notions can provide the basis for an operational theory of optimal cost executions and performance guarantees for approximate solutions, in particular relating the notion of simulation from transition systems to that of competitive analysis used for, e.g., online algorithms.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 100, November 2018, Pages 1-15
نویسندگان
,