Publikációk

Export 163 results:
Rendezés: Szerző Cím Típus [ Év  (Asc)]
Szűrők: Az Utónév Első Betűje = S  [Minden szűrő visszaállítása]
2020
Elekes, M., and Szárnyas, G., "An incremental GraphBLAS solution for the 2018 TTC Social Media case study", GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium), 2020.
Aznaveh, M., Chen, J., Davis, T. A., Hegyi, B., Kolodziej, S. P., Mattson, T. G., and Szárnyas, G., "Parallel GraphBLAS with OpenMP", SIAM Workshop on Combinatorial Scientific Computing (CSC) co-located with the SIAM Conference on Parallel Processing for Scientific Computing (PP), Seattle, WA, SIAM, 2020.
Elekes, M., and Szárnyas, G., "Incremental view maintenance in graph databases: A case study in Neo4j", Proceedings of the 27th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2020.
2021
Ádám, Z., Sallai, G., and Hajdu, Á., "Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)", Tools and Algorithms for the Construction and Analysis of Systems, vol. 12652: Springer, 2021. Abstract
(Accepted)
Szárnyas, G., Bader, D. A., Davis, T. A., Kitchen, J., Mattson, T. G., McMillan, S., and Welch, E., "LAGraph: Linear Algebra, Network Analysis Libraries, and the Study of Graph Algorithms", GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium: IEEE, 2021.
de Almeida, D P., Graics, B., Chagas, R A J., de Sousa, F L., and Mattiello-Francisco, F., "Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View", 10th Latin-American Symposium on Dependable Computing (LADC 2021), Florianópolis, Brazil, IEEE, 11/2021.