Binary Decision Diagram

سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,297

فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد

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

لینک ثابت به این مقاله:

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

RCRRM01_043

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

چکیده مقاله:

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

کلیدواژه ها:

نویسندگان

شیده سرائیان

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

علی برومند

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • "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. ...
  • نمایش کامل مراجع