A Pipelined Multi-core Mips Machine Hardware Implementation And Correctness Proo - Mikhail Kovalev - Paperback - en Book

٢٨٩٫٠٠ ر.س.‏
+ ١١١٫٩٩ ر.س.‏ الشحن

A Pipelined Multi-core Mips Machine Hardware Implementation And Correctness Proo - Mikhail Kovalev - Paperback - en Book

البائع:
  • product image

٢٨٩٫٠٠ ر.س.‏

في المخزون
+ ١١١٫٩٩ ر.س.‏ الشحن

سياسة الإرجاع لمدة 14 يوما

طرق الدفع:

  • العلامة التجارية: Unbranded

الوصف

A Pipelined Multi-core Mips Machine Hardware Implementation And Correctness Proo - Mikhail Kovalev - Paperback - en Book

This Monograph Is Based On The Third Author's Lectures On Computer Architecture, Given In The Summer Semester 2013 At Saarland University, Germany. It Contains A Gate Level Construction Of A Multi-core Machine With Pipelined Mips Processor Cores And A Sequentially Consistent Shared Memory.the Book Contains The First Correctness Proofs For Both The Gate Level Implementation Of A Multi-core Processor And Also Of A Cache Based Sequentially Consistent Shared Memory. This Opens The Way To The Formal Verification Of Synthesizable Hardware For Multi-core Processors In The Future.constructions Are In A Gate Level Hardware Model And Thus Deterministic.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: en
  • المؤلف: Mikhail Kovalev
  • الطول: 364
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 490582810-1013632908
  • ISBN: 9783319139050

توصيل

يُرسل خلال 24 ساعة

  • STANDARD: ١١١٫٩٩ ر.س.‏ - التسليم بين الأربعاء 12 أغسطس 2026 – الاثنين 17 أغسطس 2026

يُشحن من المملكة المتحدة.

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة