دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
دانلود کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های بهنگام: هفتمین کنفرانس بین المللی ، FORMATS 2009 ، بوداپست ، مجارستان ، 14-16 سپتامبر 2009. مجموعه مقالات
مشخصات کتاب
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
ویرایش: 1 نویسندگان: Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.) سری: Lecture Notes in Computer Science 5813 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642043674, 9783642043673 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 300 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های بهنگام: هفتمین کنفرانس بین المللی ، FORMATS 2009 ، بوداپست ، مجارستان ، 14-16 سپتامبر 2009. مجموعه مقالات: منطق و معانی برنامه ها، نظریه محاسبات، مدل ها و اصول، دستکاری نمادین و جبری، زبان های برنامه نویسی، کامپایلر، مترجمان، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های بهنگام: هفتمین کنفرانس بین المللی ، FORMATS 2009 ، بوداپست ، مجارستان ، 14-16 سپتامبر 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل سازی رسمی و تجزیه و تحلیل سیستم های بهنگام: هفتمین کنفرانس بین المللی ، FORMATS 2009 ، بوداپست ، مجارستان ، 14-16 سپتامبر 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی مدل‌سازی و تحلیل رسمی سیستم‌های زمان‌بندی شده، FORMATS 2009، برگزار شده در بوداپست، مجارستان، سپتامبر 2009 است.
18 مقاله کامل اصلاح‌شده ارائه شده همراه با 4 سخنرانی دعوت شده به دقت بررسی و از بین 40 مورد ارسالی انتخاب شد. هدف FORMATS ترویج مطالعه جنبه های اساسی و عملی سیستم های زمان بندی شده و گرد هم آوردن محققانی از رشته های مختلف است که در مدل سازی و تجزیه و تحلیل سیستم های زمان بندی شده علایق مشترک دارند. /P>
– مبانی و معناشناسی. مبانی نظری سیستم‌ها و زبان‌های زمان‌دار؛ مقایسه بین مدل‌های مختلف (اتوماتای زمان‌دار، شبکه‌های پتری زمان‌دار، اتوماتای ترکیبی، جبر فرآیند زمان‌دار، جبر حداکثر پلاس، مدل‌های احتمالی).
– روش‌ها و ابزارها. تکنیک‌ها، الگوریتم‌ها، ساختار داده‌ها و ابزارهای نرم‌افزاری برای تجزیه و تحلیل سیستم‌های زمان‌بندی‌شده و رفع محدودیت‌های زمانی (برنامه‌ریزی، تجزیه و تحلیل زمان اجرا در بدترین حالت، بهینه‌سازی، بررسی مدل، آزمایش، حل محدودیت و غیره).
– برنامه های کاربردی. انطباق و تخصصی شدن فناوری زمان‌بندی در حوزه‌های کاربردی که زمان‌بندی نقش مهمی در آن ایفا می‌کند (نرم‌افزار بلادرنگ، مدارهای سخت‌افزاری و مشکلات زمان‌بندی در تولید و مخابرات).
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009.
The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to):
– Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between different models (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 (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 (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).
فهرست مطالب
Front Matter....Pages -
Tapas: T heory Combin a tions and P ractical A pplication s ....Pages 1-6
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games....Pages 7-11
Approximations of Discrete, Continuous, and Hybrid Systems....Pages 12-12
Volume and Entropy of Regular Timed Languages: Analytic Approach....Pages 13-27
Synthesis of Non-Interferent Timed Systems....Pages 28-42
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net....Pages 43-57
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis....Pages 58-72
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation....Pages 73-87
Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata....Pages 88-102
Safe Runtime Verification of Real-Time Properties....Pages 103-117
Removing All Silent Transitions from Timed Automata....Pages 118-132
Realizability of Real-Time Logics....Pages 133-148
Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata....Pages 149-163
Analyzing Real-Time Event-Driven Programs....Pages 164-178
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata....Pages 179-194
Compositional Abstraction for Stochastic Systems....Pages 195-211
Stochastic Games for Verification of Probabilistic Timed Automata....Pages 212-227
Checking Timed Büchi Automata Emptiness Using LU-Abstractions....Pages 228-242
On the Supports of Recognizable Timed Series....Pages 243-257
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction....Pages 258-274
Exploiting Timed Automata for Conformance Testing of Power Measurements....Pages 275-290
Back Matter....Pages -
