دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
دانلود کتاب مدل سازی و تحلیل رسمی سیستم های بهنگام: یازدهمین کنفرانس بین المللی ، FORMATS 2013 ، بوینس آیرس ، آرژانتین ، 29 تا 31 آگوست 2013. مجموعه مقالات
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
ویرایش: 1 نویسندگان: Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.) سری: Lecture Notes in Computer Science 8053 ISBN (شابک) : 9783642402289, 9783642402296 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 284 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب مدل سازی و تحلیل رسمی سیستم های بهنگام: یازدهمین کنفرانس بین المللی ، FORMATS 2013 ، بوینس آیرس ، آرژانتین ، 29 تا 31 آگوست 2013. مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، احتمالات و آمار در علوم کامپیوتر
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی و تحلیل رسمی سیستم های بهنگام: یازدهمین کنفرانس بین المللی ، FORMATS 2013 ، بوینس آیرس ، آرژانتین ، 29 تا 31 آگوست 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل سازی و تحلیل رسمی سیستم های بهنگام: یازدهمین کنفرانس بین المللی ، FORMATS 2013 ، بوینس آیرس ، آرژانتین ، 29 تا 31 آگوست 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2013، برگزار شده در بوئنوس آیرس، آرژانتین، در آگوست 2013 است. از بین 41 ارسال انتخاب شده است. این کتاب موضوعات مبانی و معناشناسی (مبانی نظری سیستم‌ها و زبان‌های زمان‌دار؛ مقایسه بین مدل‌های مختلف مانند اتوماتای زمان‌دار، شبکه‌های پتری زمان‌دار، اتوماتای ترکیبی، جبر فرآیند زمان‌دار، جبر حداکثر به علاوه، مدل‌های احتمالی) را پوشش می‌دهد. روش‌ها و ابزارها (تکنیک‌ها، الگوریتم‌ها، ساختارهای داده، و ابزارهای نرم‌افزاری برای تجزیه و تحلیل سیستم‌های زمان‌بندی‌شده و رفع محدودیت‌های زمانی، به‌عنوان مثال، زمان‌بندی، تحلیل زمان اجرا در بدترین حالت، بهینه‌سازی، بررسی مدل، آزمایش، حل محدودیت، و غیره)؛ برنامه های کاربردی (تطبیق و تخصصی شدن فناوری زمان بندی در حوزه های کاربردی که در آن زمان بندی نقش مهمی ایفا می کند، به عنوان مثال، نرم افزار بلادرنگ، مدارهای سخت افزاری، و مشکلات زمان بندی در تولید و مخابرات).
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th
International Conference on Formal Modeling and Analysis of
Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina,
in August 2013.
The 18 revised full papers presented were carefully reviewed
and selected from 41 submissions. The book covers topics of
foundations and semantics (theoretical foundations of timed
systems and languages; comparison between different models,
such as timed automata, timed Petri nets, hybrid automata,
timed process algebra, max-plus algebra, probabilistic
models); methods and Tools (techniques, algorithms, data
structures, and software tools for analyzing timed systems
and resolving temporal constraints, e.g., scheduling,
worst-case execution time analysis, optimization, model
checking, testing, constraint solving, etc.); applications
(adaptation and specialization of timing technology in
application domains in which timing plays an important role,
e.g., real-time software, hardware circuits, and problems of
scheduling in manufacturing and telecommunications).
فهرست مطالب
Front Matter....Pages -
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs....Pages 1-15
Spectral Gap in Timed Automata....Pages 16-30
Robust Weighted Timed Automata and Games....Pages 31-46
On MITL and Alternating Timed Automata....Pages 47-61
Predictability of Event Occurrences in Timed Systems....Pages 62-76
Transience Bounds for Distributed Algorithms....Pages 77-90
Back in Time Petri Nets....Pages 91-105
A Mechanized Semantic Framework for Real-Time Systems....Pages 106-120
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking....Pages 121-136
More or Less True DCTL for Continuous-Time MDPs....Pages 137-151
Incremental Language Inclusion Checking for Networks of Timed Automata....Pages 152-167
Nested Timed Automata....Pages 168-182
On Fixed Points of Strictly Causal Functions....Pages 183-197
Detecting Quasi-equal Clocks in Timed Automata....Pages 198-212
On the Verification of Timed Discrete-Event Models....Pages 213-227
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores....Pages 228-242
Confluence Reduction for Markov Automata....Pages 243-257
Optimal Control for Linear-Rate Multi-mode Systems....Pages 258-273
Back Matter....Pages -
