دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
دانلود کتاب جنبه های بنیادی و عملی تجزیه و تحلیل منابع: چهارمین کارگاه بین المللی، FOPARA 2015، لندن، انگلستان، 11 آوریل 2015. مقالات منتخب اصلاح شده
مشخصات کتاب
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
ویرایش: 1
نویسندگان: Marko van Eekelen. Ugo Dal Lago (eds.)
سری: Lecture Notes in Computer Science 9964
ISBN (شابک) : 9783319465593, 9783319465586
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 135
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب جنبه های بنیادی و عملی تجزیه و تحلیل منابع: چهارمین کارگاه بین المللی، FOPARA 2015، لندن، انگلستان، 11 آوریل 2015. مقالات منتخب اصلاح شده: کاربردهای سیستم های اطلاعاتی (شامل اینترنت)، عملکرد و ارزیابی سیستم، احتمال و آمار در علوم کامپیوتر، منطق و معانی برنامه ها، مهندسی نرم افزار، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های بنیادی و عملی تجزیه و تحلیل منابع: چهارمین کارگاه بین المللی، FOPARA 2015، لندن، انگلستان، 11 آوریل 2015. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های بنیادی و عملی تجزیه و تحلیل منابع: چهارمین کارگاه بین المللی، FOPARA 2015، لندن، انگلستان، 11 آوریل 2015. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات چهارمین کارگاه بین‌المللی جنبه‌های بنیادی و عملی تجزیه و تحلیل منابع، FOPARA 2015 است که در لندن، انگلستان، در آوریل 2015 برگزار شد. .
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Men & the Boys
دانلود کتاب Rhetorical Criticism of the New Testament (Wissenschaftliche Untersuchungen zum Neuen Testament 128)
دانلود کتاب GAZ-51П
دانلود کتاب Building School-based Teacher Learning Communities: Professional Strategies to Improve Student Achievement (Series on School Reform)
