




| الناشر | VDM Verlag Dr. Mueller e.K. |
| رقم الكتاب المعياري الدولي 10 | 3639024680 |
| الكاتب | Mohamed Abdel Maksoud |
| تاريخ النشر | 6 June 2008 |
| رقم الكتاب المعياري الدولي 13 | 9783639024685 |
| وصف الكتاب | Static methods are very successful in deriving crucial properties (e.g.timing behaviour) of safety critical systems. Some information in the analysed program are not available either because they cannot be determined statically or because they were intentionally sacrificed (i.e.abstracted) to make program analysis tractable. These abstractions make program simulation nondeterministic. This book describes the algorithms and semantics developed and used in building an abstraction-aware compiler that derives/generates pipeline analysis from an abstracted VHDL specification of the target microprocessor. This analysis is used in a commercial tool frame for deriving upper bound over execution time of critical tasks. This book is useful for computer scientists and engineers concerned with computing timing analyses based on VHDL specification of the target hardware. |
| اللغة | English |
| عدد الصفحات | 108 pages |

نحن دائماً جاهزون لمساعدتك
تواصل معنا من خلال أي من قنوات الدعم التالية:
الإلكترونيات
الهواتف المتحركةأجهزة التابلتأجهزة الكمبيوتر المحمولةأجهزة الكمبيوتر المكتبيةالأجهزة القابلة للارتداءسماعات الرأسالكاميرات والصور وتسجيل الفيديوالتلفزيوناتالمطبخ والأجهزة المنزلية
الأجهزة الكبيرةالأجهزة الصغيرةأثاث غرفة النومالتخزينأدوات الطبخالأثاثعطور المنزلأدوات الشرابالجمال
العطورالعناية بالبشرةالعناية بالشعرالعناية الشخصيةالمكياجأدوات المكياجمنتجات العناية بالرجالمنتجات الرعاية الصحيةالمواليد الألعاب
الرضاعة والتغذيةالحفاضاتتنقل الأطفالألعاب البيبيالسكوتراتألعاب الورق والطاولةطعام الأطفال