Difference between revisions of "Kevad 2010"
From ATI public wiki
| Line 2: | Line 2: | ||
03.03. Devadze - DATE ettekande proov X-mudeli simuleerimisest + Aleksejev - IJTAG | 03.03. Devadze - DATE ettekande proov X-mudeli simuleerimisest + Aleksejev - IJTAG | ||
| + | |||
17.03. Mironov - ISQED ettekande proov rikete kollapsist digitaalskeemides + Hantson - LATW proov | 17.03. Mironov - ISQED ettekande proov rikete kollapsist digitaalskeemides + Hantson - LATW proov | ||
| + | |||
24.03. Mihhailov - teadustöö ülevaade - 45 min ettekanne | 24.03. Mihhailov - teadustöö ülevaade - 45 min ettekanne | ||
Sealt edasi (kuupäevad ja järjekord esialgu lahtised): | Sealt edasi (kuupäevad ja järjekord esialgu lahtised): | ||
| + | |||
Chertov - Ülevaade rikete esitamisest X-mudelina | Chertov - Ülevaade rikete esitamisest X-mudelina | ||
| + | |||
Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega | Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega | ||
| + | |||
Aleksejev - Riistvara troojadest | Aleksejev - Riistvara troojadest | ||
| + | |||
Tagel - Optimeerimisheuristikatest | Tagel - Optimeerimisheuristikatest | ||
Revision as of 15:41, 3 March 2010
Kolmapäeviti 14:00-16:00
03.03. Devadze - DATE ettekande proov X-mudeli simuleerimisest + Aleksejev - IJTAG
17.03. Mironov - ISQED ettekande proov rikete kollapsist digitaalskeemides + Hantson - LATW proov
24.03. Mihhailov - teadustöö ülevaade - 45 min ettekanne
Sealt edasi (kuupäevad ja järjekord esialgu lahtised):
Chertov - Ülevaade rikete esitamisest X-mudelina
Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega
Aleksejev - Riistvara troojadest
Tagel - Optimeerimisheuristikatest
