Binary Decision Diagram

Publish Year: 1390
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,311

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

RCRRM01_043

تاریخ نمایه سازی: 28 تیر 1390

Abstract:

امروزه ریاضی و آنچه در ریاضی نوین مطرح می شود.در شاخه های مختلف علوم گوناگون کاربرد دارد.یکی از مباحث نوین در علم ریاضی،ساختاری به نام BDD است.این ساختار که با هدف فشرده سازی توابع منطقی به کار می رود،کاربرد بسیار وسیعی در شاخه های مختلف مهندسی و علوم کامپیوتر دارد.در این مقاله به معرفی این ساختار مهم پرداخته شده است و به نمونه های مختلف آن اشاره گردیده است.

Authors

شیده سرائیان

دانشگاه آزاد اسلامی واحد گرگان

علی برومند

دانشگاه آزاد اسلامی واحد گرگان

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • "Points-to analysis using BDDs", Berndl et al, PLDI 2003. ...
  • "Symbolic Pointer Analysis Revisited", Zhu, Calman, PLDI 2004. ...
  • III. 2 'Cloning-based c ontext- sensitive pointer alias analysis using ...
  • "Using ZBDDs in Points-to Analysis", Lhotak et al, LCPC 2007. ...
  • نمایش کامل مراجع