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

Preface

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

Fault Detection in Multi-Threaded C++ Server Applications

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

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

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

Thread Verification - An Experience Report

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

What is Itanium Memory Consistency from the Programmer's Point of View?

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

Modular Checkpointing for Atomicity

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

Store Atomicity for Transactional Memory

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

Interrupt Verification via Thread Verification 1

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

Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ

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