Difference between revisions of "Kevad 2010"
From ATI public wiki
| Line 11: | Line 11: | ||
07.04 Chertov - Ülevaade rikete esitamisest X-mudelina | 07.04 Chertov - Ülevaade rikete esitamisest X-mudelina | ||
| − | 21.04 Silicon Debug Workshop ( | + | 21.04 Silicon Debug Workshop (all DATE SD WS participants) |
28.04 Tagel - Optimeerimisheuristikatest | 28.04 Tagel - Optimeerimisheuristikatest | ||
Revision as of 13:09, 7 April 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)
28.04 Tagel - Optimeerimisheuristikatest
05.05 EWME try-outs
19.05 Batanov - SASI algoritmi implementatsioon
26.05 Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega
