Items where Author is "Horpácsi, Dániel"
Group by: Item Type | No Grouping Jump to: Article | Book Section Number of items: 4. ArticleSzalontai, Balázs and Bereczky, Péter and Horpácsi, Dániel (2023) Deep Learning-Based Refactoring with Formally Verified Training DatA. INFOCOMMUNICATIONS JOURNAL, 15 (SI). pp. 2-8. ISSN 2061-2079 Bereczky, Péter and Donkó, István and Horpácsi, Dániel and Kaposi, Ambrus and Németh, Dávid János (2020) Interactive Teaching of Programming Language Theory with a Proof Assistant. Central-European Journal of New Technologies in Research, Education and Practice. ISSN 2676-9425 Book SectionLaki, Sándor and Horpácsi, Dániel and Vörös, Péter and Tejfel, Máté and Hudoba, Péter (2020) The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes. In: 2020 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN). IEEE, pp. 23-28. ISBN 9781728151274 Horpácsi, Dániel and Laki, Sándor and Vörös, Péter and Tejfel, Máté and Pongrácz, Gergely (2019) Asynchronous Extern Functions in Programmable Software Data Planes. In: 2019 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS). IEEE, Piscataway (NJ), pp. 1-2. ISBN 9781728143873 |