دانلود رایگان مقالات نشریه ISI دانش برنامه نویسی کامپیوتر

پیاده سازی خطوط تولید نرم افزار ایمن با استفاده از صفات پارامتری

Implementing type-safe software product lines using parametric traits

27 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

زمانبندی برنامه های شدید بسیار جالب است اولین

Scheduling intense applications most ‘surprising’ first

11 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

قراردادهای پیشرفته برای سیستم های جاسازی شده بر پایه جزء

Contracts-refinement proof system for component-based embedded systems

16 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

طراحی مخزن و متا داده برای تایید یکپارچگی مولفه کارآمد

Repository and meta-data design for efficient component consistency verification

17 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

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

New degrees of freedom in metaheuristic optimization of component-based systems architecture: Architecture topology and load balancing

15 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

Axioms as generic rewrite rules in C++ with concepts

11 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه