Difference between revisions of "Kevad 2010"
From ATI public wiki
| Line 5: | Line 5: | ||
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 | + | 24.03. Mihhailov - teadustöö ülevaade |
| + | 31.03. Aleksejev - Riistvara troojadest | ||
| − | + | 07.04 Chertov - Ülevaade rikete esitamisest X-mudelina | |
| − | + | 14.04 Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega | |
| − | + | 21.04 Tagel - Optimeerimisheuristikatest | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | Tagel - Optimeerimisheuristikatest | + | |
Revision as of 15:00, 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
31.03. Aleksejev - Riistvara troojadest
07.04 Chertov - Ülevaade rikete esitamisest X-mudelina
14.04 Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega
21.04 Tagel - Optimeerimisheuristikatest
