| دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی
|
|
| عنوان فارسی مقاله: |
بهینه سازی ضرورت جایگزینی سیستم های جاسازی شده زمان محدود |
| عنوان انگلیسی مقاله: |
Optimization of Assertion Placement in Time-Constrained Embedded Systems |
|
|
| مشخصات مقاله انگلیسی (PDF) | |
| سال انتشار | 2011 |
| تعداد صفحات مقاله انگلیسی | 5 صفحه با فرمت pdf |
| رشته های مرتبط با این مقاله | مهندسی کامپیوتر |
| گرایش های مرتبط با این مقاله | مهندسی الگوریتم ها و محاسبات، مهندسی نرم افزار و برنامه نویسی کامپیوتر |
| مجله | سمپوزیوم تست اروپا – European Test Symposium |
| دانشگاه | گروه علوم کامپیوتر، دانشگاه ورونا |
| شناسه شاپا یا ISSN | ISSN 1530-1877 |
| رفرنس | ندارد |
| لینک مقاله در سایت مرجع | لینک این مقاله در سایت IEEE |
| نشریه آی تریپل ای |  |
| مشخصات و وضعیت ترجمه فارسی این مقاله (Word) | |
| تعداد صفحات ترجمه تایپ شده با فرمت ورد با قابلیت ویرایش و فونت 14 B Nazanin | 23 صفحه |
| ترجمه عناوین تصاویر و جداول | ترجمه شده است |
| ترجمه متون داخل تصاویر | ترجمه نشده است |
| ترجمه متون داخل جداول | ترجمه نشده است |
| درج تصاویر در فایل ترجمه | درج شده است |
| درج جداول در فایل ترجمه | درج شده است |
| درج فرمولها و محاسبات در فایل ترجمه به صورت عکس | درج شده است |
- فهرست مطالب:
چکیده
I. مقدمه
II. مدل کاربردی
III. تشخیص خطا با ضرورت
IV. پارامترهای ضرورت های اجرایی
فرمول سازی مشکل
جایگزینی ضرورت
A.تحلیل های کد و پروفایل سازی
B. زیرساخت بهینه سازی
C.معیار متری تکامل
v. نتایج آزمایشی
- بخشی از ترجمه:
v. نتایج آزمایشی
به منظور ارزیابی تأثیر چارچوب پیشنهادی، ما از نشانه های توصیف شده در جدول 1 استفاده می کنیم، که به ترتیب تعداد بیت های ستون های P1,PO, و VAR را در ورودی های اصلی، خروجی های اصلی و متغیرهای درونی برای هر نشانه گزارش می کنند؛ ستون LOC تعداد خط های کد را گزارش می کند؛ ستون CAS تعداد ضرورت های منتخب را گزارش می کند؛ در نهایت، ستون OH سربار کلی در نانوثانیه ها (ns) را که ضرورت های منتخب را معرفی می کنند گزارش می کند. چنین نشانه هایی از رشته ITC99 هستند، که مرجعی شناخته شده و استفاده شده به وسیله مولفان دیگر است.
بعد از تولید خودکار مجموعه ای از ضرورت های منتخب برا هر نشانه، ما کیفیت الگوریتم های بهینه سازی توصیف شده را با بکارگیری معیار متری ارزیابی پیشنهاد شده در بخش IV.C توضیح دادیم.
در جدول 2 و 3، نتایج الگوریتم ها در ستون های BAF,FAF و MEAF به ترتیب برای نشانه های b03, b05 گزارش شده اند. ما انتخاب کرده ایم که فقط b03 وb05 به خاطر کمبود فضا و بخاطر اینکه این نشانه ها برحسب بزرگترین ضرورت های منتخب هستند را گزارش دهیم. ما هر الگوریتم را با یک سربا تحمل حداکثری اجرا کردیم، که در ستون MTO گزارش شده است. چنین مقداری به عنوان درصدی در سربار کلی ارائه شده است (ستون OH در جدول 1)، برای مثال. 5%، 10%،… و 25%. برای مثال، در مورد b05 مقادیر Mto 5ns, 10ns, 15ns, 20ns و 25ns هستند. برای هر الگوریتم، ستون Ratio کیفیت الگوریتم را که بر طبق معیار متری پیشنهاد شده سنجیده شده است گزارش می کند، و ستون SAS تعداد ضرورت انتخاب شده در تعداد کل ضرورت های منتخب گزارش شده در جدول 1 را گزارش می کند.
- بخشی از مقاله انگلیسی:
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’99 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.
| دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی
|
|
| عنوان فارسی مقاله: |
بهینه سازی ضرورت جایگزینی سیستم جاسازی شده زمان محدود |
| عنوان انگلیسی مقاله: |
Optimization of Assertion Placement in Time-Constrained Embedded Systems |
|
|