Marek Behalek

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Rapid Prototyping

Visual Programming

Development Environment

Top Venues

Comput. Sci. Inf. Syst.

Publications

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