دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
دانلود کتاب ساخت کامپایلر: بیستمین کنفرانس بین المللی، CC 2011، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2011، Saarbrücken، آلمان، 26 مارس تا 3 آوریل 2011 برگزار شد.
مشخصات کتاب
Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ویرایش: 1 نویسندگان: Martin Odersky (auth.), Jens Knoop (eds.) سری: Lecture Notes in Computer Science 6601 ISBN (شابک) : 3642198600, 9783642198601 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 321 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب ساخت کامپایلر: بیستمین کنفرانس بین المللی، CC 2011، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2011، Saarbrücken، آلمان، 26 مارس تا 3 آوریل 2011 برگزار شد.: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ساخت کامپایلر: بیستمین کنفرانس بین المللی، CC 2011، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2011، Saarbrücken، آلمان، 26 مارس تا 3 آوریل 2011 برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ساخت کامپایلر: بیستمین کنفرانس بین المللی، CC 2011، به عنوان بخشی از کنفرانس های مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2011، Saarbrücken، آلمان، 26 مارس تا 3 آوریل 2011 برگزار شد.
این کتاب مجموعه مقالات داوری بیستمین کنفرانس بین المللی ساخت کامپایلر، CC 2011، برگزار شده در زاربروکن، آلمان، 26 مارس تا 3 آوریل 2011، به عنوان بخشی از ETAPS 2011، کنفرانس های مشترک اروپایی در نظریه است. و تمرین نرم افزار
15 مقاله کامل اصلاح شده ارائه شده همراه با چکیده یک سخنرانی دعوت شده با دقت بررسی و از بین 52 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد کامپایل JIT و تولید کد، تجزیه و تحلیل برنامه، محاسبات و مفسرهای برگشت‌پذیر، موازی‌سازی و محاسبات با کارایی بالا، و توزیع وظایف و داده‌ها سازماندهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
The 15 revised full papers presented together with the abstract of one invited talk were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on JIT compilation and code generation, program analysis, reversible computing and interpreters, parallelism and high-performance computing, and task and data distribution.
فهرست مطالب
Front Matter....Pages -
Future-Proofing Collections: From Mutable to Persistent to Parallel....Pages 1-1
Dynamic Elimination of Overflow Tests in a Trace Compiler....Pages 2-21
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler....Pages 22-41
SSA-Based Register Allocation with PBQP....Pages 42-61
Probabilistic Points-to Analysis for Java....Pages 62-81
Faster Alias Set Analysis Using Summaries....Pages 82-103
JPure: A Modular Purity System for Java....Pages 104-123
Tainted Flow Analysis on e-SSA-Form Programs....Pages 124-143
Clean Translation of an Imperative Reversible Programming Language....Pages 144-163
Interpreter Instruction Scheduling....Pages 164-178
Actor-Based Parallel Dataflow Analysis....Pages 179-197
Using Disjoint Reachability for Parallelization....Pages 198-224
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures....Pages 225-245
Subregion Analysis and Bounds Check Elimination for High Level Arrays....Pages 246-265
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies....Pages 266-285
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL....Pages 286-305
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب La historia de Honduras
دانلود کتاب Mindful Somatic Awareness for Anxiety Relief
دانلود کتاب Walt Disney World and Orlando For Dummies 2006 (Walt Disney World and Orlando for Dummies)
دانلود کتاب La Violence de l'humanisme: Pourquoi nous faut-il persécuter les animaux ?
