Kevad 2010

From ATI public wiki
Jump to: navigation, search

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