The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1

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

• Computing
• Computer architecture
• Software engineering
• X86 architecture
• Computer memory
• Low-level programming language
• Spinlock
• X86
• Assembly language
• Memory barrier
• Memory ordering
• Exit

SimSo http://projects.laas.fr/simso/ Simulation of Multiprocessor Scheduling with Overheads Simulation tool for

Source URL: www.control.lth.se

Evolving Scheduling Strategies for Multi-Processor Real-Time Systems Frank Feinbube, Max Plauth, Christian Kieschnick and Andreas Polze Operating Systems and Middleware Hasso Plattner Institute University of Potsdam, Ger

Source URL: www.mpi-sws.org

• Scheduling
• Operations research
• Computing
• Real-time computing
• Concurrent computing
• Planning
• Rate-monotonic scheduling
• Multiprocessor scheduling
• Schedule
• Multi-core processor
• Windows NT processor scheduling
• Algorithm

Journals 1. G. Cioffi, P. Velardi, A fully distributed arbiter for multiprocessor systems, Microprocessing and Microprogramming, vol 11 nP. Velardi, B. Ciciani, Recovery Blocks for Communicating Systems, Micr

Source URL: wwwusers.di.uniroma1.it

• Computational linguistics
• Natural language processing
• Linguistics
• Information science
• Semantics
• Semantic Web
• Knowledge representation
• Language
• Word-sense disambiguation
• Query expansion
• Ontology
• SemEval

Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and Deadlines! Paul C. Bell1 and Prudence W.H. Wong2 1 Department of Computer Science, Loughborough University.

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

• Computational complexity theory
• Scheduling
• Operations research
• Computer science
• Theory of computation
• Combinatorial optimization
• Mathematical optimization
• Parallel computing
• Multiprocessor scheduling
• NC
• Multi-core processor
• Randomized algorithm

Implementing Adaptive Clustered Scheduling in LITMUSRT Aaron Block William Kelley

Source URL: www.mpi-sws.org

• Scheduling
• Operations research
• Classes of computers
• Parallel computing
• Computer cluster
• Real-time computing
• Quality of service
• Multiprocessor scheduling
• Windows NT processor scheduling
• Multiprocessing
• Schedule
• SCHED DEADLINE

Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme A. Burns, R.I. Davis, P. Wang and F. Zhang Department of Computer Science, University of York, UK. Abstract—An EDF-based task-splitting scheme for sched

Source URL: www-users.cs.york.ac.uk

• Real-time computing
• Parallel computing
• Scheduling
• Concurrent computing
• Multi-core processor
• Real-time operating system
• Worst-case execution time
• Multiprocessor scheduling
• Task
• Process
• Computer multitasking
• Earliest deadline first scheduling

A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP A. Burns and A.J. Wellings Department of Computer Science,University of York,York, YO10 5GH, UK Abstract—Lock-based resource sharing protocols

Source URL: www-users.cs.york.ac.uk

• Concurrency control
• Real-time computing
• Priority inversion
• Priority ceiling protocol
• Real-time operating system
• Stack Resource Policy
• Scheduling
• Semaphore
• Non-blocking algorithm
• Synchronization
• Priority inheritance
• Lock

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

• Central processing unit
• Computer architecture
• Computer memory
• Parallel computing
• Instruction set architectures
• Memory barrier
• Processor register
• Instruction set
• ARM architecture
• ALGOL 68
• CPU cache
• Computer data storage

Online Optimization of Busy Time on Parallel Machines∗ Mordechai Shalom1 Ariella Voloshin2 Prudence W.H. Wong3 Fencol C.C. Yung3 Shmuel Zaks2

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

• Scheduling
• Operations research
• Mathematical optimization
• Combinatorial optimization
• Independent set
• Interval scheduling
• Interval graph
• Bin packing problem
• Algorithm
• Steve Jobs
• Job shop scheduling
• Multiprocessor scheduling