دانلود کتاب Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
کتاب جنبه های بنیادی و عملی تجزیه و تحلیل منابع: چهارمین کارگاه بین المللی، FOPARA 2015، لندن، انگلستان، 11 آوریل 2015. مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب جنبه های بنیادی و عملی تجزیه و تحلیل منابع: چهارمین کارگاه بین المللی، FOPARA 2015، لندن، انگلستان، 11 آوریل 2015. مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
نام کتاب : Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : جنبه های بنیادی و عملی تجزیه و تحلیل منابع: چهارمین کارگاه بین المللی، FOPARA 2015، لندن، انگلستان، 11 آوریل 2015. مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 9964
نویسندگان : Marko van Eekelen, Ugo Dal Lago (eds.)
ناشر : Springer International Publishing
سال نشر : 2016
تعداد صفحات : 135
ISBN (شابک) : 9783319465593 , 9783319465586
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات چهارمین کارگاه بین المللی جنبه های بنیادی و عملی تجزیه و تحلیل منابع، FOPARA 2015 است که در لندن، انگلستان، در آوریل 2015 برگزار شد. 6 مقاله ارائه شده در این جلد به دقت بررسی و از 7 مورد ارسالی انتخاب شدند .
فهرست مطالب :
Front Matter....Pages I-IX
May-Happen-in-Parallel Analysis with Condition Synchronization....Pages 1-19
Using Dependent Types to Define Energy Augmented Semantics of Programs....Pages 20-39
Call-by-Value, Elementary Time and Intersection Types....Pages 40-59
Probabilistic Resource Analysis by Program Transformation....Pages 60-80
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR....Pages 81-100
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores....Pages 101-125
Back Matter....Pages 127-127
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
پست ها تصادفی