توضیحات
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 142): Renaud Marlet
Chapter 2 Specialization Techniques (pages 4370): Renaud Marlet
Chapter 3 Offline Specialization (pages 71116): Renaud Marlet
Chapter 4 A Specializer for C: Tempo (pages 117144): Renaud Marlet
Chapter 5 Applications of Specialization (pages 145184): Renaud Marlet
Chapter 6 Precision of Program Analysis (pages 185220): Renaud Marlet
Chapter 7 Reification: From a Value to a Term (pages 221248): Renaud Marlet
Chapter 8 Specialization of Incomplete Programs (pages 249282): Renaud Marlet
Chapter 9 Exploitation of Specialization (pages 283308): Renaud Marlet
Chapter 10 Incremental Runtime Specialization (pages 309342): Renaud Marlet
Chapter 11 Data Specialization (pages 343392): Renaud Marlet
Chapter 12 Scientific Perspectives (pages 393420): Renaud Marlet
Chapter 13 Conclusion: From Prototype to Product (pages 421434): Renaud Marlet
————————————————————–
ترجمه ماشینی :
این کتاب اصول و تکنیک های تخصصی برنامه ? یک روش کلی برای سریعتر کردن برنامه ها (و احتمالاً کوچکتر) زمانی که برخی از ورودی ها از قبل شناخته شده باشند. به عنوان مثال، معماری Tempo را توصیف می کند، یک متخصص برنامه آفلاین برای C که می تواند کد را در زمان اجرا نیز تخصصی کند، و ارقامی را برای برنامه های کاربردی در حوزه های مختلف ارائه می دهد. جزئیات فنی به مسائل مربوط به دقت تجزیه و تحلیل برنامه، واقعی سازی ارزش، تخصص ناقص برنامه، استراتژی های بهره برداری از برنامه های تخصصی، تخصص افزایشی و تخصص داده ها می پردازد. این کتاب که هم محققان و هم مهندسان نرمافزار را هدف قرار میدهد، دیدگاههای علمی و صنعتی را نیز باز میکند. محتوا:
فصل 1 اصول اصلی تخصص برنامه (صفحههای 142): رنو مارلت
فصل 2 تکنیکهای تخصصی (صفحات 4370): رنو Marlet
فصل 3 تخصص آفلاین (صفحات 71116): Renaud Marlet
فصل 4 A Specializer for C: Tempo (صفحات 117144): Renaud Marlet
فصل 5 کاربردهای تخصصی (صفحات 145184): Renaud Marlet
فصل 6 دقت تجزیه و تحلیل برنامه (صفحات 185220): Renaud Marlet
فصل 7 اصلاح: از یک ارزش تا یک اصطلاح (صفحات 221248): Renaud Marlet
فصل 8 تخصص برنامه های ناقص (صفحات 249282): Renaud Marlet
فصل 9 بهره برداری از تخصص (صفحات 283308): Renaud Marlet
فصل 10 تخصص افزایشی زمان اجرا (صفحات 309342): Renaud Marlet
فصل 11 تخصص داده ها (صفحات 343392): Renaudapter Marlet
Chapter 10 دیدگاه ها (صفحات 393420): رنو مارلت
فصل 13 نتیجه گیری: از نمونه اولیه تا محصول (صفحات 421434): رنو مارلت
tag : دانلود کتاب تخصص برنامه , Download تخصص برنامه , دانلود تخصص برنامه , Download Program Specialization Book , تخصص برنامه دانلود , buy تخصص برنامه , خرید کتاب تخصص برنامه , دانلود کتاب Program Specialization , کتاب Program Specialization , دانلود Program Specialization , خرید Program Specialization , خرید کتاب Program Specialization ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.