Welcome To E-JUST Library

Local cover image
Local cover image

An Approximate Method for Analysing Data Dependence at Runtime Based on Abstract Interpretation : A Thesis Submitted to the Graduate School of Electronics , Communications and Computer Engineering : Egypt - Japan University of Science and Technology (E - JUST) : In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Computer Science and Engineering / by Mostafa Mohammed Abbas Mohammed

By: Material type: TextTextLanguage: English Summary language: Arabic Publication details: Alexandria : Mostafa Mohammed Abbas Mohammed 2022Description: 91 leaves ; 30 cmOther title:
  • طريقة تقريبية لتحليل تبعية البيانات أثناء التنفيذ : رسالة علمية مقدمة إلى المدرسة التخصصية للدراسات العليا : كلية الإلكترونيات و الاتصالات و هندسة الحاسبات : الجامعة المصرية اليابانية للعلوم و التكنولوجيا كاستيفاء جزئي لمتطلبات الحصول على درجة دكتوراه الفلسفة في هندسة و علوم الحاسب / إعداد مصطفي محمد عباس محمد [Added title page title]
Issued also as a digital file (for more information please check our Digital Repository)Dissertation note: Thesis (Ph.D.) Doctoral Egypt - Japan University of Science and Technology (E-JUST) - School of Electronics , Communications and Computer Engineering - Computer Science and Engineering Department 2022 Summary: يعد تحليل تبعية التعليمات عملية لابد منها لتنفيذ التعليمات علي التوازي حيث انه يبين الأجزاء القابلة للتنفيذ علي التوازي في التعليمات التسلسلية التحليل الديناميكي يتطلب بشكل عام وقت تنفيذ كبير و مساحة ذاكرة كبيرة حيث يتم تتبع كل تعليمة وصول إلى الذاكرة نتيجة لذلك هناك العديد من المحاولات في الأبحاث السابقة لتحقيق توازن بين الدقة و وقت التشغيل الزائد تعتمد الطرق السابقة على التحليل العشوائي للتعليمات و التحليل المتوازي و استبعاد تبعية التعليمات المكتشفة استاتيكيا من التحليل الديناميكي تقترح هذه الرسالة طريقة تنميط خفيفة الأعباء لتحليل تبعية تعليمات بيانات الذاكرة في المستوى الثنائي (Binary level) الطريقة المقترحة تدمج تقنيتين تقترح التقنية الأولى تمثيل جميع مواقع الذاكرة المرصودة عن طريق المجالات المجردة (Abstract domains) التقنية الثانية تقترح الاستخدام الديناميكي لتقنيات الترجمة المجردة التقنية المقترحة الاولي تستخدم طريقة بسيطة لتجريد تحليل المسار التنفيذي للتعليمات باستخدام مجال النطاقات و المجال النمطي المتطابق لتحليل تبعية التعليمات بتكلفة تشغيل أقل من حيث وقت التشغيل و الذاكرة المستخدمة تقوم التقنية بجمع و تلخيص جميع عناوين الذاكرة لكل التعليمات الاستاتيكية التي تستخدم في الوصول للذاكرة تتميز هذه التقنية بعدم الحاجة إلى الاحتفاظ بذاكرة اضافية كبيرة حيث تتطلب فقط تحليل لكل زوج من التعليمات الاستاتيكية لاكتشاف تبعية التعليمات و ذلك من خلال اختبار تقاطع بسيط للمجالات المجردة المستخدمة علاوة على ذلك فإن الجمع بين مجال النطاقات و المجال النمطي المتطابق يعمل على تحسين الدقة مقارنة باستخدام مجال النطاقات بصورة منفردة خاصة عندما يحدث وصول للبيانات بشكل متباعد و لتحسين الدقة ايضا تم تقسيم الذاكرة إلى مقاطع حيث تخزن عناوين الذاكرة لكل مقطع بشكل تجريدي منفصل و يتم اختبار التقاطع للمجالات المجردة لكل مقطع بشكل مستقل التقنية المقترحة الثانية تعتبر تقنية بديلة لإجراء التحليل الاستاتيكي للتعليمات و لكن في وقت التشغيل بمعرفة المعلومات المتاحة قبل تنفيذ الحلقات التكرارية مباشرة مما يؤدي إلى تحسين الدقة تعتمد تقنية الترجمة المجردة على استخدام مجالات النطاقات و النمطية المتطابقة و المنصفة لاكتشاف تبعية تعليمات الوصول للذاكرة في البرامج الثنائية (Binary program) في وقت التشغيل تتميز الترجمة المجردة بكونها مرتبطة بدلالات التنفيذ مما يجعلها مشابهة لعملية نمذجة المقترحة تنفيذ التعليمات الثنائي تم بناء التقنيات المقترحة باستخدام منصة Intel Pin و تم تقييمها باستخدام مجموعات المعايير القياسية : PolyBench NPB و SPEC2006 أظهرت نتائج التقنية المقترحة الأولي مقارنة بالأعمال السابقة متوسط تسريع في وقت التنفيذ بمقدار 5.4 مرة و تستهلك مقدار 25 ميجا بايت من الذاكرة أي حوالي 2 من الاستهلاك الأصلي للبرامج و بمتوسط دقة 82.7 تصل الى 96% عند تقسيم الذاكرة الي مقاطع بينما أظهرت نتائج التقنية المقترحة الثانية متوسط تسريع في وقت التنفيذ بمقدار 18.9 مرة و تستهلك مقدار 660 ميجا بايت من الذاكرة أي حوالي 17% من الاستهلاك الأصلي للبرامج و بمتوسط دقة .90.4 أظهرت نتائج هذه الرسالة، أي عند الدمج بين تقنية التمثيل مع تقنية الترجمة المجردة متوسط دقة قدرها 85% مع متوسط تسريع وقت التنفيذ 23.6 مرة مقارنة بالطرق المقترحة ذات الصلة في الأبحاث السابقة و تستهلك مقدار 25 ميجا بايت من الذاكرة أي حوالي 2% من إستهلاك الذاكرة الاصلي للبرامج مما يجعلها طريقة واعدة
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Barcode
Dissertations Dissertations Fayza Aboulnaga Central Library | مكتبة فايزة أبو النجا المركزية بالحرم الجامعي CSE PhD. 2022 01 (Browse shelf(Opens below)) C. 1 Not for loan 10013449
Browsing Fayza Aboulnaga Central Library | مكتبة فايزة أبو النجا المركزية بالحرم الجامعي shelves Close shelf browser (Hides shelf browser)
CSE PhD. 2020 07 Cellular - based Indoor Localization Techniques Using Deep Learning : A Thesis Submitted to the Graduate School of Electronics , Communications and Computer Engineering : Egypt Japan University of Science and Technology (E - JUSTE) : In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Computer Science and Engineering / CSE PhD. 2021 01 A Sequence - Character Aware Model for Efficient Cursive and Non - Cursive Scene Text Recognition : A Thesis Submitted to the Graduate School of Electronics , Communications and Computer Engineering : Egypt Japan University of Science and Technology (E - JUST) : In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Computer Science and Engineering / CSE PhD. 2021 02 Inference of Tram / Train Expected Schedule From Ubiquitous Devices : Case Study : Tramway in Alexandria City : A Thesis Submitted to the Graduate School of Electronics , Communications and Computer Engineering : Egypt Japan University of Science and Technology (E - JUSTE) : In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Computer Science and Engineering / CSE PhD. 2022 01 An Approximate Method for Analysing Data Dependence at Runtime Based on Abstract Interpretation : A Thesis Submitted to the Graduate School of Electronics , Communications and Computer Engineering : Egypt - Japan University of Science and Technology (E - JUST) : In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Computer Science and Engineering / CSE PhD. 2024 01 Quantum Circuit Noise Characterization and Optimization Using Machine Learning : A Thesis Submitted to the Graduate School of Electronics , Communications and Computer Engineering : Egypt Japan University of Science and Technology (E-JUST) : In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Computer Science and Engineering / D371 .L38 2018 الأزمات الشرقية : المسألة الشرقية و اللعبة الكبرى (1768 - 1914) / D371 .L38 2018 الأزمات الشرقية : المسألة الشرقية و اللعبة الكبرى (1768 - 1914) /

