دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
دانلود کتاب تایید و ارزیابی سیستم های کامپیوتری و ارتباطی: سیزدهمین کنفرانس بین المللی، VECoS 2019، پورتو، پرتغال، 9 اکتبر 2019، مجموعه مقالات
مشخصات کتاب
Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
ویرایش: 1st ed. 2019
نویسندگان: Pierre Ganty. Mohamed Kaâniche
سری: Lecture Notes in Computer Science 11847
ISBN (شابک) : 9783030350918, 9783030350925
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: 122
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 39,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تایید و ارزیابی سیستم های کامپیوتری و ارتباطی: سیزدهمین کنفرانس بین المللی، VECoS 2019، پورتو، پرتغال، 9 اکتبر 2019، مجموعه مقالات: علوم کامپیوتر، سازماندهی سیستم های کامپیوتری و شبکه های ارتباطی، مهندسی نرم افزار، حرفه محاسبات، منطق و معانی برنامه ها، مدیریت پایگاه داده، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تایید و ارزیابی سیستم های کامپیوتری و ارتباطی: سیزدهمین کنفرانس بین المللی، VECoS 2019، پورتو، پرتغال، 9 اکتبر 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تایید و ارزیابی سیستم های کامپیوتری و ارتباطی: سیزدهمین کنفرانس بین المللی، VECoS 2019، پورتو، پرتغال، 9 اکتبر 2019، مجموعه مقالات
این کتاب مجموعه مقالات سیزدهمین کنفرانس بین‌المللی راستی‌آزمایی و ارزیابی سیستم‌های رایانه‌ای و ارتباطی (VECoS 2019) است که در پورتو، پرتغال، در اکتبر 2019 برگزار شد.
7 کامل. مقالات این جلد، همراه با دو سخنرانی دعوت شده ارائه شده است، به دقت بررسی و از بین 13 مورد ارسالی انتخاب شده است.
هدف کنفرانس VECoS گرد هم آوردن محققان و دست اندرکاران در زمینه های راستی آزمایی، کنترل، عملکرد است. و ارزیابی قابلیت اطمینان به منظور بحث در مورد وضعیت هنر و چالش‌ها در کامپیوترهای مدرن و سیستم‌های ارتباطی که در آن ویژگی‌های عملکردی و فرا عملکردی به شدت به هم مرتبط هستند. بنابراین، انگیزه اصلی VECoS تشویق لقاح متقابل بین روش‌ها، روش‌ها و تکنیک‌های مختلف تأیید و ارزیابی رسمی، و به‌ویژه آن‌هایی است که برای سیستم‌های سخت‌افزاری/نرم‌افزاری همزمان و توزیع‌شده توسعه یافته‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 13th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2019), held in Porto, Portugal, in October 2019.
The 7 full papers in this volume, presented together with two invited talks, were carefully reviewed and selected from 13 submissions.
The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
فهرست مطالب
Front Matter ....Pages i-xiii
Modeling Concurrent Behaviors as Words (Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho)....Pages 1-15
Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems (Ayman Aljarbouh)....Pages 16-31
Static Detection of Event-Driven Races in HTML5-Based Mobile Apps (Phi Tuong Lau)....Pages 32-46
Analysing Security Protocols Using Scenario Based Simulation (Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon)....Pages 47-62
Running on Fumes (Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey)....Pages 63-78
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules (Philippe Glanon, Selma Azaiez, Chokri Mraidha)....Pages 79-94
Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems (Yves Mouafo Tchinda, Annie Choquet-Geniet, Gaëlle Largeteau-Skapin)....Pages 95-109
Back Matter ....Pages 111-111
