Difference between revisions of "Kevad 2010"
From ATI public wiki
| Line 3: | Line 3: | ||
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 | + | 17.03. Mironov - ISQED ettekande proov rikete kollapsist digitaalskeemides |
| − | 24.03. Mihhailov - teadustöö ülevaade | + | 24.03. Mihhailov - teadustöö ülevaade + Hantson - LATW proov |
31.03. Aleksejev - Riistvara troojadest | 31.03. Aleksejev - Riistvara troojadest | ||
Revision as of 15:16, 17 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
24.03. Mihhailov - teadustöö ülevaade + Hantson - LATW proov
31.03. Aleksejev - Riistvara troojadest
07.04 Chertov - Ülevaade rikete esitamisest X-mudelina
14.04 Silicon Debug Workshop (Govind, and others)
21.04 Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega
28.04 Tagel - Optimeerimisheuristikatest
05.05 Batanov - SASI algoritmi implementatsioon
