Fülöp Endre et al. A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution. (2020) OPEN COMPUTER SCIENCE 2299-1093 11 1 107-115,
31787944
Szakcikk (Folyóiratcikk) | Tudományos[31787944]
Han Deshuai et al. Timed-SAS: Modeling and Analyzing the Time Behaviors of Self-Adaptive Software under Uncertainty. (2023) APPLIED SCIENCES-BASEL 2076-3417 13 3 p. 2018
Gábor Horváth et al. IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS. (2020) ACTA ELECTROTECHNICA ET INFORMATICA 1335-8243 1338-3957 20 4 10-18,
31819027
Szakcikk (Folyóiratcikk) | Tudományos[31819027]
Szalay Richard et al. Flexible semi-automatic support for type migration of primitives for C/C++ programs. (2022) Megjelent: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) pp. 878-889
Tibor Brunner et al. Backward Compatibility Violations and their Detection in C++ Legacy Code using Static Analysis. (2016) ACTA ELECTROTECHNICA ET INFORMATICA 1335-8243 1338-3957 16 2 12-19,
3109114
Szakcikk (Folyóiratcikk) | Tudományos[3109114]
Bavay Mathias et al. Inishell 2.0: semantically driven automatic GUI generation for scientific models. (2022) GEOSCIENTIFIC MODEL DEVELOPMENT 1991-959X 1991-9603 15 2 365-378
Pataki Norbert. Safe Iterator Framework for the C++ Standard Template Library. (2012) ACTA ELECTROTECHNICA ET INFORMATICA 1335-8243 1338-3957 12 1 17-24,
2006749
Szakcikk (Folyóiratcikk) | Tudományos[2006749]
Benjámin Barth et al. Towards Safer Parallel STL Usage. (2022) Megjelent: 2022 IEEE 16th International Scientific Conference on Informatics - Proceedings pp. 39-44
Szűgyi Zalán et al. High-level Multicore Programming with C++11. (2012) COMPUTER SCIENCE AND INFORMATION SYSTEMS 1820-0214 1820-0214 9 3 1187-1202,
2081227
Szakcikk (Folyóiratcikk) | Tudományos[2081227]
Bartosz Zieliński et al. Ultra-Lightweight RPC Protocol Framework with Variadic Templates in C++11. (2017) JOURNAL OF SOFTWARE 1796-217X 12 11 858-873
Norbert Pataki. Advanced Functor Framework for C++ Standard Template Library. (2011) STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 1224-869X 2065-9601 56 1 99-113,
1994014
Szakcikk (Folyóiratcikk) | Tudományos[1994014]
Zalán Szűgyi et al. Generating Member Functions and Operators by Tagged Fields in a C++. (2011) Megjelent: Informatics 2011, Proceedings of the eleventh international conference on informatics 2011, Rožňava, Slovakia, November 16-18... pp. 96-99
Pataki N. Measuring the overhead of C++ standard template library safe variants. (2011) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 1571-0661 264 5 71-83,
1996312
Szakcikk (Folyóiratcikk) | Tudományos[1996312]
Chen Sheng et al. Early detection of type errors in C++ templates. (2014) Megjelent: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation pp. 133-144
Szugyi Z. Multicore C++ standard template library in a generative way. (2011) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 1571-0661 279 3 63-72,
1995738
Szakcikk (Folyóiratcikk) | Tudományos[1995738]
Aydin Semra et al. Real-time parallel image processing applications on multicore CPUs with OpenMP and GPGPU with CUDA. (2017) JOURNAL OF SUPERCOMPUTING 0920-8542 1573-0484 74 6 2255-2275