Computer Sience & Engineering
كامپيوتر و مهندسی
Business and Economics
اقتصاد و بازرگانی
Sciences
علوم پايه
Health and Medicine
علوم پزشكی
K-12 and Education
علوم تربيتی
Art and Humanities
فرهنگ و هنر
Social Sciences
علوم انسانی
Documentary Movie Store
فروشگاه فيلم‌های مستند

Home>Computer Sience & Engineering>Video & Slide>New Entries>1
 
Program Analysis: Binary Decision Diagrams

From the Series از مجموعه :CSE Colloquia - 2005

Produced by تهيه كننده :University of Washington

Date تاريخ :2005-04-14

Program Analysis: Binary Decision Diagramsdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research

Description توضيح :Binary decision diagrams (BDDs) are a data structure that can efficiently represent large relations and provide efficient set operations. BDDs have traditionally been used for model checking, formal verification, and optimizing circuit diagrams. In John Whaley’s research, BDDs are applied to the area of program analysis. In this colloquia, Whaley describes a scalable context-sensitive, inclusion-based pointer alias analysis for Java programs. His approach to context sensitivity is to create a clone of a method for every context of interest and run a context-insensitive algorithm over the expanded call graph to get context-sensitive results.

Related Links لينك‌های مرتبط :-

Program Analysis: Binary Decision Diagramsdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research

Speaker(s) اجرا :#Error

Runtime مدت زمان :00:57:34

Video Size حجم ويدئو :162 MB

Number of Slides تعداد اسلايد‌ها :251 (27 MB)

Program Analysis: Binary Decision Diagramsdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research

توضيح مختصر اين عنوان به فارسی (هيچ موردی اضافه نشده است)

كاربر محترم، در صورتی كه از اين عنوان استفاده نموده و یا مهارت زبان انگليسی شما به حدی است كه می‌توانید مفهوم توضيحات فوق را به فارسی برگردانید، تقاضا می‌شود به جهت آنكه ساير دوستانتان كه با اين عنوان آشنايی نداشته و يا ممکن است سطح زبان انگليسی آنها در حدی نباشد كه توصيحات فوق را درك نمايند نیز بتوانند از آن استفاده کنند، با كليك برروی به يكديگر بياموزيم  و وارد نمودن هر چند مختصر شرح و توضیح اين عنوان به فارسی، علاوه بر در اختیار همگان قرار دادن دانش خود ، راهنمای دیگر دوستانتان دراستفاده از اين عنوان نیز باشید.

نام Name:
تحصيلات Education:
شهر City:
Email: عدم نمايش Hidden      نمايش Visible
 



Order on DVD
سفارش برروی لوح فشرده
Download
دريافت
 Add to My Library
اضافه به كتابخانه من
 

 Add Comment نظر بدهيد


نام Name:
تحصيلات Education:
شهر City:
Email: عدم نمايش Hidden       نمايش Visible
 


©2009 i-google.ir
اين پايگاه اينترنتي متعلق به گروه دانش گستران جوان بوده و هر گونه برداشت مطالب از آن به شرط ذكر نام بلامانع است.