  |
Items where Author is "Horpácsi, Dániel"
Group by: Item Type | No Grouping Number of items: 4. Szalontai, 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 Laki, 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 |
