E-LIB Suche - Ergebnisse für: Lukacs, Daniel

1

Model Checking-Based Performance Prediction for P4:

Lukács, Dániel ; Pongrácz, Gergely ; Tejfel, Máté
Electronics. 11 (2022) 14 - p. 2117 , 2022

Link: https://doi.org/10.3390/..

2

Control flow based cost analysis for P4:

Lukács, Dániel ; Pongrácz, Gergely ; Tejfel, Máté
Open Computer Science. 11 (2020) 1 - p. 70-79 , 2020

Link: https://doi.org/10.1515/..

3

Performance guarantees for P4 through cost analysis:

, In: 2019 IEEE 15th International Scientific Conference on Informatics,

Lukacs, Daniel ; Pongracz, Gergely ; Tejfel, Mate - p. 000305-000310 , 2019

Link: https://doi.org/10.1109/..

4

Structuring Erlang BEAM control flow:

, In: Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang,

Lukács, Dániel ; Tóth, Melinda - p. 31-42 , 2017

Link: https://dl.acm.org/doi/1..

5

Overlaying Control Flow Graphs on P4 Syntax Trees with Grem..:

Lukács, Dániel ; Tejfel, Máté
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4330/4079. , 2024

Link: https://cyber.bibl.u-sze..

6

Control flow based cost analysis for P4:

Lukács Dániel ; Pongrácz Gergely ; Tejfel Máté
https://doi.org/10.1515/comp-2020-0131. , 2020

Link: https://doi.org/10.1515/..

7

Keeping P4 Switches Fast and Fault-free through Automatic V..:

Lukács, Dániel ; Tejfel, Máté ; Pongrácz, Gergely
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4000/3976. , 2019

Link: https://cyber.bibl.u-sze..

8

Recovering high-level control structures from Erlang source..:

Lukács, Dániel
http://hdl.handle.net/10831/77866. , 2017

Link: http://hdl.handle.net/10..

9

Erlang állapotgépek modell alapú transzformációja UML-re:

Lukács, Dániel
http://hdl.handle.net/10831/77864. , 2016

Link: http://hdl.handle.net/10..

10

Erlang állapotgépek elemzése és transzformálása UML-re:

Lukács, Dániel
http://hdl.handle.net/10831/77865. , 2016

Link: http://hdl.handle.net/10..

11

Civil szervezetek pályázati lehetőségei:

Lukács, Dániel
http://hdl.handle.net/2437/199689. , 2014

Link: http://hdl.handle.net/24..

12

Model Checking-Based Performance Prediction for P4:

Dániel Lukács ; Gergely Pongrácz ; Máté Tejfel
https://www.mdpi.com/2079-9292/11/14/2117. , 2022

Link: https://doi.org/10.3390/..

13

Model Checking-Based Performance Prediction for P4:

Dániel Lukács ; Gergely Pongrácz ; Máté Tejfel
Networks. , 2022

Link: https://doi.org/10.3390/..

14

INCREMENTAL DECOMPILATION OF LOOP-FREE BINARY CODE: ERLANG:

Gregory, Morse ; Dániel, Lukács ; Melinda, Tóth
http://hdl.handle.net/10831/66304. , 2018

Link: http://hdl.handle.net/10..

15

Prognosis Impact and Prediction of Trans-Radial Access Fail..:

Tornyos, Dániel ; Lukács, Réka ; Jánosi, András.
The American Journal of Cardiology. 220 (2024) - p. 23-32 , 2024

Link: https://doi.org/10.1016/..