Zobrazeno 1 - 10
of 1 341
pro vyhledávání: '"Horváth, Gábor"'
std::string view is a reference-like data structure in the C++ Standard Template Library (STL) that enables fast and cheap processing of read-only strings. Due to its wide applicability and performance enhancing power, std::string view has been very
Externí odkaz:
http://arxiv.org/abs/2408.09325
Static analysis is a method of analyzing source code without executing it. It is widely used to find bugs and code smells in industrial software. Besides other methods, the most important techniques are those based on the abstract syntax tree and tho
Externí odkaz:
http://arxiv.org/abs/2408.05657
Autor:
Horvath, Gabor, Kovacs, Reka, Szalay, Richard, Porkolab, Zoltan, Orban, Gyorgy, Krupp, Daniel
CodeChecker is an open source project that integrates different static analysis tools such as the Clang Static Analyzer and Clang-Tidy into the build systems, continuous integration loops, and development workflows of C++ programmers. It has a powerf
Externí odkaz:
http://arxiv.org/abs/2408.02220
Static analysis is the analysis of a program without executing it, usually carried out by an automated tool. Symbolic execution is a popular static analysis technique used both in program verification and in bug detection software. It works by interp
Externí odkaz:
http://arxiv.org/abs/2408.01909
Autor:
Körmöczi, Andor1 (AUTHOR) kandor@titan.physx.u-szeged.hu, Horváth, Gábor1 (AUTHOR), Szörényi, Tamás1 (AUTHOR) t.szorenyi@physx.u-szeged.hu, Geretovszky, Zsolt1 (AUTHOR)
Publikováno v:
Materials (1996-1944). Jun2024, Vol. 17 Issue 11, p2736. 16p.
Autor:
Gergely Salát
Publikováno v:
Távol-keleti Tanulmányok, Vol 16, Iss 1 (2024)
Salát Gergely recenziója a következő kötetről: Zhou Xingsi: Ezer írásjegyes mű verses szövege Zhao Mengfu hat írásstílusú kalligráfiájával. Budapest, Négy Kincs Bt., 2021.
Externí odkaz:
https://doaj.org/article/f25abc02a9d541b8ac68425d63fc8a5b
The global symmetry group of first order differential equations and the global rectification theorem
Autor:
Gselmann, Eszter, Horváth, Gábor
Symmetry analysis can provide a suitable change of variables, i.e., in geometric terms, a suitable diffeomorphism that simplifies the given direction field, which can help significantly in solving or studying differential equations. Roughly speaking
Externí odkaz:
http://arxiv.org/abs/2010.00201
Publikováno v:
Astronomical Notes 341 (3): 245-257 (2020)
Space debris larger than 1 cm can damage space instruments and impact Earth. The low-Earth orbits (at heights smaller than 2000 km) and orbits near the geostationary- Earth orbit (at 35786 km height) are especially endangered, because most satellites
Externí odkaz:
http://arxiv.org/abs/2006.00853
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.