دانلود کتاب Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
دسته: برنامه نويسي
کتاب جنبه های اساسی و عملی تجزیه و تحلیل منابع: اولین کارگاه بین المللی، FOPARA 2009، آیندهوون، هلند، 6 نوامبر 2009، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب جنبه های اساسی و عملی تجزیه و تحلیل منابع: اولین کارگاه بین المللی، FOPARA 2009، آیندهوون، هلند، 6 نوامبر 2009، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
نام کتاب : Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : جنبه های اساسی و عملی تجزیه و تحلیل منابع: اولین کارگاه بین المللی، FOPARA 2009، آیندهوون، هلند، 6 نوامبر 2009، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 6324 : Programming and Software Engineering
نویسندگان : Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla (auth.), Marko van Eekelen, Olha Shkaravska (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 171
ISBN (شابک) : 3642153305 , 9783642153303
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری اولین کارگاه بین المللی جنبه های بنیادی و عملی تجزیه و تحلیل منابع، FOPARA 2009 است که در شانزدهمین سمپوزیوم بین المللی روش های رسمی، FM 2009، در آیندهوون، هلند، در نوامبر 2009 برگزار شد. مقالات به دقت بررسی و از بین 13 مشارکت ارائه پژوهشی و یک سخنرانی دعوت شده انتخاب شدند.
فهرست مطالب :
Front Matter....Pages -
Comparing Cost Functions in Resource Analysis....Pages 1-17
Improvements to a Resource Analysis for Hume....Pages 18-33
A Space Consumption Analysis by Abstract Interpretation....Pages 34-50
Global and Local Space Properties of Stream Programs....Pages 51-66
Characterising Effective Resource Analyses for Parallel and Distributed Coordination....Pages 67-83
Static Complexity Analysis of Higher Order Programs....Pages 84-99
Derivational Complexity Is an Invariant Cost Model....Pages 100-113
A Local Criterion for Polynomial-Time Stratified Computations....Pages 114-130
Non-deterministic Boolean Proof Nets....Pages 131-145
Polynomial Time Computation in the Context of Recursive Analysis....Pages 146-162
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. The 10 revised full papers were carefully reviewed and selected from 13 research presentation contributions and one invited lecture.