Difference between revisions of "Kevad 2010"
From ATI public wiki
| (11 intermediate revisions by 4 users not shown) | |||
| 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 | ||
| − | + | 24.03. Mihhailov - teadustöö ülevaade + Hantson - LATW proov | |
| − | Chertov - Ülevaade rikete esitamisest X-mudelina | + | |
| − | Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega | + | 31.03. Aleksejev - Riistvara troojadest |
| − | + | ||
| − | Tagel - Optimeerimisheuristikatest | + | 07.04 Chertov - Ülevaade rikete esitamisest X-mudelina |
| + | |||
| + | 21.04 Silicon Debug Workshop (all DATE SD WS participants) | ||
| + | |||
| + | 05.05 EWME try-outs | ||
| + | |||
| + | 19.05 Batanov - SASI algoritmi implementatsioon | ||
| + | |||
| + | 26.05 Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega | ||
| + | |||
| + | 02.06 Tagel - Optimeerimisheuristikatest | ||
Latest revision as of 14:16, 19 May 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
24.03. Mihhailov - teadustöö ülevaade + Hantson - LATW proov
31.03. Aleksejev - Riistvara troojadest
07.04 Chertov - Ülevaade rikete esitamisest X-mudelina
21.04 Silicon Debug Workshop (all DATE SD WS participants)
05.05 EWME try-outs
19.05 Batanov - SASI algoritmi implementatsioon
26.05 Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega
02.06 Tagel - Optimeerimisheuristikatest
