[François Taïani] Teaching

You will find below resource and materials related to some of the modules I am teaching or have taught at Lancaster or Rennes over the years.

 ESIR SYS1 (Introduction aux systèmes d'exploitation, 2012-)

• Cours complet (Unités 1 à 12, 384 planches)

 ESIR SPP (Synchronisation et Programmation Parallèle, 2012-)

• Cours complet (Unités 0 à 10, 242 planches)

 ESIR SPP (TD)

• ESIR-SPP-TD1_atomicity_lock_2016.pdf 
  
• ESIR-SPP-TD2-3_Semaphores_Monitors.pdf 
  
• ESIR-SPP-TD4.pdf 
  
• ESIR-SPP-TD6.pdf

 ESIR SPP (TP)

• ESIR-SPP-TP-1-2_2017.pdf 
  
• ESIR-SPP-TP-3-4-Note_2017.pdf 
  
• ESIR-SPP-TP-3-4_Files_Exercise_1.zip 
  
• ESIR-SPP-TP-5-6-Note-Brief.pdf

 ESIR SR (Systèmes Répartis, 2012-)

• Cours complet (Unités 1 à 11, 286 planches)

 ESIR SR (Projet)

• ESIR-SR-PM-2015.pdf 
  
• ESIR-SR-Programming with RMI - Reminder.pdf

 ESIR ABD (Algorithmes pour le big data, 2014-)

• Cours complet (Unités 1 à 5, 111 planches)  
  
• Sujet de TP

 SCC.150 Digital Systems / Introduction to Linux (2011-12)

• Lecture Slides (Weeks 13 - 20)  
  
• Labs and Coursework (Weeks 14, 16, 21)

 CSc.365 Safety Critical Systems (2004-05, 2006-07)

• Coursework: The sources of the Insulin Pump controller and its corresponding test-bed can be found here

  Attention 3rd Version (1/4/2005): This third version corrects two small bugs in DisplaySimulatorAPI.java and SampleTestBed.java: display.pushButtonOperatorModeChange() is now properly called in SampleTestBed, and in DisplaySimulatorAPI, pushButtonAdministerInsulin(int) does not inject any insulin any more if the pump is not in manual user mode in (insulinPump-testbed-V3.zip).

Back to Home

---

 

Last generated on 8 Dec 2019       francois.taiani@irisa.fr