دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Ugo Dal Lago, Paolo Parisen Toldin (auth.), Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.) سری: Lecture Notes in Computer Science 7177 : Programming and Software Engineering ISBN (شابک) : 9783642324949, 9783642324956 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 148 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
کلمات کلیدی مربوط به کتاب جنبه های اساسی و عملی تجزیه و تحلیل منابع: دومین کارگاه بین المللی ، FOPARA 2011 ، مادرید ، اسپانیا ، 19 مه 2011 ، مقالات منتخب تجدید نظر شده: عملکرد و ارزیابی سیستم، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامهها، مهندسی نرمافزار، زبانهای برنامهنویسی، کامپایلرها، مترجمان، محاسبات توسط دستگاههای انتزاعی
در صورت تبدیل فایل کتاب Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های اساسی و عملی تجزیه و تحلیل منابع: دومین کارگاه بین المللی ، FOPARA 2011 ، مادرید ، اسپانیا ، 19 مه 2011 ، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از داوری دومین کارگاه بین المللی جنبه های بنیادی و عملی تجزیه و تحلیل منابع، FOPARA 2011 است که در مادرید، اسپانیا، در ماه مه 2011 برگزار شد. 8 مقاله کامل اصلاح شده با دقت بررسی و انتخاب شدند. مقالات ارائه شده در کارگاه و مقالات ارسال شده پس از فراخوان آزاد برای مشارکت پس از کارگاه. مقالات در بخشهای موضوعی زیر سازماندهی شدهاند: پیچیدگی ضمنی، تجزیه و تحلیل و تأیید عبارات هزینه، و تحلیل زمان اجرا در بدترین حالت.
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.
Front Matter....Pages -
A Higher-Order Characterization of Probabilistic Polynomial Time....Pages 1-18
Typing a Core Binary-Field Arithmetic in a Light Logic....Pages 19-35
Interpolation-Based Height Analysis for Improving a Recurrence Solver....Pages 36-53
Interval-Based Resource Usage Verification: Formalization and Prototype....Pages 54-71
Certifying and Reasoning on Cost Annotations of Functional Programs....Pages 72-89
On Abstractions for Timing Analysis in the $\\mathbb{K}$ Framework....Pages 90-107
Certifying Execution Time....Pages 108-125
Counter Automata for Parameterised Timing Analysis of Box-Based Systems....Pages 126-141
Back Matter....Pages -