Noname manuscript No. (will be inserted by the editor) Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and Deadlines Paul C. Bell, Prudence W.H. Wong

Source URL: cgi.csc.liv.ac.uk

• Scheduling
• Operations research
• Combinatorial optimization
• Mathematical optimization
• Multiprocessor scheduling
• NC
• Multi-core processor
• Randomized algorithm
• Algorithm

Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and Deadlines Paul C. Bell 1

Source URL: cgi.csc.liv.ac.uk

• Circuit complexity
• NC
• Multi-core processor

Online Semi-Partitioned Multiprocessor Scheduling of Soft Real-Time Periodic Tasks for QoS Optimization By: Behnaz Sanati and Albert M. K. Cheng , April 11-14, 2016

Source URL: 2016.rtas.org

Utilizing Predictors for Efficient Thermal Management in Multiprocessor SoCs Ayse Kivilcim Coskun† Tajana Simunic Rosing† Kenny C. Gross‡

Source URL: seelab.ucsd.edu

• Physics
• Prediction
• Time series analysis
• State functions
• Continuum mechanics
• Heat transfer
• Physical quantities
• Temperature
• Branch predictor
• Autoregressivemoving-average model
• Thermodynamic temperature
• Forecasting

Modular Deductive Verification of Multiprocessor Hardware Designs Muralidaran Vijayaraghavan1 , Adam Chlipala1 , Arvind1 , and Nirav Dave2 1 MIT {vmurali,adamc,arvind}@csail.mit.edu

Source URL: plv.csail.mit.edu

• Computing
• Computer architecture
• Computer hardware
• Microprocessors
• Central processing unit
• IBM PC compatibles
• Instruction set architectures
• Microcomputers
• Program counter
• X86

MultiProcessor Specification Version 1.4 May 1997 THIS SPECIFICATION IS PROVIDED "AS IS" WITH NO WARRANTIES WHATSOEVER, INCLUDING ANY WARRANTY

Source URL: kos.enix.org

An Implementation Of Multiprocessor Linux This document describes the implementation of a simple SMP Linux kernel extension and how to use this to develop SMP Linux kernels for architectures other than the Intel MP v1.1

Source URL: kos.enix.org

The Semantics of Power and ARM Multiprocessor Machine Code Jade Alglave2 Anthony Fox1 Samin Ishtiaq3 Magnus O. Myreen1

Source URL: www0.cs.ucl.ac.uk

Russian Academy of Sciences Program Systems Institute Research Center for Multiprocessor Systems Programming Automation Laboratory The Refal Plus Programming System

Source URL: skif.pereslavl.ru