Abstract In this thesis, we present a set of scheduling algorithms that are used in designing core-based system-on-chips. Related techniques such as hardware /software codesign, and High-level-synthesis are defined. However, we selected some algorithms at system level and core level to implement them. They combined in system design methodology. Therefore, we used them for design exploration process. The methodology able to explore designs by scheduling them partitioning systems, and pipelining.Finally results obtained are encouraging to use the selected algorithm in designing efficient core-based system-on-chip systems.
مفيدة رمضان علي بلال (2010)

ان البيانات الجيوفيزيائية المتاحة لهذه الدراسة الواقعة بين منصة البيضاء ومنصة المرادا بحوض سرت اظهرت بعض المعلومات عن التراكيب الجيولوجية تحت السطحية والتوزيع الطبقى فى المنطقة، وقد تأثر بشكل واضح وقوع المنطقة بين منصة البيضاء ومنصة المرادا بوجود فالق كبير فى الشمال الشرقى لمنطقة الدراسة ويأخد اتجاه الشمال الغربى وهذا التأثير الكبير ادى بدوره بوجود مجموعة من الفوالق المنتشرة فى منطقة الدراسة. اعطت تطبيقات تقنيات الجاذبية وصفا جيدا ومنطقيا يعكس نفس الصورة المتحصل عليها من الطريقة السيزمية فى نفس المكان. ان البيانات السيزمية ثلاثية الابعاد والمتحصل عليها من شركة الواحة للنفط اعطت تفسيرا بوجود مجموعة من الفوالق فى الشمال والشمال الشرقى وجنوب منطقة الدراسة وهذه الفوالق أثرت فى جميع الطبقات المستهدفة فى وهذه الدراسة. واعطت النتائج ايضا ازدياد فى العمق لكل الطبقات المستهدفة فى هذه الدراسة وهذه الزيادة تتجه ناحية الشرق. البيانات الجادبية المتحصل عليها من مركز بحوث النفط اعطت تفسيرلخريطة بوجير بوجود شواذ ايجابية وسلبية والدى فسر بوجود فالق كبير فى شمال غرب منطقة الدراسة .وقد أظهرت شذوذ الانفصال الإقليمي والمحلى بعض الشواذ المتوزعة على منطقة الدراسة فى شاذة الانفصال المحلى ومن بين التطبيقات تقنيات الجاذبية استخدمنا نماذج متوزعة على منطقة الدراسة واجتيازها للتراكيب الجيولوجية تحت السطحية ومقارنتها بالمقاطع السيزمية المأخودة مسبقا فى نفس المكان للحصول على وصف منطقى لاعطاء صورة جيولوجية للتراكيب تحت السطح. Abstract Geophysical data available for the study of this study area between the Beda platform and Marada trough form is desired luxury showed information on geological structures subsurface and the distribution of the layers of the area, It was very clearly influenced the study area to have occurred between Beda platform and Marada trough is desired luxury and this influence resulted in a major fault in the north-east of the study area was trend northwest and the impact on each study area there is a range of other faults scattered in the region. They gave applications of gravity techniques a good description and logical a set of most viewed reflects the image of the seismic sections which taken in the same place. Seismic data in 3D obtained from Waha Oil Company has given an explanation of the existence of a set of faults north and north-east and south of the study area and these faults affected in all target layers in this study. The interpretation of the results of the targeted layers were all given the same results as the increasing depth to the east and the affected targeted layers in this study the same faults. Gravity data obtained from the Libyan Petroleum Institute and represent of Bouguer map gave an explanation of the existence of high positive and high negative in the study area and the explanation was the presence of major fault trend to northwest. Anomaly separation regional, local this has shown a group of anomalies distributed on study area. Among applications of gravity techniques we used the models dispersed across the study area and pass the geological structures subsurface and compare this topic most viewed profiled with seismic section which taken advance in the same place for a description of logical to give a combined image of the seismic and gravity method.
عمر امحمد عمر (2015)

هذا البحث يقدم نماذج العيب للبرمجة بلغة السي أثناء تنفيد البرامج، نماذج العيب تزود تحليل للعيب/ الفشل موضحاً كيف يمكن للعيب في البرمجة بلغة السي أن يسبب تغيير حالة البيانات في البرنامج لتصبح حاطئة، وكيف أن تلك البيانات الخاطئة يمكن أن تستمر إلى الحالة النهائية للبرنامج، وبذلك يظهر الفشل Failure. نماذج العيب أيضاً تتضمن دليل لأنواع العيوب التي يعتقد أنها تمثل العيوب التي من المحتمل أن تكون مقدمة في البرامج من قبل مبرمجين يكتبون برامج لغة السي. كل نوع من هذه العيوب يكون موصوفاً في شروط حسب العيب الذي يظهر في محتوى برنامج لغة السي الأصلي وكذلك كيف يمكن أن يسبب التأثير في حالة البرنامج. أنواع العيوب تكون محددة من التحليل الدقيق لقواعد اللغة syntaxes ومعانيها semantics للبرامج المكتوبة بلغة السي. نماذج العيب يمكن أن تساعد المختبرين والمبرمجين لتحديد الأماكن في البرنامج التي غالباً ما تظهر فيها العيوب، نماذج العيب يمكن أن تكون أساساً جيداً لتصنيف العيب وإختبار التغيير وتفتيش البرنامج وتقييم إستراتيجيات الإختبار للبرامج المكتوبة بلغة السي. أمثلة معطاة لتبين النماذج الملائمة لهذه الأغراض. Abstract This thesis presents a fault models for C programming (Turbo C, version 3.0) in run-time of programs. The fault models provide a fault/failure analysis of how a fault in C programming can cause a data state change in the program to become corrupted, and how that erroneous data can propagate to the final state of the program, thereby manifesting a failure. The fault models also include a catalog of fault types that are believed to represent faults likely to be introduced in programs by programmers writing C code. Each type of fault is described in terms of how it appears syntactically in source code as well as in how it can cause an infection of program state. The fault types are identified from a careful analysis of the syntaxes and the semantics of C programs. The fault models can help testers and programmers identify places in a program where faults are most likely to appear, and identify what kinds of faults to look out for when using certain feature in C language. The fault models is claimed to be a good foundation for fault seeding, mutation testing, program inspections, and evaluation of testing strategies for C programs. Examples are given that demonstrate the model’s suitability for these purposes.
وفاء حسين محمود المصباحي (2010)