دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Program Specialization
دانلود کتاب تخصص برنامه
مشخصات کتاب
Program Specialization
ویرایش:
نویسندگان: Renaud Marlet(auth.)
سری:
ISBN (شابک) : 9781848213999, 9781118576984
ناشر: Wiley-ISTE
سال نشر: 2012
تعداد صفحات: 550
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Program Specialization به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تخصص برنامه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تخصص برنامه
این کتاب اصول و تکنیک های تخصصی برنامه ? یک روش کلی برای
سریعتر کردن برنامه ها (و احتمالاً کوچکتر) زمانی که برخی از
ورودی ها از قبل شناخته شده باشند. به عنوان مثال، معماری Tempo
را توصیف می‌کند، یک متخصص برنامه آفلاین برای C که می‌تواند کد
را در زمان اجرا نیز تخصصی کند، و ارقامی را برای برنامه‌های
کاربردی در حوزه‌های مختلف ارائه می‌دهد. جزئیات فنی مسائل مربوط
به دقت تجزیه و تحلیل برنامه، واقعی سازی ارزش، تخصص برنامه ناقص،
استراتژی های بهره برداری از برنامه های تخصصی، تخصص افزایشی، و
تخصص داده ها را بررسی می کند. این کتاب که هم محققان و هم
مهندسان نرم‌افزار را مورد هدف قرار می‌دهد، دیدگاه‌های علمی و
صنعتی را نیز باز می‌کند. محتوا:
فصل 1 اصول اصلی تخصص برنامه (صفحات 1-42): رنو مارلت
فصل 2 تکنیک‌های تخصصی (صفحات 43-) 70): Renaud Marlet
فصل 3 تخصص آفلاین (صفحات 71-116): Renaud Marlet
فصل 4 A Specializer for C: Tempo (صفحات 117-144): Renaud
Marlet
فصل 5 کاربردهای تخصصی ( صفحات 145-184): Renaud Marlet
فصل 6 Precision of Program Analysis (صفحات 185-220): Renaud
Marlet
فصل 7 Reification: From a Value to a Term (صفحات 221-248):
Renaud Marlet
فصل 8 تخصصی برنامه های ناقص (صفحات 249-282): رنو مارلت
فصل 9 بهره برداری از تخصص (صفحات 283-308): رنو مارلت
فصل 10 تخصص افزایشی زمان اجرا (صفحه های 309-342): رناد
فصل 11 تخصص داده (صفحات 343-392): Renaud Marlet
فصل 12 دیدگاه های علمی (صفحات 393-420): Renaud Marlet
فصل 13 نتیجه گیری: از نمونه اولیه تا محصول (صفحه های 421-434):
رنو مارلت
توضیحاتی درمورد کتاب به خارجی
This book presents the principles and techniques of program
specialization ? a general method to make programs faster (and
possibly smaller) when some inputs can be known in advance. As
an illustration, it describes the architecture of Tempo, an
offline program specializer for C that can also specialize code
at runtime, and provides figures for concrete applications in
various domains. Technical details address issues related to
program analysis precision, value reification, incomplete
program specialization, strategies to exploit specialized
program, incremental specialization, and data specialization.
The book, that targets both researchers and software engineers,
also opens scientific and industrial
perspectives.Content:
Chapter 1 Main Principles of Program Specialization (pages
1–42): Renaud Marlet
Chapter 2 Specialization Techniques (pages 43–70): Renaud
Marlet
Chapter 3 Offline Specialization (pages 71–116): Renaud
Marlet
Chapter 4 A Specializer for C: Tempo (pages 117–144): Renaud
Marlet
Chapter 5 Applications of Specialization (pages 145–184):
Renaud Marlet
Chapter 6 Precision of Program Analysis (pages 185–220): Renaud
Marlet
Chapter 7 Reification: From a Value to a Term (pages 221–248):
Renaud Marlet
Chapter 8 Specialization of Incomplete Programs (pages
249–282): Renaud Marlet
Chapter 9 Exploitation of Specialization (pages 283–308):
Renaud Marlet
Chapter 10 Incremental Runtime Specialization (pages 309–342):
Renaud Marlet
Chapter 11 Data Specialization (pages 343–392): Renaud
Marlet
Chapter 12 Scientific Perspectives (pages 393–420): Renaud
Marlet
Chapter 13 Conclusion: From Prototype to Product (pages
421–434): Renaud Marlet
