دانلود مقاله ترجمه شده بهینه سازی جایگزینی سیستم جاسازی شده زمان محدود – مجله IEEE

مشخصات مقاله انگلیسی (PDF)
سال انتشار	۲۰۱۱
تعداد صفحات مقاله انگلیسی	۵ صفحه با فرمت pdf
رشته های مرتبط با این مقاله	مهندسی کامپیوتر
گرایش های مرتبط با این مقاله	مهندسی الگوریتم ها و محاسبات، مهندسی نرم افزار و برنامه نویسی کامپیوتر
مجله	سمپوزیوم تست اروپا – European Test Symposium
دانشگاه	گروه علوم کامپیوتر، دانشگاه ورونا
شناسه شاپا یا ISSN	ISSN ۱۵۳۰-۱۸۷۷
رفرنس	ندارد
لینک مقاله در سایت مرجع	لینک این مقاله در سایت IEEE
نشریه آی تریپل ای

• فهرست مطالب:

چکیده
I. مقدمه
II. مدل کاربردی
III. تشخیص خطا با ضرورت
IV. پارامترهای ضرورت های اجرایی
فرمول سازی مشکل
جایگزینی ضرورت
A.تحلیل های کد و پروفایل سازی
B. زیرساخت بهینه سازی
C.معیار متری تکامل
v. نتایج آزمایشی

• بخشی از ترجمه:

v. نتایج آزمایشی
به منظور ارزیابی تأثیر چارچوب پیشنهادی، ما از نشانه های توصیف شده در جدول ۱ استفاده می کنیم، که به ترتیب تعداد بیت های ستون های P1,PO, و VAR را در ورودی های اصلی، خروجی های اصلی و متغیرهای درونی برای هر نشانه گزارش می کنند؛ ستون LOC تعداد خط های کد را گزارش می کند؛ ستون CAS تعداد ضرورت های منتخب را گزارش می کند؛ در نهایت، ستون OH سربار کلی در نانوثانیه ها (ns) را که ضرورت های منتخب را معرفی می کنند گزارش می کند. چنین نشانه هایی از رشته ITC99 هستند، که مرجعی شناخته شده و استفاده شده به وسیله مولفان دیگر است.
بعد از تولید خودکار مجموعه ای از ضرورت های منتخب برا هر نشانه، ما کیفیت الگوریتم های بهینه سازی توصیف شده را با بکارگیری معیار متری ارزیابی پیشنهاد شده در بخش IV.C توضیح دادیم.
در جدول ۲ و ۳، نتایج الگوریتم ها در ستون های BAF,FAF و MEAF به ترتیب برای نشانه های b03, b05 گزارش شده اند. ما انتخاب کرده ایم که فقط b03 وb05 به خاطر کمبود فضا و بخاطر اینکه این نشانه ها برحسب بزرگترین ضرورت های منتخب هستند را گزارش دهیم. ما هر الگوریتم را با یک سربا تحمل حداکثری اجرا کردیم، که در ستون MTO گزارش شده است. چنین مقداری به عنوان درصدی در سربار کلی ارائه شده است (ستون OH در جدول ۱)، برای مثال. ۵%، ۱۰%،… و ۲۵%. برای مثال، در مورد b05 مقادیر Mto 5ns, 10ns, 15ns, 20ns و ۲۵ns هستند. برای هر الگوریتم، ستون Ratio کیفیت الگوریتم را که بر طبق معیار متری پیشنهاد شده سنجیده شده است گزارش می کند، و ستون SAS تعداد ضرورت انتخاب شده در تعداد کل ضرورت های منتخب گزارش شده در جدول ۱ را گزارش می کند.

• بخشی از مقاله انگلیسی:

V. EXPERIMENTAL RESULTS

In order to assess the effectiveness of the proposed framework, we have used the benchmarks described in Table 1, where columns PI, PO, and VAR respectively report the number of bits in primary inputs, primary outputs and internal variables for each benchmark; column LOC reports the number of lines of code; column CAS reports the number of candidate assertions; finally, column OH reports the overall overhead in nanoseconds (ns) that the candidate assertions introduce. Such benchmarks are from ITC’۹۹ suite, that is a well know reference used by other authors [5].

After the automatic generation of a set of candidate assertions for each benchmark, we profiled the quality of the described optimization algorithms by using the evaluation metric proposed in Section IV.C.

In Table 2 and Table 3, the results of the algorithms are reported in columns BAF, FAF, and MEAF for benchmarks b03 and b05, respectively. We have chosen to report only the results of b03 and b05 for lack of space and because these benchmarks are the biggest in terms of candidate assertions. We executed each algorithm with a maximum tolerated overhead, which is reported in column MTO. Such a value is expressed as a percentage on the overall overhead (column OH in Table 1), i.e. 5%, 10%, … , and 25%. For example, in the case of b05 the MTO values are 5ns, 10ns, 15ns, 20ns, and 25ns. For each algorithm, the column RATIO reports the quality of the algorithm which is measured according to the proposed metric, and column SAS reports the number of assertion selected over the total number of candidate assertions reported in Table 1.

دانلود رایگان مقاله انگلیسی

خرید ترجمه فارسی مقاله