Követés
Tejfel Máté
Cím
Hivatkozott rá
Hivatkozott rá
Év
T4p4s: A target-independent compiler for protocol-independent packet processors
P Vörös, D Horpácsi, R Kitlei, D Leskó, M Tejfel, S Laki
2018 IEEE 19th International Conference on High Performance Switching and …, 2018
712018
Refactorerl-source code analysis and refactoring in erlang
I Bozó, D Horpácsi, Z Horváth, R Kitlei, J Koszegi, M Tejfel, M Tóth
Proceeding of the 12th Symposium on Programming Languages and Software Tools …, 2011
612011
High speed packet forwarding compiled from protocol independent data plane specifications
S Laki, D Horpácsi, P Vörös, R Kitlei, D Leskó, M Tejfel
Proceedings of the 2016 ACM SIGCOMM Conference, 629-630, 2016
472016
Extending the sparkle core language with object abstraction
M Tejfel, Z Horváth, T Kozsik
Acta Cybernetica 17 (2), 419-445, 2005
232005
1st order flow analysis for Erlang
M Tóth, I Bozó, Z Horváth, M Tejfel
Proceedings of 8th Joint Conference on Mathematics and Computer Science, 403-416, 2010
212010
Efficient code generation from the high-level domain-specific language Feldspar for DSPs
G Dévai, M Tejfel, Z Gera, G Páli, G Nagy, Z Horváth, E Axelsson, ...
Proc. ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems …, 2010
212010
Impact analysis of Erlang programs using behaviour dependency graphs
M Tóth, I Bozó, Z Horváth, L Lövei, M Tejfel, T Kozsik
Central European Functional Programming School: Third Summer School, CEFP …, 2010
202010
Proving Invariants of Functional Programs.
Z Horváth, T Kozsik, M Tejfel
SPLST, 115-126, 2003
152003
Verifying invariants of abstract functional objects—a case study
Z Horváth, T Kozsik, M Tejfel
6th International Conference on Applied Informatics, Eger, Hungary, 2004
112004
Asynchronous extern functions in programmable software data planes
D Horpácsi, S Laki, P Vörös, M Tejfel, G Pongrácz, L Molnár
2019 ACM/IEEE Symposium on Architectures for Networking and Communications …, 2019
82019
High-speed forwarding: a P4 compiler with a hardware abstraction library for Intel DPDK
S Laki, D Horpácsi, P Vörös, R Kitlei, D Leskó, M Tejfel
P4 Workshop 152, 2016
82016
Chatbot-Based Querying of IoT Devices in EdgeX
A Dhulfiqar, N Pataki, M Tejfel
Proceedings http://ceur-ws. org ISSN 1613, 0073, 2023
62023
Analysis of preprocessor constructs in erlang
R Kitlei, I Bozó, T Kozsik, M Tejfel, M Tóth
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 45-56, 2010
62010
Deploying a web service application on the EdgeX open edge server: An evaluation of its viability for IoT services
A Dhulfiqar, MA Abdala, N Pataki, M Tejfel
Procedia Computer Science 235, 852-862, 2024
52024
Are graph databases fast enough for static p4 code analysis?
D Lukács, G Pongrácz, M Tejfel
ICAI, 213-223, 2020
52020
Performance guarantees for P4 through cost analysis
D Lukács, G Pongrácz, M Tejfel
2019 IEEE 15th International Scientific Conference on Informatics, 000305-000310, 2019
52019
Temporal properties of clean programs proven in sparkle-t
M Tejfel, Z Horváth, T Kozsik
Central European Functional Programming School, 168-190, 2005
52005
Control flow based cost analysis for P4
D Lukács, G Pongrácz, M Tejfel
Open Computer Science 11 (1), 70-79, 2021
42021
The price for asynchronous execution of extern functions in programmable software data planes
S Laki, D Horpácsi, P Voros, M Tejfel, P Hudoba, G Pongracz, L Molnar
2020 23rd Conference on Innovation in Clouds, Internet and Networks and …, 2020
42020
Keeping P4 switches fast and fault-free through automatic verification
D Lukács, M Tejfel, G Pongrácz
Acta Cybernetica 24 (1), 61-81, 2019
42019
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20