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

توسعه رسمی شبکه های حسگر بی سیم

Formal development of wireless sensor–actor networks

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

بازیگران موازی نظارت می کنند: از هم گسیختن سطح کار در سطح پارتیشن بندی اطلاعات در مدل بازیگر

Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model

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

یک زبان برنامه نویسی موازی شی گرا برای سیستم عامل های توزیع موازی

An object-oriented parallel programming language for distributed-memory parallel computing platforms

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

تأیید زمان اجرا کد میکروکنترلر باینری

Runtime verification of microcontroller binary code

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

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

Observations on formal safety analysis in practice

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

مطالعه موردی در مورد تأیید سبک یک سرور کار چند منظوره

A case study on the lightweight verification of a multi-threaded task server

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

A compositional model to reason about end-to-end QoS in Stochastic Reo connectors

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

Efficient static checker for tainted variable attacks

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

Formal analysis of a hardware dynamic task dispatcher with CADP

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

Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost

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