دانلود کتاب Concepts, Design, and Performance Analysis of a Parallel Prolog Machine (به فارسی: مفاهیم، طراحی و تجزیه و تحلیل عملکرد یک ماشین پرولوگ موازی) نوشته شده توسط «Joachim Beer (auth.)»
اطلاعات کتاب مفاهیم، طراحی و تجزیه و تحلیل عملکرد یک ماشین پرولوگ موازی
موضوع اصلی: فن آوری
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Joachim Beer (auth.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1989
تعداد صفحه: 132
حجم کتاب: 2 مگابایت
کد کتاب: 3540520538 , 9783540520535
نوبت چاپ: 1
توضیحات کتاب مفاهیم، طراحی و تجزیه و تحلیل عملکرد یک ماشین پرولوگ موازی
این تک نگاری یک مدل اجرای جدید برای اجرای موازی پرولوگ متوالی استاندارد ارائه می دهد. در این مدل اجرا، فراخوانی‌های رویه Prolog را می‌توان به طور موثر خط لوله کرد، و نویسنده نشان می‌دهد که چگونه حتی برنامه‌های Prolog کاملاً قطعی می‌توانند به طور مؤثر بر روی معماری پیشنهادی نگاشت شوند. این طراحی بر اساس یک مجموعه دستورالعمل خاص Prolog انتزاعی بسیار بهینه شده است. یکی از ویژگی های این کار یک طرح طبقه بندی پیچیده برای متغیرهای Prolog است که به طور قابل ملاحظه ای سربار برای یکسان سازی با رخداد بررسی را کاهش می دهد. برای پشتیبانی از مدل، یک معماری متشکل از یک خط لوله دایره ای از پردازنده های مستقل طراحی شده است. این خط لوله برای کار به عنوان یک پردازشگر مشترک برای یک ایستگاه کاری مبتنی بر یونیکس طراحی شده است. برخلاف سایر تلاش‌ها برای اجرای پرولوگ متوالی به‌طور موازی، مدل پیشنهادی استفاده از هیچ یک از ویژگی‌های زبان استاندارد Prolog را محدود نمی‌کند. این کتاب شرح کاملی از مدل اجرا، معماری سیستم و مجموعه دستورات انتزاعی Prolog ارائه می‌دهد.
This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author shows how even fully deterministic Prolog programs can be effectively mapped onto the proposed architecture. The design is based on a highly optimized abstract Prolog specific instruction set. A special feature of this work is a sophisticated classification scheme for Prolog variables which substantially reduces the overhead for unification with occur-check. To support the model an architecture consisting of a circular pipeline of independent processors has been designed. This pipeline has been designed to work as a co-processor to a UNIX based workstation. In contrast to other attempts to execute sequential Prolog in parallel, the proposed model does not restrict the use of any of the standard Prolog language features. The book gives a full account of the execution model, the system architecture, and the abstract Prolog instruction set.
دانلود کتاب «مفاهیم، طراحی و تجزیه و تحلیل عملکرد یک ماشین پرولوگ موازی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.