![](/images/graphics-bg.png)
Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs
المؤلفون المشاركون
Bobda, Christophe
Mahr, Philipp
Ishebabi, Harold
Schaub, Torsten
Gebser, Martin
المصدر
International Journal of Reconfigurable Computing
العدد
المجلد 2009، العدد 2009 (31 ديسمبر/كانون الأول 2009)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2009-11-16
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving the problems of task mapping, resource allocation, and scheduling.
The latter considers effects of fixed-priority preemptive scheduling in order to guarantee real-time requirements, hence covering a broad spectrum of embedded applications.
Being inherently a combinatorial optimization problem, the design space is modeled using linear equations that capture high-level design parameters.
A comparison of two methods for solving resulting problem instances is then given.
The intent is to study how well recent advances in propositional satisfiability (SAT) and thus Answer Set Programming (ASP) can be exploited to automate the design of flexible multiprocessor systems.
Integer Linear Programming (ILP) is taken as a baseline, where architectures for IEEE 802.11g and WCDMA baseband signal processing are synthesized.
ASP-based synthesis used a few seconds in the solver, faster by three orders of magnitude compared to ILP-based synthesis, thereby showing a great potential for solving difficult instances of the automated synthesis problem.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Ishebabi, Harold& Mahr, Philipp& Bobda, Christophe& Gebser, Martin& Schaub, Torsten. 2009. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. International Journal of Reconfigurable Computing،Vol. 2009, no. 2009, pp.1-11.
https://search.emarefa.net/detail/BIM-504408
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Ishebabi, Harold…[et al.]. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. International Journal of Reconfigurable Computing No. 2009 (2009), pp.1-11.
https://search.emarefa.net/detail/BIM-504408
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Ishebabi, Harold& Mahr, Philipp& Bobda, Christophe& Gebser, Martin& Schaub, Torsten. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. International Journal of Reconfigurable Computing. 2009. Vol. 2009, no. 2009, pp.1-11.
https://search.emarefa.net/detail/BIM-504408
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-504408
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)