[P4] megbeszélés

[Tejfel Máté]

Sziasztok!

   Mint már pár embernek jeleztem, sajnos lebetegedtem, így nem tudok 
holnap bemenni. Ennek ellenére kérlek tartsatok megbeszélést és a ki 
mivel haladt (pl. mi a helyzet a bugfixel) megbeszélésén túl fussatok 
rajta át, mit tudunk vállalni a jövő évi tervekből. Sanyi itt elsősorban 
a ti részeteket kellene tisztázni, mi első körben ilyesmiket tudunk 
belerakni:

   - HW track  (Robi)

   - More P4 architectures (Robi, LDani, én)

         - case studies

         - easy architecture handling

         - run to completition vs async blocks

   - cost analysis of P4 programs + validation (Lukács Dániel, related 
EIT PhD topic)

   - applicable verification possibilities of P4 (Tóth Gabi)

   - P4 static analysis (Németh Boldizsár)

        - internal representation

        - definition of usefull analysis methods

        - implementation of some methods

Az új pontokról részben már beszéltem Pongrácz Gergővel, de persze lehet 
majd még rajtuk iterálni...

       Máté