Browsing by Author "Böhm, Stanislav"

Analysis of workflow schedulers in simulated distributed environments

Beránek, Jakub; Böhm, Stanislav; Cima, Vojtěch (Journal of Supercomputing. 2022.)

Automatické nalezení lineárních vztahů mezi proměnnými programu

Navrátil, Tomáš (Diplomová práce, 2013)

Bisimulation equivalence and regularity for real-time one-counter automata

Böhm, Stanislav; Göller, Stefan; Jančar, Petr (Journal of Computer and System Sciences. 2014, vol. 80, issue 4, p. 720-743.)

Generating parallel applications from models based on Petri nets

Böhm, Stanislav; Běhálek, Marek (Advances in electrical and electronic engineering. 2012, vol. 10, no. 1, p.)

HyperLoom possibilities for executing scientific workflows on the cloud

Cima, Vojtěch; Böhm, Stanislav; Martinovič, Jan; Dvorský, Jiří; Ashby, Thomas J.; Chupakhin, Vladimir (Advances in Intelligent Systems and Computing. 2018, vol. 611, p. 397-406.)

HyperLoom: A platform for defining and executing scientific pipelines in distributed environments

Cima, Vojtěch; Böhm, Stanislav; Martinovič, Jan; Dvorský, Jiří; Janurová, Kateřina; Vander Aa, Tom; Ashby, Thomas J.; Chupakhin, Vladimir (ACM International Conference Proceeding Series. 2018, p. 1-6.)

HyperQueue: overcoming limitations of HPC job managers

Böhm, Stanislav; Beránek, Jakub; Cima, Vojtěch; Macháček, Roman; Jha, Vyomkesh; Kočí, Alfréd; Jansík, Branislav; Martinovič, Jan

Implementace programovacího jazyka pro MMORPG Dungeon Online

Böhm, Stanislav (Bakalářská práce, 2007)

Industry-scale application and evaluation of deep learning for drug target prediction

Sturm, Noe; Mayr, Andreas; Van, Thanh Le; Chupakhin, Vladimir; Ceulemans, Hugo; Wegner, Joerg; Golib-Dzib, Jose-Felipe; Jeliazkova, Nina; Vandriessche, Yves; Böhm, Stanislav; Cima, Vojtěch; Martinovič, Jan; Greene, Nigel; Vander Aa, Tom; Ashby, Thomas J.; Hochreiter, Sepp; Engkvist, Ola; Klambauer, Günter; Chen, Hongming (Journal of Cheminformatics. 2020, vol. 12, issue 1, art. no. 26.)

Memory optimized pheromone structures for Max-Min Ant System

Bĕhálek, Marek; Šurkovský, Martin; Meca, Ondřej; Böhm, Stanislav (Neural Network World. 2015, vol. 25, no. 2, p. 161-174.)

Optimalizace programovacího jazyka Kreatrix

Böhm, Stanislav (Diplomová práce, 2009)

Předzpracování obrazu pro indexování rozsáhle kolekce dat

Šurkovský, Martin (Diplomová práce, 2012)

Rozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí eliminace kvantifikátorů

Jurečka, Pavel (Bakalářská práce, 2011)

Rozšíření nástroje Visual Studio o podporu ladění nového programovacího jazyka

Macek, David (Bakalářská práce, 2013)

Rozšíření programátorské podpory v nástroji Kaira

Homola, Jan (Bakalářská práce, 2015)

Simulátor distribuovaných algoritmů pro prohledávání stavového prostoru

Homola, Jan (Diplomová práce, 2017)

Sledování běžících aplikací

Trnka, Daniel (Bakalářská práce, 2017)

Unifying framework for development of message-passing applications

Böhm, Stanislav (Disertační práce, 2014)

Visual programming of MPI applications: debugging, performance analysis, and performance prediction

Böhm, Stanislav; Bĕhálek, Marek; Meca, Ondřej; Šurkovský, Martin (Computer Science and Information Systems. 2014, vol. 11, issue 4, p. 1315-1336.)

Vyhodnocovací server pro soutěže v programování

Robenek, Daniel (Diplomová práce, 2012)