Difference between revisions of "Kevad 2010"

From ATI public wiki
Jump to: navigation, search
Line 14: Line 14:
  
 
21.04 Tagel - Optimeerimisheuristikatest
 
21.04 Tagel - Optimeerimisheuristikatest
 +
 +
28.04 Batanov - SASI algoritmi implementatsioon
  
 
Govind - Silicon Debug
 
Govind - Silicon Debug

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

28.04 Batanov - SASI algoritmi implementatsioon

Govind - Silicon Debug