دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
دانلود کتاب اندازه گیری ، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل خطا: شانزدهمین کنفرانس بین المللی GI / ITG ، MMB & DFT 2012 ، Kaiserslautern ، آلمان ، 19-21 مارس 2012. مجموعه مقالات
مشخصات کتاب
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Hans Daduna, Lars Peter Saul (auth.), Jens B. Schmitt (eds.) سری: Lecture Notes in Computer Science 7201 ISBN (شابک) : 3642285392, 9783642285394 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 343 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب اندازه گیری ، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل خطا: شانزدهمین کنفرانس بین المللی GI / ITG ، MMB & DFT 2012 ، Kaiserslautern ، آلمان ، 19-21 مارس 2012. مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبکه های ارتباطی کامپیوتری، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، منطق و معانی برنامه ها، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اندازه گیری ، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل خطا: شانزدهمین کنفرانس بین المللی GI / ITG ، MMB & DFT 2012 ، Kaiserslautern ، آلمان ، 19-21 مارس 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اندازه گیری ، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل خطا: شانزدهمین کنفرانس بین المللی GI / ITG ، MMB & DFT 2012 ، Kaiserslautern ، آلمان ، 19-21 مارس 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بین‌المللی
GI/ITG در مورد اندازه‌گیری، مدل‌سازی و ارزیابی سیستم‌های
محاسباتی و قابلیت اطمینان و تحمل خطا، MMB & DFT 2012 است که
در کایزرسلاوترن، آلمان، در مارس 2012 برگزار شد.
16 مقاله کامل اصلاح شده ارائه شده همراه با 5 مقاله ابزار و 5
مقاله منتخب کارگاهی به دقت بررسی و از بین 54 مقاله ارسالی
انتخاب شدند. MMB & DFT 2012 جنبه‌های متنوعی از ارزیابی عملکرد
و قابلیت اطمینان سیستم‌ها از جمله شبکه‌ها، معماری‌های
کامپیوتری، سیستم‌های توزیع‌شده، نرم‌افزار، سیستم‌های مقاوم به
خطا و ایمن را پوشش می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 16th
International GI/ITG Conference on Measurement, Modeling and
Evaluation of Computing Systems and Dependability and Fault
Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany,
in March 2012.
The 16 revised full papers presented together with 5 tool
papers and 5 selected workshop papers were carefully reviewed
and selected from 54 submissions. MMB & DFT 2012 covers
diverse aspects of performance and dependability evaluation
of systems including networks, computer architectures,
distributed systems, software, fault-tolerant and secure
systems.
فهرست مطالب
Front Matter....Pages -
Availability in Large Networks: Global Characteristics from Local Unreliability Properties....Pages 1-15
Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search....Pages 16-30
Bounds for Two-Terminal Network Reliability with Dependent Basic Events....Pages 31-45
Software Reliability Testing Covering Subsystem Interactions....Pages 46-60
Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis....Pages 61-75
A Calculus for SLA Delay Properties....Pages 76-90
Verifying Worst Case Delays in Controller Area Network....Pages 91-105
Lifetime Improvement by Battery Scheduling....Pages 106-120
Weighted Probabilistic Equivalence Preserves ω -Regular Properties....Pages 121-135
Probabilistic CSP: Preserving the Laws via Restricted Schedulers....Pages 136-150
Heuristics for Probabilistic Timed Automata with Abstraction Refinement....Pages 151-165
Simulative and Analytical Evaluation for ASD-Based Embedded Software....Pages 166-181
Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems....Pages 182-196
Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack Optimizations....Pages 197-205
Business Driven BCM SLA Translation for Service Oriented Systems....Pages 206-220
Boosting Design Space Explorations with Existing or Automatically Learned Knowledge....Pages 221-235
IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring....Pages 236-239
A Workbench for Internet Traffic Analysis....Pages 240-243
A Modelling and Analysis Environment for LARES ....Pages 244-248
Simulation and Statistical Model Checking for Modestly Nondeterministic Models....Pages 249-252
UniLoG: A Unified Load Generation Tool....Pages 253-257
Non Preemptive Static Priority with Network Calculus: Enhancement....Pages 258-272
A Demand-Response Calculus with Perfect Batteries....Pages 273-287
A Formal Definition and a New Security Mechanism of Physical Unclonable Functions....Pages 288-301
Modeling and Analysis of a P2P-VoD System Based on Stochastic Network Calculus....Pages 302-316
Using NFC Phones for Proving Credentials....Pages 317-330
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Advanced Topics in Computational Partial Differential Equations: Numerical Methods and Diffpack Programming
دانلود کتاب Programming 32-bit Microcontrollers in C. Exploring the PIC32
دانلود کتاب Professional Python
دانلود کتاب Practical Software Architecture: Moving from System Context to Deployment
دانلود کتاب Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
دانلود کتاب Automata, Languages and Programming: 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
دانلود کتاب Go Systems Programming
