• فهرست شکل‌ها (7)
• فهرست جدول‌ها (9)
• مقدمه (11)
  • بررسی اجمالی روش‌های مدیریت دما (14)
  • حوزه پژوهش و نوآوری‌های انجام شده (18)
  • ساختار پایان‌نامه (20)
• مطالب پیش‌زمینه (21)
  • مدل‌سازی دمای پردازنده (21)
  • شناسایی سامانه (25)
  • معرفی فیلتر‌های انطباق‌پذیر (28)
    • فیلتر کمترین میانگین مربعات (29)
    • فیلتر کالمن (30)
    • فیلتر کمترین مربعات بازگشتی (31)
  • کنترل‌کننده مبتنی بر مدل پیش‌گویانه (32)
• کارهای پیشین (37)
  • روش‌های مبتنی‌بر یادگیری ماشین (37)
  • روش مبتنی بر بهینه‌سازی غیرخطی (38)
  • پیش‌بینی برخط دما براساس سری‌زمانی (39)
  • بکارگیری کنترل‌کننده PID (40)
  • استفاده از بهینه‌سازی چند مولفه‌ای (41)
  • روش‌های مبتنی ‌بر برنامه‌ریزی عددی (43)
  • روش‌های مبتنی‌بر مهاجرت وظایف (44)
  • زمان‌بندی وظایف بی‌درنگ به صورت برون‌خط (45)
  • استفاده از الگوریتم خرید و فروش (46)
  • روش‌های مبتنی بر کنترل بهینه (46)
  • روش‌های مبتنی بر کنترل‌کننده MPC (47)
• مدل‌سازی و تعریف مسئله (51)
  • مدل‌سازی سامانه (51)
    • مدل وظایف و زمان‌بند (52)
    • مدل بهره‌وری (54)
    • مدل توان مصرفی (56)
    • مدل دما (58)
  • تعریف مسئله (60)
• روش پیشنهادی (63)
  • کنترل بهره‌وری پردازنده با رعایت محدودیت دما (66)
    • تبدیل مسئله به فرم کانونی بهینه‌سازی محدب (70)
    • تحلیل پایداری (75)
  • کنترل‌ پذیرش (76)
  • کنترل‌کننده‌ جایگشت بارکاری (83)
• ابزار شبیه‌سازی و پیاده‌سازی (93)
  • معرفی ابزار GET-PAT (93)
    • آشنایی با شبیه‌ساز GEM5 (94)
    • آشنایی با شبیه‌ساز McPAT (95)
    • آشنایی با شبیه‌ساز HotSpot (97)
    • پیاده‌سازی شبیه‌ساز GET-PAT (98)
  • معرفی ابزار teartsCAT (100)
  • پیاده‌سازی روش پیشنهادی (104)
  • نحوه‌ی تولید بارکاری (105)
• نتایج شبیه‌سازی (109)
  • نتایج اولیه (109)
    • مدل‌سازی برخط (110)
    • کنترل‌کننده TAU-MPC و کنترل‌کننده پذیرش (111)
  • مقایسه (114)
  • محاسبه‌ی سربار زمان اجرا (118)
• نتیجه‌گیری (121)
• مراجع (124)
• واژه‌نامه انگلیسی به فارسی (130)
• واژه‌نامه فارسی به انگلیسی (135)