Difference between revisions of "Kevad 2010"

Revision as of 15:38, 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

Govind - Silicon Debug