Marek Behalek

12 papers B 1C 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2016 — conf
An Approach to Verification of MPI Applications Defined in a High-Level Model.
ACSD
Ondrej Meca, Stanislav Böhm, Marek Behalek, Petr Jancar
2014 B conf
Kaira: Development Environment for MPI Applications.
Petri Nets
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský
2014 J jnl
Visual programming of MPI applications: Debugging, performance analysis, and performance prediction.
Comput. Sci. Inf. Syst.
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský
2013 — conf
Prototyping Framework for Parallel Numerical Computations.
PPAM (2)
Ondrej Meca, Stanislav Böhm, Marek Behalek, Martin Surkovský
2013 C conf
Visual Programming of MPI Applications: Debugging and Performance Analysis.
FedCSIS
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský
2012 — conf
Kaira: Generating Parallel Libraries and Their Usage with Octave.
LCPC
Stanislav Böhm, Marek Behalek, Ondrej Meca
2012 — conf
Usage of petri nets for high performance computing.
FHPC@ICFP
Stanislav Böhm, Marek Behalek
2011 — conf
Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications.
UKSim
Stanislav Böhm, Marek Behalek
2011 C conf
Parallelization of ant colony optimization algorithm using Kaira.
ISDA
Marek Behalek, Stanislav Böhm, Pavel Krömer, Martin Surkovský, Ondrej Meca
2010 J jnl
Annotation based parser generator.
Comput. Sci. Inf. Syst.
Jaroslav Porubän, Michal Forgac, Miroslav Sabo, Marek Behalek
2009 — conf
Embedded Process Functional Language.
MEMICS
Marek Behalek, Petr Saloun
2007 — conf
Parallel Process Functional Language.
SOFSEM (2)
Marek Behalek, Petr Saloun