دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
دانلود کتاب ارزیابی کمی سیستم ها: سیزدهمین کنفرانس بین المللی ، QEST 2016 ، شهر کبک ، QC ، کانادا ، 23-25 آگوست 2016 ، مجموعه مقالات
مشخصات کتاب
Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
ویرایش: 1
نویسندگان: Gul Agha. Benny Van Houdt (eds.)
سری: Lecture Notes in Computer Science 9826
ISBN (شابک) : 9783319434254, 9783319434247
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 385
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب ارزیابی کمی سیستم ها: سیزدهمین کنفرانس بین المللی ، QEST 2016 ، شهر کبک ، QC ، کانادا ، 23-25 آگوست 2016 ، مجموعه مقالات: منطق و معانی برنامه ها، عملکرد و ارزیابی سیستم، احتمال و آمار در علوم کامپیوتر، محاسبات با دستگاه های انتزاعی، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ارزیابی کمی سیستم ها: سیزدهمین کنفرانس بین المللی ، QEST 2016 ، شهر کبک ، QC ، کانادا ، 23-25 آگوست 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ارزیابی کمی سیستم ها: سیزدهمین کنفرانس بین المللی ، QEST 2016 ، شهر کبک ، QC ، کانادا ، 23-25 آگوست 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات سیزدهمین کنفرانس بین المللی سیستم های ارزیابی کمی، QEST 2016 است که در شهر کبک، کانادا، در آگوست 2016 برگزار شد.
21 مقاله کامل و 3 ابزار نمایشی مقالات ارائه شده به دقت بررسی و از بین 46 مورد ارسالی انتخاب شدند. آنها در بخش های موضوعی با عنوان: فرآیندهای مارکوف سازماندهی شده اند. ابزار؛ روش های نمونه گیری، استنتاج و بهینه سازی؛ فرآیندهای تصمیم مارکوف و تحلیل مارکوفی. شبکه ها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.
The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.
فهرست مطالب
Front Matter....Pages I-XVII
Front Matter....Pages 1-1
Property-Driven State-Space Coarsening for Continuous Time Markov Chains....Pages 3-18
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes....Pages 19-34
Data-Efficient Bayesian Verification of Parametric Markov Chains....Pages 35-51
Front Matter....Pages 53-53
Exploiting Robust Optimization for Interval Probabilistic Bisimulation....Pages 55-71
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation....Pages 72-88
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets....Pages 89-104
Front Matter....Pages 105-105
Energy-Aware Server with SRPT Scheduling: Analysis and Optimization....Pages 107-122
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations....Pages 123-138
Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems....Pages 139-155
Front Matter....Pages 157-157
Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0....Pages 159-162
Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets....Pages 163-166
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems....Pages 167-171
Front Matter....Pages 173-173
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement....Pages 175-190
Inferring Covariances for Probabilistic Programs....Pages 191-206
Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses....Pages 207-223
Front Matter....Pages 225-225
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement....Pages 227-243
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent....Pages 244-259
Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis....Pages 260-276
Front Matter....Pages 277-277
A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE....Pages 279-294
Traffic Modeling with Phase-Type Distributions and VARMA Processes....Pages 295-310
Front Matter....Pages 277-277
An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing....Pages 311-328
Front Matter....Pages 329-329
Maintenance Analysis and Optimization via Statistical Model Checking....Pages 331-347
Performance Evaluation of Train Moving-Block Control....Pages 348-363
Decoupling Passenger Flows for Improved Load Prediction....Pages 364-379
Back Matter....Pages 381-382
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Practical Guide to Mentoring, Coaching and Peer-networking: Teacher Professional Development in Schools and Colleges