Includes a title page in Arabic

Thesis (Ph.D.) Doctoral Egypt - Japan University of Science and Technology (E-JUST) - School of Electronics , Communications and Computer Engineering - Computer Science and Engineering Department 2022

يعد تحليل تبعية التعليمات عملية لابد منها لتنفيذ التعليمات علي التوازي حيث انه يبين الأجزاء القابلة للتنفيذ علي التوازي في التعليمات التسلسلية التحليل الديناميكي يتطلب بشكل عام وقت تنفيذ كبير و مساحة ذاكرة كبيرة حيث يتم تتبع كل تعليمة وصول إلى الذاكرة نتيجة لذلك هناك العديد من المحاولات في الأبحاث السابقة لتحقيق توازن بين الدقة و وقت التشغيل الزائد تعتمد الطرق السابقة على التحليل العشوائي للتعليمات و التحليل المتوازي و استبعاد تبعية التعليمات المكتشفة استاتيكيا من التحليل الديناميكي تقترح هذه الرسالة طريقة تنميط خفيفة الأعباء لتحليل تبعية تعليمات بيانات الذاكرة في المستوى الثنائي (Binary level) الطريقة المقترحة تدمج تقنيتين تقترح التقنية الأولى تمثيل جميع مواقع الذاكرة المرصودة عن طريق المجالات المجردة (Abstract domains) التقنية الثانية تقترح الاستخدام الديناميكي لتقنيات الترجمة المجردة التقنية المقترحة الاولي تستخدم طريقة بسيطة لتجريد تحليل المسار التنفيذي للتعليمات باستخدام مجال النطاقات و المجال النمطي المتطابق لتحليل تبعية التعليمات بتكلفة تشغيل أقل من حيث وقت التشغيل و الذاكرة المستخدمة تقوم التقنية بجمع و تلخيص جميع عناوين الذاكرة لكل التعليمات الاستاتيكية التي تستخدم في الوصول للذاكرة تتميز هذه التقنية بعدم الحاجة إلى الاحتفاظ بذاكرة اضافية كبيرة حيث تتطلب فقط تحليل لكل زوج من التعليمات الاستاتيكية لاكتشاف تبعية التعليمات و ذلك من خلال اختبار تقاطع بسيط للمجالات المجردة المستخدمة علاوة على ذلك فإن الجمع بين مجال النطاقات و المجال النمطي المتطابق يعمل على تحسين الدقة مقارنة باستخدام مجال النطاقات بصورة منفردة خاصة عندما يحدث وصول للبيانات بشكل متباعد و لتحسين الدقة ايضا تم تقسيم الذاكرة إلى مقاطع حيث تخزن عناوين الذاكرة لكل مقطع بشكل تجريدي منفصل و يتم اختبار التقاطع للمجالات المجردة لكل مقطع بشكل مستقل التقنية المقترحة الثانية تعتبر تقنية بديلة لإجراء التحليل الاستاتيكي للتعليمات و لكن في وقت التشغيل بمعرفة المعلومات المتاحة قبل تنفيذ الحلقات التكرارية مباشرة مما يؤدي إلى تحسين الدقة تعتمد تقنية الترجمة المجردة على استخدام مجالات النطاقات و النمطية المتطابقة و المنصفة لاكتشاف تبعية تعليمات الوصول للذاكرة في البرامج الثنائية (Binary program) في وقت التشغيل تتميز الترجمة المجردة بكونها مرتبطة بدلالات التنفيذ مما يجعلها مشابهة لعملية نمذجة المقترحة تنفيذ التعليمات الثنائي تم بناء التقنيات المقترحة باستخدام منصة Intel Pin و تم تقييمها باستخدام مجموعات المعايير القياسية : PolyBench NPB و SPEC2006 أظهرت نتائج التقنية المقترحة الأولي مقارنة بالأعمال السابقة متوسط تسريع في وقت التنفيذ بمقدار 5.4 مرة و تستهلك مقدار 25 ميجا بايت من الذاكرة أي حوالي 2 من الاستهلاك الأصلي للبرامج و بمتوسط دقة 82.7 تصل الى 96% عند تقسيم الذاكرة الي مقاطع بينما أظهرت نتائج التقنية المقترحة الثانية متوسط تسريع في وقت التنفيذ بمقدار 18.9 مرة و تستهلك مقدار 660 ميجا بايت من الذاكرة أي حوالي 17% من الاستهلاك الأصلي للبرامج و بمتوسط دقة .90.4 أظهرت نتائج هذه الرسالة، أي عند الدمج بين تقنية التمثيل مع تقنية الترجمة المجردة متوسط دقة قدرها 85% مع متوسط تسريع وقت التنفيذ 23.6 مرة مقارنة بالطرق المقترحة ذات الصلة في الأبحاث السابقة و تستهلك مقدار 25 ميجا بايت من الذاكرة أي حوالي 2% من إستهلاك الذاكرة الاصلي للبرامج مما يجعلها طريقة واعدة

Issued also as a digital file (for more information please check our Digital Repository)

The text is in English and the extract is in Arabic

(ECCE) School of Electronics, Communications and Computer Engineering (CSE) Computer Science Engineering

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image

All Rights Reserved
Egypt-Japan University of Science and Technology (E-JUST) © 2024