دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
دانلود کتاب 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
ویرایش: 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 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب 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، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و دومین کنفرانس بین‌المللی Ada-Europe در زمینه فناوری‌های نرم‌افزار قابل اعتماد، Ada-Europe 2017، در وین، اتریش، در ژوئن 2017 است.
15 اصلاح شده مقالات کامل ارائه شده با دقت بررسی و از بین 37 مورد ارسالی انتخاب شدند. آنها در بخش‌های موضوعی در مورد زمان‌های اجرا، ایمنی و امنیت، تأیید زمان، مدل‌های برنامه‌نویسی، آینده زبان‌های دارای تفکر ایمنی، انتقادی ترکیبی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.
The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.
فهرست مطالب
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
