دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Lars Lucas, Tobias Schuele, Wolfgang Schwitzer (auth.), João M. Lourenço, Eitan Farchi (eds.) سری: Lecture Notes in Computer Science 8063 ISBN (شابک) : 9783642399541, 9783642399558 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 119 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار چند هسته ای ، عملکرد و ابزار: کنفرانس بین المللی ، MUSEPAT 2013 ، سن پترزبورگ ، روسیه ، 19-20 آگوست 2013. مجموعه مقالات: سیستمهای مبتنی بر هدف و برنامه کاربردی، عملکرد و ارزیابی سیستم، مهندسی نرمافزار، زبانهای برنامهنویسی، کامپایلرها، مترجمان، سیستمهای عامل، تکنیکهای برنامهنویسی
در صورت تبدیل فایل کتاب Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار چند هسته ای ، عملکرد و ابزار: کنفرانس بین المللی ، MUSEPAT 2013 ، سن پترزبورگ ، روسیه ، 19-20 آگوست 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری کنفرانس بینالمللی مهندسی نرمافزار چند امتیازی، عملکرد و ابزارها، MUSEPAT 2013، در سن پترزبورگ، روسیه، در آگوست 2013 برگزار شد. مقالات پذیرفته شده در سه جلسه اصلی سازماندهی می شوند و موضوعاتی مانند مهندسی نرم افزار برای سیستم های چند هسته ای را پوشش می دهند. مشخصات، مدل سازی و طراحی؛ مدل های برنامه نویسی، زبان ها، تکنیک های کامپایلر و ابزارهای توسعه؛ تأیید، آزمایش، تجزیه و تحلیل، اشکال زدایی و تنظیم عملکرد، تست امنیتی؛ نگهداری و تکامل نرم افزار؛ مسائل نرم افزار چند هسته ای در محاسبات علمی، سیستم های جاسازی شده و سیار. محاسبات کم مصرف و همچنین گزارش های تجربه.
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MUSEPAT 2013, held in Saint Petersburg, Russia, in August 2013. The 9 revised papers were carefully reviewed and selected from 25 submissions. The accepted papers are organized into three main sessions and cover topics such as software engineering for multicore systems; specification, modeling and design; programing models, languages, compiler techniques and development tools; verification, testing, analysis, debugging and performance tuning, security testing; software maintenance and evolution; multicore software issues in scientific computing, embedded and mobile systems; energy-efficient computing as well as experience reports.
Front Matter....Pages -
Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages....Pages 1-12
MVA-Based Probabilistic Model of Shared Memory with a Round Robin Arbiter for Predicting Performance with Heterogeneous Workload....Pages 13-24
MHS 2 : A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm....Pages 25-36
Handling Parallelism in a Concurrency Model....Pages 37-48
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories....Pages 49-60
How to Cancel a Task....Pages 61-72
Automatically Repairing Concurrency Bugs with ARC....Pages 73-84
A Modular Approach to Model-Based Testing of Concurrent Programs....Pages 85-96
A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions....Pages 97-109
Back Matter....Pages -