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

ترکیبیات نور برای محاسبات فیلدهای محدود

Light combinators for finite fields arithmetic

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

با استفاده از فضای محدود استفاده از جریان با استفاده از تجزیه و تحلیل تفسیر

On bounding space usage of streams using interpretation analysis

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

تجزیه و تحلیل مصرف فضایی با تفسیر انتزاعی: استنتاج توابع بازگشتی

Space consumption analysis by abstract interpretation: Inference of recursive functions

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

تجزیه و تحلیل مصرف فضایی با تفسیر انتزاعی: خواص کاهش دهنده

Space consumption analysis by abstract interpretation: Reductivity properties

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

یک مقایسه عملی از توابع هزینه و برنامه های کاربردی آن

A practical comparator of cost functions and its applications

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

تایید زمان اجرای در چندین مرتبه

Certifying execution time in multicores

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