لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
مقاله کنفرانسی
وارسی پردازنده خط لوله شده دارای قابلیت پردازش خارج از ترتیب و حدس پرش به روش model checking
نویسندگان:
علیرضا عبداله پوری
،
محمدکاظم اکبری
سال انتشار 1383
محل انتشار:
دهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
روشی جدید برای وارسی رسمی پردازنده های ابرعددی
نویسندگان:
علیرضا عبداله پوری
سال انتشار 1386
محل انتشار:
پانزدهیمن کنفرانس مهندسی برق ایران
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
تحلیل سیستم های مشتری- خدمتگذار با استفاده از وارسی مدل احتمالاتی
نویسندگان:
محمدصادق محققی
سال انتشار 1394
محل انتشار:
اولین همایش چشم انداز تکنولوژی کامپیوتر و شبکه در ۲۰۳۰
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
ارائه جستجوی پرتو بهبودیافته برای وارسی مدل سیستمهای تبدیل گراف
نویسندگان:
عین اله پیرا
سال انتشار 1398
محل انتشار:
پنجمین کنفرانس ملی محاسبات توزیعی و پردازش داده های بزرگ
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت