
15 Feb
2015
15 Feb
'15
10:12 p.m.
Dobrý večer Druhý článek v "reading group", která se uskuteční 23.2.2015, budu přednášet já. Vybral jsem následující článek: Automatic OS Kernel TCB Reductionby Leveraging Compile-Time Configurability Tartler Reinhard, Kurmus Anil, Ruprecht Andreas, Heinloth Bernhard, Rothberg Valentin, Dorneanu Daniela, Kapitza Rüdiger, Schröder-Preikschat Wolfgang, Lohmann Daniel http://www4.cs.fau.de/Publications/2012/tartler_12_hotdep.pdf Dále bych vás všechny chtěl poprosit aby jste dorazili nikoli na 14:15, ale na 14:40. O tuto změnu vás žádám vzhledem k tomu že mám do 14:15 hodinu v dejvicích a nestíhal bych se tak dostavit. S pozdravem Karel Kočí