مشخصات کتاب

Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

ویرایش: 1 
نویسندگان: Johann Blieberger. Markus Bader (eds.)  
سری: Lecture Notes in Computer Science 10300 
ISBN (شابک) : 9783319605883, 9783319605876 
ناشر: Springer International Publishing 
سال نشر: 2017 
تعداد صفحات: 255 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 12 مگابایت 

کلمات کلیدی مربوط به کتاب Reliable Software Technologies – Ada-Europe 2017: بیست و دومین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، وین، اتریش، 12-16 ژوئن 2017، مجموعه مقالات: زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، مهندسی نرم‌افزار، سیستم‌های مبتنی بر هدف و کاربرد خاص، منطق و معانی برنامه‌ها، سیستم‌های عامل

در صورت تبدیل فایل کتاب Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Reliable Software Technologies – Ada-Europe 2017: بیست و دومین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، وین، اتریش، 12-16 ژوئن 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب Reliable Software Technologies – Ada-Europe 2017: بیست و دومین کنفرانس بین المللی Ada-Europe در زمینه فناوری های نرم افزار قابل اعتماد، وین، اتریش، 12-16 ژوئن 2017، مجموعه مقالات

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile....Pages 3-17
Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime....Pages 18-33
Front Matter....Pages 35-35
Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong…)....Pages 37-52
Enforcing Timeliness and Safety in Mission-Critical Systems....Pages 53-69
Front Matter....Pages 71-71
Supporting Nested Resources in MrsP....Pages 73-86
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems....Pages 87-101
MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding....Pages 102-118
Front Matter....Pages 119-119
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions....Pages 121-136
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada....Pages 137-152
RxAda: An Ada implementation of the ReactiveX API....Pages 153-166
Front Matter....Pages 167-167
A New Ravenscar-Based Profile....Pages 169-183
OpenMP Tasking Model for Ada: Safety and Correctness....Pages 184-200
Front Matter....Pages 201-201
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework....Pages 203-216
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems....Pages 217-232
Software Time Reliability in the Presence of Cache Memories....Pages 233-249
Back Matter....Pages 251-251

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

دانلود کتاب まさか、汚部屋を卒業できるとは。

دانلود کتاب The MIDI Manual, Third Edition: A Practical Guide to MIDI in the Project Studio

دانلود کتاب 100 Selected Stories

دانلود کتاب It Seemed Like A Good Idea