Difference between revisions of "Kevad 2010"

From ATI public wiki
Jump to: navigation, search
 
(10 intermediate revisions by 4 users not shown)
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 + Hantson - LATW proov
+
17.03. Mironov - ISQED ettekande proov rikete kollapsist digitaalskeemides  
  
24.03. Mihhailov - teadustöö ülevaade - 45 min ettekanne
+
24.03. Mihhailov - teadustöö ülevaade + Hantson - LATW proov
  
 +
31.03. Aleksejev - Riistvara troojadest
  
Sealt edasi (kuupäevad ja järjekord esialgu lahtised):
+
07.04 Chertov - Ülevaade rikete esitamisest X-mudelina
  
Chertov - Ülevaade rikete esitamisest X-mudelina
+
21.04 Silicon Debug Workshop (all DATE SD WS participants)
  
Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega
+
05.05 EWME try-outs
  
Aleksejev - Riistvara troojadest
+
19.05 Batanov - SASI algoritmi implementatsioon
  
Tagel - Optimeerimisheuristikatest
+
26.05 Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega
 +
 
 +
02.06 Tagel - Optimeerimisheuristikatest

Latest revision as of 15:16, 19 May 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)

05.05 EWME try-outs

19.05 Batanov - SASI algoritmi implementatsioon

26.05 Karputkin - Otsustusdiagrammide verifitseerimine polünoomidega

02.06 Tagel - Optimeerimisheuristikatest