دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب COMPUTER PERFORMANCE ENGINEERING : 14th european workshop, epew 2017
دانلود کتاب مهندسی عملکرد کامپیوتر: چهاردهمین کارگاه اروپایی، epew 2017
مشخصات کتاب
COMPUTER PERFORMANCE ENGINEERING : 14th european workshop, epew 2017
ویرایش: سری: ISBN (شابک) : 9783319665832, 9783319665825 ناشر: SPRINGER INTERNATIONAL PU سال نشر: 2017 تعداد صفحات: 306 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب مهندسی عملکرد کامپیوتر: چهاردهمین کارگاه اروپایی، epew 2017: علوم کامپیوتر، خرابی های سیستم کامپیوتری، مهندسی نرم افزار، منطق کامپیوتر، آمار ریاضی، هوش مصنوعی، شبیه سازی کامپیوتری، علوم کامپیوتر، عملکرد و ارزیابی سیستم، احتمالات و آمار در علوم کامپیوتر، منطق و معانی برنامه ها، مهندسی نرم افزار، شبیه سازی و مدل سازی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب COMPUTER PERFORMANCE ENGINEERING : 14th european workshop, epew 2017 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی عملکرد کامپیوتر: چهاردهمین کارگاه اروپایی، epew 2017 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی عملکرد کامپیوتر: چهاردهمین کارگاه اروپایی، epew 2017
این کتاب مجموعه مقالات داوری چهاردهمین کارگاه اروپایی مهندسی
عملکرد کامپیوتر، EPEW 2017، در برلین، آلمان، در سپتامبر 2017
است.
18 مقاله ارائه شده همراه با چکیده دو سخنرانی دعوت شده در این
جلد از بین 30 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات
ارائه شده در کارگاه منعکس کننده تنوع مهندسی عملکرد مدرن، با
موضوعاتی از پیشرفت در مدل های مارکوف است. پیشرفت در تجزیه و
تحلیل کمی؛ بررسی مدل؛ و سیستم های فیزیکی-سایبری به عملکرد،
انرژی و امنیت.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th
EuropeanWorkshop on Computer Performance Engineering, EPEW
2017, held in Berlin,Germany, in September 2017.
The 18 papers presented together with the abstracts of two
invited talks in this volume were carefully reviewed and
selected from 30 submissions. The papers presented at the
workshop reflect the diversity of modern
performanceengineering, with topics ranging from advances in
Markov models; advances in quantitative analysis; model
checking; and cyber-physical systems to performance, energy
and security.
فهرست مطالب
Front Matter ....Pages I-XVI
Front Matter ....Pages 1-1
Analysis of Markov Decision Processes Under Parameter Uncertainty (Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch)....Pages 3-18
Bounded Aggregation for Continuous Time Markov Decision Processes (Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch)....Pages 19-32
Interactive Markovian Equivalence (Arpit Sharma)....Pages 33-49
Front Matter ....Pages 51-51
Delay Analysis of Resequencing Buffer in Markov Environment with HOQ-FIFO-LIFO Policy (Rostislav Razumchik, Miklós Telek)....Pages 53-68
Analysis of Timed Properties Using the Jump-Diffusion Approximation (Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Jeremy Sproston)....Pages 69-84
Stability Analysis of a Multiclass Retrial System with Coupled Orbit Queues (Evsey Morozov, Ioannis Dimitriou)....Pages 85-98
Front Matter ....Pages 99-99
Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra (Adrian Godde, Anne Remke)....Pages 101-116
A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking (Ulrich Vogl, Markus Siegle)....Pages 117-132
Front Matter ....Pages 133-133
Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study (Karl Meinke)....Pages 135-151
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines (Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario)....Pages 152-166
Front Matter ....Pages 167-167
Machine Learning Models for Predicting Timely Virtual Machine Live Migration (Osama Alrajeh, Matthew Forshaw, Nigel Thomas)....Pages 169-183
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components (Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico)....Pages 184-198
Analysis of Performance and Energy Consumption in the Cloud (Mehdi Kandi, Farah Aït-Salaht, Hind Castel-Taleb, Emmanuel Hyon)....Pages 199-213
Deriving Power Models for Architecture-Level Energy Efficiency Analyses (Christian Stier, Dominik Werle, Anne Koziolek)....Pages 214-229
ADaCS: A Tool for Analysing Data Collection Strategies (John C. Mace, Nipun Thekkummal, Charles Morisset, Aad Van Moorsel)....Pages 230-245
Front Matter ....Pages 247-247
Improving ZooKeeper Atomic Broadcast Performance by Coin Tossing (Ibrahim EL-Sanosi, Paul Ezhilchelvan)....Pages 249-265
Modelling and Analysis of Commit Protocols with PEPA (Said Naser Said Kamil, Nigel Thomas)....Pages 266-281
Stochastic Models for Solar Power (Dimitra Politaki, Sara Alouf)....Pages 282-297
Back Matter ....Pages 299-299
نظرات کاربران
کتاب های تصادفی
دانلود کتاب UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization
دانلود کتاب Power in the Portrayal: Representations of Jews and Muslims in Eleventh- and Twelfth-Century Islamic Spain.
دانلود کتاب Beyond Eurocentrism and Anarchy: Memories of International Order and Institutions (Culture and Religion in International Relations)
دانلود کتاب Take Control of Scrivener 3
