دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Hans Daduna, Lars Peter Saul (auth.), Jens B. Schmitt (eds.) سری: Lecture Notes in Computer Science 7201 Programming and Software Engineering ISBN (شابک) : 9783642285400, 3642285406 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 343 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب اندازه گیری، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل گسل: 16th International GI / ITG Conference، MMB & amp؛ DFT 2012، Kaiserslautern، Germany، 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 می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اندازه گیری، مدل سازی و ارزیابی سیستم های محاسباتی و قابلیت اطمینان و تحمل گسل: 16th International GI / ITG Conference، MMB & amp؛ DFT 2012، Kaiserslautern، Germany، 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 -