Partitioning state spaces of concurrent transition systems
المؤلف
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 2، العدد 2 (30 إبريل/نيسان 2005)، ص ص. 127-135، 9ص.
الناشر
تاريخ النشر
2005-04-30
دولة النشر
الأردن
عدد الصفحات
9
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الموضوعات
الملخص EN
As the model-checking becomes increasingly used in the industry as an analysis support, there is a big need for efficient new methods to deal with the large real-size of concurrent transition systems.
We propose a new algorithm for partitioning the large state space modeling industrial designs as concurrent transition systems with hundreds of millions of states and transitions.
The produced partitions will be used by distributed processes for parallel system analysis.
The state space is supposed to be represented by a weighted Kripke structure (this is an extension of the Kripke structure where weights are associated with the states and with the transitions).
This algorithm partitions the weighted Kripke structure by performing a combination of abstraction-partition-refinement on this structure.
The algorithm is designed in a way that reduces the communication overhead between the processes.
The experimental results on large real designs show that this method improves the quality of partitions, the communication overhead and then the overall performance of the system analysis.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Bourahla, Mustafa. 2005. Partitioning state spaces of concurrent transition systems. The International Arab Journal of Information Technology،Vol. 2, no. 2, pp.127-135.
https://search.emarefa.net/detail/BIM-12137
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Bourahla, Mustafa. Partitioning state spaces of concurrent transition systems. The International Arab Journal of Information Technology Vol. 2, no. 2 (Apr. 2005), pp.127-135.
https://search.emarefa.net/detail/BIM-12137
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Bourahla, Mustafa. Partitioning state spaces of concurrent transition systems. The International Arab Journal of Information Technology. 2005. Vol. 2, no. 2, pp.127-135.
https://search.emarefa.net/detail/BIM-12137
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 134
رقم السجل
BIM-12137
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر