Topics:

• Architectures & Parallization
  • Multicore architectures and the multigrid/Gauss-Seidel application, Sverker Holmgren, Wedn., 13.15, March 31, Room 2446.
  • Gerard J. Holzmann, Dragan Bosnacki: The Design of a Multicore Extension of the SPIN Model Checker. IEEE Trans. Software Eng. 33(10): 659-674 (2007)
• Verification
  • S. Burckhardt, R. Alur, and M.M.K. Martin. Checkfence: Checking consistency of concurrent data types on relaxed memory models, ACM Conference on Programming Language Design and Implementation, 2007.
  • Concurrent Executions on Relaxed Memory Models, Rajeev Alur, SPIN07, July 2007
• Scheduling
  • B. Andersson, J. Jonsson. Preemptive multiprocessor scheduling anomalies. Parallel and Distributed Processing Symposium (IPDPS) 2002.
  • Rhan Ha, Jane W.-S. Liu: Validating Timing Constraints in Multiprocessor and Distributed Real-Time Systems. ICDCS 1994.
  • B. Andersson, S. Baruah, J. Jonsson. Static-priority scheduling on multiprocessors. RTSS 2001.
  • Lui Sha et al. Real Time Scheduling Theory: a Historical Perspective, RTS, 28, 101-155, 2004. (there is a chapter on multiprocessor scheduling)
  • S.K. Dhall, C.L. Liu, On a real-time scheduling problem, Operations Research 26 (1) (1998) 127-140.
  • Theodore Baker and Sanjoy Baruah. Schedulability Analysis of Multiprocessor Sporadic Task Systems . In Handbook of Real-Time and Embedded Systems, Sang H. Son, Insup Lee, and Joseph Y-T Leung (eds). Chapman Hall/ CRC Press.
  • John Carpenter, Shelby Funk, Phil Holman, Anand Srinivasan, Jim Anderson, and Sanjoy Baruah. A Categorization of Real-time Multiprocessor Scheduling Problems and Algorithms . In Handbook of Scheduling: Algorithms, Models, and Performance Analysis, Joseph Y-T Leung (ed). Chapman Hall/ CRC Press. 2004.
  • S. Barauah. The Non-preemptive Scheduling of Periodic Tasks upon Multiprocessors. Real-Time Systems, 32, 9-20, 2006
  • T.P. Baker. Multiprocessor EDF and Deadline Monotonic Schedulability Analysis. RTSS 2003.
  • S. Barauah. Techniques for Multiprocessor Global Schedulability Analysis. RTSS 2007.
  • J. Goossens, S. Funk S. Baruah. Priority-driven scheduling of periodic task systems on multiprocessors. RTS 2001.
  • H. Cho, B. Ravindran, E. Jensen. An Optimal Real-Time Scheduling Algorithm for Multiprocessors. RTSS 2006.
  • Marko Bertogna, Michele Cirinei. Response-Time Analysis for globally scheduled Symmetric Multiprocessor Platforms. RTSS 2007. (this paper mentions indeed "multicore").
  • Nathan Fisher, Sanjoy K. Baruah: The Global Feasibility and Schedulability of General Task Models on Multiprocessor Platforms. ECRTS 2007.