[P4] megbeszélés

[Sándor Laki]

Szia,

Jobbulást! Amennyire látom ezek nem azok a témák, amiket legutóbb 
megbeszéltünk jövő évre. Lehet, hogy az lenne a jó irány, hogy lenne egy 
compileres projekt és a további aktivitások köré meg szervezünk egy 
másikat, ami csak használja a Tapast.

Üdv.
Sanyi

2018.11.27. 21:53 keltezéssel, Tejfel Máté írta:
> 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é
>
> _______________________________________________
> P4 mailing list
> P4 at plc.inf.elte.hu
> https://plc.inf.elte.hu/mailman/listinfo/p4

-- 
Sándor Laki, PhD
Assistant professor
Department of Information Systems
Eötvös Loránd University
Pázmány Péter stny. 1/C
H-1117, Budapest, Hungary
Room 2.506
Web: http://lakis.web.elte.hu
Phone: +36 1 372 2869 / 8477
Cell: +36 70 374 2646


---
Ezt az e-mailt az Avast víruskereső szoftver átvizsgálta.
https://www.avast.com/antivirus