دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
دانلود کتاب تأیید زمان اجرا: سومین کنفرانس بین المللی ، RV 2012 ، استانبول ، ترکیه ، 25 تا 28 سپتامبر 2012 ، مقاله های منتخب اصلاح شده
مشخصات کتاب
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ویرایش: 1 نویسندگان: John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (eds.) سری: Lecture Notes in Computer Science 7687 Programming and Software Engineering ISBN (شابک) : 9783642356315, 9783642356322 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 330 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 50,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تأیید زمان اجرا: سومین کنفرانس بین المللی ، RV 2012 ، استانبول ، ترکیه ، 25 تا 28 سپتامبر 2012 ، مقاله های منتخب اصلاح شده: مهندسی نرم افزار، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید زمان اجرا: سومین کنفرانس بین المللی ، RV 2012 ، استانبول ، ترکیه ، 25 تا 28 سپتامبر 2012 ، مقاله های منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید زمان اجرا: سومین کنفرانس بین المللی ، RV 2012 ، استانبول ، ترکیه ، 25 تا 28 سپتامبر 2012 ، مقاله های منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل سومین کنفرانس بین المللی در مورد تأیید زمان اجرا، RV 2012، که در استانبول، ترکیه، در سپتامبر 2012 برگزار شد. 25 مقاله کامل اصلاح شده همراه با 3 مقاله دعوت شده و 2 آموزش ارائه شد. به دقت بررسی و از بین 50 مورد ارسالی انتخاب شد. این مقالات به طیف وسیعی از زبان‌ها و فرمالیسم‌های مشخصات برای ردیابی، استخراج مشخصات، ابزار دقیق برنامه، تکنیک‌های ساخت مانیتور، ثبت، ضبط و پخش مجدد، تشخیص خطا، محلی‌سازی، بازیابی و تعمیر، هدایت و تطبیق برنامه، معیارها و جمع‌آوری اطلاعات آماری می‌پردازند. ، ترکیبی از تجزیه و تحلیل استاتیک و پویا و تجسم اجرای برنامه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.
فهرست مطالب
Front Matter....Pages -
Dynamic Analyses for Data-Race Detection....Pages 1-1
Symbolic Execution....Pages 2-2
Dynamic Livelock Analysis of Multi-threaded Programs....Pages 3-18
Scalable Dynamic Partial Order Reduction....Pages 19-34
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level....Pages 35-41
PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors....Pages 42-47
It’s the End of the World as We Know It (And I Feel Fine)....Pages 48-48
Detecting Unread Memory Using Dynamic Binary Translation....Pages 49-63
Sparse Coding for Specification Mining and Error Localization....Pages 64-81
Sliding between Model Checking and Runtime Verification....Pages 82-87
Runtime Verification and Enforcement for Android Applications with RV-Droid....Pages 88-95
Temporal Monitors for TinyOS....Pages 96-109
Real-Time Runtime Verification on Chip....Pages 110-125
BabelTrace: A Collection of Transducers for Trace Validation....Pages 126-130
Quantitative Trace Analysis Using Extended Timing Diagrams....Pages 131-135
Maximal Causal Models for Sequentially Consistent Systems....Pages 136-150
Monitoring Compliance Policies over Incomplete and Disagreeing Logs....Pages 151-167
Adaptive Runtime Verification....Pages 168-182
Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications....Pages 183-183
MapReduce for Parallel Trace Validation of LTL Properties....Pages 184-198
Path-Aware Time-Triggered Runtime Verification....Pages 199-213
Fast-Forward Runtime Monitoring — An Industrial Case Study....Pages 214-228
Runtime Enforcement of Timed Properties....Pages 229-244
Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic....Pages 245-259
Rewrite-Based Statistical Model Checking of WMTL....Pages 260-275
From Runtime Verification to Runtime Intervention and Adaptation....Pages 276-276
Certifying Solutions for Numerical Constraints....Pages 277-291
Profiling Field Initialisation in Java....Pages 292-307
Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation....Pages 308-313
Incremental Runtime Verification of Probabilistic Systems....Pages 314-319
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Theories of Infant Development
دانلود کتاب Computer im Praktikum: Moderne physikalische Versuche
دانلود کتاب National Research Symposium on Geometric Analysis and Applications, ANU, June 26-30, 2000
دانلود کتاب That the People Might Live: Loss and Renewal in Native American Elegy
