Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Ondrej Meca

dblp:125/1938 · DBLP profile ↗
← Back
7ranked-venue papers
1as first author
2since 2021 · last 2026
0000-0002-4948-606XORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 3 · 1 first-author · 2 since 2021Artificial intelligence and machine learning · 2Software engineering, systems software and programming languages · 2Applied, interdisciplinary, general and emerging computing · 2Theory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
2 papers
High-performance computing · 55% GPUs and heterogeneous computing · 42% Parallel and multicore computing · 4%
Software engineering, system software, and programming languages
1 paper
Program verification · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
High-performance computing
domain decomposition
0.912025
Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition Methods · SC 2025
GPUs and heterogeneous computing › GPU-accelerated scientific computing
GPU-accelerated numerical computation
0.912025
Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition Methods · SC 2025
High-performance computing › sparse linear algebra
sparse matrix computation
0.312025
Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition Methods · SC 2025
Program verification
model checking
0.212016
State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI · FM 2016
Program verification › model checking
state space reduction
0.212016
State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI · FM 2016
Parallel and multicore computing › MPI
MPI program analysis
0.112016
State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI · FM 2016

Methods — techniques the papers use, named apart from their topics

sparsity exploitation · 0.9GPU acceleration · 0.9partial order reduction · 0.5deadlock detection · 0.5
YearPublicationVenuePosition
2026 GPU acceleration of hybrid FETI solver for problems of transient nonlinear dynamics
Jakub Homola, Ondrej Meca, Lubomir Riha, Tomás Brzobohatý
Future Gener. Comput. Syst.2
2025 Utilizing Sparsity in the GPU-accelerated Assembly of Schur Complement Matrices in Domain Decomposition Methods
abstract
Schur complement matrices emerge in many domain decomposition methods that can utilize supercomputers to solve complex engineering problems. As most of today’s high-performance clusters’ performance lies in GPUs, these methods should also be accelerated.
Jakub Homola, Ondrej Meca, Lubomir Riha, Tomás Brzobohatý
SC2
2019 An Approach for Parallel Loading and Pre-Processing of Unstructured Meshes Stored in Spatially Scattered Fashion
abstract
This paper presents a workflow for parallel loading of database files containing sequentially stored unstructured meshes that are not considered to be efficiently read in parallel. In such a file consecutive elements are not spatially located and their respective nodes are at unknown positions in the file. This makes parallel loading challenging since adjacent elements are on different MPI processes, and their respective nodes are on unknown MPI processes. These two facts lead to a high communication overhead and very poor scalability if not addressed properly. In a standard approach, a sequentially stored mesh is sequentially converted to a particular parallel format accepted by a solver. This represents a significant bottleneck. Our proposed algorithm demonstrates that this bottleneck can be overcome, since it is able to (i) efficiently recreate an arbitrary stored sequential mesh in the distributed memory of a supercomputer without gathering the information into a single MPI rank, and (ii) prepare the mesh for massively parallel solvers.
Ondrej Meca, Lubomir Riha, Tomás Brzobohatý
IPDPS1
2016 State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI
Stanislav Böhm, Ondrej Meca, Petr Jancar
FM2
2014 Kaira: Development Environment for MPI Applications
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský
Petri Nets3
2013 Visual Programming of MPI Applications: Debugging and Performance Analysis
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský
FedCSIS3
2011 Parallelization of ant colony optimization algorithm using Kaira
abstract
Parallel computing can be very useful for meta-heuristic algorithms, because it can reduce time to find a solution with given properties. On the other hand parallel programming is generally more difficult than the sequential one and we need more development time to get a working parallel solution. We are developing a tool named Kaira which is intended for modelling, debugging, and automated generation of parallel applications. The modelling is based on our own variant of Coloured Petri Nets. In this paper we present how to create parallel programs from an existing sequential implementation of Ant Colony Optimization Algorithm using Kaira. This approach simplifies the development process and thus saves the development time and costs.
Marek Behalek, Stanislav Böhm, Pavel Krömer, Martin Surkovský, Ondrej Meca
ISDA5