دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
دانلود کتاب اندازه گیری ، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل خطا: پانزدهمین کنفرانس بین المللی GI / ITG ، MMB & DFT 2010 ، اسن ، آلمان ، 15 تا 17 مارس 2010. مجموعه مقالات
مشخصات کتاب
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings
دسته بندی: سخنرانی ها ، تک نگاری ها ویرایش: 1 نویسندگان: Philip Koopman, Justin Ray (auth.), Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb (eds.) سری: Lecture Notes in Computer Science 5987 : Programming and Software Engineering ISBN (شابک) : 3642121039, 9783642121036 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 333 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب اندازه گیری ، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل خطا: پانزدهمین کنفرانس بین المللی GI / ITG ، MMB & DFT 2010 ، اسن ، آلمان ، 15 تا 17 مارس 2010. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبکه های ارتباطی کامپیوتری، کاربردهای سیستم های اطلاعاتی (شامل اینترنت)، منطق و معانی برنامه ها، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اندازه گیری ، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل خطا: پانزدهمین کنفرانس بین المللی GI / ITG ، MMB & DFT 2010 ، اسن ، آلمان ، 15 تا 17 مارس 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اندازه گیری ، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل خطا: پانزدهمین کنفرانس بین المللی GI / ITG ، MMB & DFT 2010 ، اسن ، آلمان ، 15 تا 17 مارس 2010. مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین المللی GI/ITG در مورد "اندازه گیری، مدل سازی و ارزیابی سیستم های محاسباتی" و "قابلیت اطمینان و تحمل خطا" است که در اسن، آلمان، در مارس 2010 برگزار شد. مقالات کامل ارائه شده همراه با 5 مقاله ابزار و 2 سخنرانی دعوت شده به دقت بررسی و از بین 42 مورد ارسالی اولیه انتخاب شدند. این مقالات تمام جنبه‌های ارزیابی عملکرد و قابلیت اطمینان سیستم‌ها از جمله شبکه‌ها، معماری‌های کامپیوتری، سیستم‌های توزیع‌شده، نرم‌افزار، سیستم‌های مقاوم در برابر خطا و ایمن را پوشش می‌دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 15th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance", held in Essen, Germany, in March 2010. The 19 revised full papers presented together with 5 tool papers and 2 invited lectures were carefully reviewed and selected from 42 initial submissions. The papers cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.
فهرست مطالب
Front Matter....Pages -
Invited Talk Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways ....Pages 1-1
Invited Talk Green IT - The Power Saving Challenge and ICT Solutions ....Pages 2-2
In Memory of Dr. Gunter Bolch....Pages 3-7
Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration ....Pages 8-23
Software Reliability Assessment Based on the Evaluation of Operational Experience ....Pages 24-38
Clock Synchronization Issues in Multi-Cluster Time-Triggered Networks ....Pages 39-61
User-Perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic Groups....Pages 62-77
Effectiveness of Link Cost Optimization for IP Rerouting and IP Fast Reroute....Pages 78-90
Load Modeling and Generation for IP-Based Networks: A Unified Approach and Tool Support....Pages 91-106
Analyzing Energy Consumption in a Gossiping MAC Protocol....Pages 107-119
Defining and Measuring Performance Characteristics of Current Video Games....Pages 120-135
Traffic Properties, Client Side Cachability and CDN Usage of Popular Web Sites....Pages 136-150
Investigation of the Multimedia Adaptive Threshold Strategy for Mobile Integrated Services Networks....Pages 151-167
Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks....Pages 168-182
CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless Testbeds ....Pages 183-197
The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer System....Pages 198-211
Accuracy of Strong and Weak Comparisons for Network of Queues....Pages 212-226
Searching for Tight Performance Bounds in Feed-Forward Networks....Pages 227-241
An EM Algorithm for Markovian Arrival Processes Observed at Discrete Times....Pages 242-258
An Empirical Comparison of MAP Fitting Algorithms....Pages 259-273
Reducing the Cost of Generating APH-Distributed Random Numbers....Pages 274-286
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains....Pages 287-301
ResiLyzer: A Tool for Resilience Analysis in Packet-Switched Communication Networks....Pages 302-306
SyLaGen – An Extendable Tool Environment for Generating Load....Pages 307-310
ProFiDo – A Toolkit for Fitting Input Models....Pages 311-314
ProC/B for Networks: Integrated INET Models....Pages 315-318
DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS ....Pages 319-322
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Logic for computer science: foundations of automatic theorem proving
دانلود کتاب Report writing for data science in R
دانلود کتاب Logic in computer science: modelling and reasoning about systems
