دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
دانلود کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: پانزدهمین کنفرانس بین المللی ، VMCAI 2014 ، سن دیگو ، کالیفرنیا ، ایالات متحده ، 19-21 ژانویه ، 2014 ، مجموعه مقالات
مشخصات کتاب
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
ویرایش: 1 نویسندگان: Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.) سری: Lecture Notes in Computer Science 8318 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642540127, 9783642540134 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2014 تعداد صفحات: 507 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: پانزدهمین کنفرانس بین المللی ، VMCAI 2014 ، سن دیگو ، کالیفرنیا ، ایالات متحده ، 19-21 ژانویه ، 2014 ، مجموعه مقالات: منطق و معانی برنامه ها، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: پانزدهمین کنفرانس بین المللی ، VMCAI 2014 ، سن دیگو ، کالیفرنیا ، ایالات متحده ، 19-21 ژانویه ، 2014 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید ، بررسی مدل ، و تفسیر چکیده: پانزدهمین کنفرانس بین المللی ، VMCAI 2014 ، سن دیگو ، کالیفرنیا ، ایالات متحده ، 19-21 ژانویه ، 2014 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین المللی تأیید، بررسی مدل و تفسیر چکیده، VMCAI 2014 است که در سن دیگو، کالیفرنیا، ایالات متحده آمریکا، در ژانویه 2013 برگزار شد. 25 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و انتخاب شدند. از 64 ارسال این مقالات طیف گسترده ای از موضوعات از جمله تأیید برنامه، بررسی مدل، تفسیر انتزاعی و حوزه های انتزاعی، ترکیب برنامه، تجزیه و تحلیل استاتیک، سیستم های نوع، روش های قیاسی، گواهی برنامه، تکنیک های اشکال زدایی، تبدیل برنامه، بهینه سازی، سیستم های ترکیبی و سایبری-فیزیکی را پوشش می دهند. .
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
فهرست مطالب
Front Matter....Pages -
SAT-Based Synthesis Methods for Safety Specs....Pages 1-20
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs....Pages 21-38
Relational Thread-Modular Static Value Analysis by Abstract Interpretation....Pages 39-58
Timing Analysis of Parallel Software Using Abstract Execution....Pages 59-77
Doomsday Equilibria for Omega-Regular Games....Pages 78-97
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes....Pages 98-117
Probabilistic Automata for Safety LTL Specifications....Pages 118-136
Refuting Heap Reachability....Pages 137-141
Cascade 2.0....Pages 142-160
A Logic-Based Framework for Verifying Consensus Algorithms....Pages 161-181
Verifying Array Programs by Transforming Verification Conditions....Pages 182-202
Weakest Precondition Synthesis for Compiler Optimizations....Pages 203-221
Message-Passing Algorithms for the Verification of Distributed Protocols....Pages 222-241
Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops....Pages 242-261
Parameterized Model Checking of Token-Passing Systems....Pages 262-281
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java....Pages 282-301
Generic Combination of Heap and Value Analyses in Abstract Interpretation....Pages 302-321
Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach....Pages 322-336
Practical Floating-Point Tests with Integer Code....Pages 337-356
Monitoring Parametric Temporal Logic....Pages 357-375
Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability....Pages 376-394
Modular Synthesis of Sketches Using Models....Pages 395-414
Synthesis with Identifiers....Pages 415-433
Synthesis for Polynomial Lasso Programs....Pages 434-452
Policy Iteration-Based Conditional Termination and Ranking Functions....Pages 453-471
Widening for Control-Flow....Pages 472-491
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب What Women Want--What Men Want: Why the Sexes Still See Love and Commitment So Differently
دانلود کتاب Initiation aux probabilites
دانلود کتاب Seven Slayers
دانلود کتاب Sirvientas asesinas
