RNDr. David Bednárek, Ph.D.

bednarek<at>ksi.mff.cuni.cz
lektor

Výzkumné skupiny

PARG

Oblasti zájmu

  • paralelní a distribuované zpracování dat
  • jazyky pro paralelní programování
  • konstrukce překladačů
  • netradiční databázové architektury

Výukanahoru

KódNázevOdkazy
NPRG023Softwarový projekt
NPRG041Programování v C++cvičení, DÚ1, slajdy
NPRG045Ročníkový projekttémata projektů
NPRG051Pokročilé programování v C++slajdy a úkoly
NPRG054Vývoj vysoce výkonného softwareslajdy a úkoly
NSWI098Principy překladačůúkoly
NSWI109Konstrukce překladačůslajdy
NSWI122Příprava disertační práce
NSWI150Virtualizace a cloud computingslajdy

Doktorandinahoru

Stávající: Mgr. Michal Brabec, Mgr. Miroslav Kratochvíl

Vedené prácenahoru

NázevŘešitelTypVypsánoObhájeno
SIMD code generatorKarel TučekBc.20152016
Language support for data-intensive parallel computingMiroslav KratochvílPh.D.2015
Implementace a evaluace protokolu CBORPavel KalvodaBc.20142015
Nízkoúrovňový funkcionální programovací jazykMiroslav KratochvílMgr.20142015
SQL front-end pro systém BoboxLucie KlimperováMgr.20132015
Elektronický hospodářJiří PavlovskýBc.20132015
Static analysis of C# programsPetr MalýMgr.20132014
Vyhodnocování relačních dotazů v proudově orientovaném prostředíMarcel KiktaMgr.20132014
Genetické programování pro predikci finančních trhůTomáš KrejčíBc.20132015
Programming environments for parallel computingMichal BrabecPh.D.2013
Optimizing scriptable generator of terrain mapsMatěj ZábskýMgr.20122015
Analýza paralelizovatelnosti programů na základě jejich bytecodeMichal BrabecMgr.20122013
Moderní implementace LALR(1) konstruktoruKarel FišerMgr.20112013
Překlad jazyka XQuery do procedurálního jazykaMartin UrzaMgr.2011
Implementace vybraných databázových operací v paralelním prostředíJán MajdanMgr.20102013
Multiplatformní prostředí pro vývoj mobilních herIvan VaculaMgr.20102011
Elektronický obchod jako službaĽubomír DániBc.20102011
A system for analysis of collections of XML queriesJiří SchejbalMgr.20092010
Podpora marketingu a uživatelských preferencí v internetovém obchoděPeter HrušovskýMgr.20092010
Adaptivní klasifikátor pošty pro IMAP serveryŠimon RajčanBc.20092009
Adaptivní klasifikátor pošty pro IMAP serveryŠimon RajčanBc.20092009
Informační systém sportovních školJiří MachBc.20072008
Systém pro sběr XML dat a metadat z InternetuJan SochnaMgr.20072010
Notový editorLukáš KopenecMgr.20072010
Zpětná dokumentace na platformě AS/400Tomáš ImrichMgr.20062008
Source code generatorPavol JuhosMgr.20062008
Textový editor se syntaxí řízenými funkcemiPavol GajarskýBc.20062008
Client side scripting using meta-programmingTomáš PetříčekBc.20062007
Translating Ruby to PHPDavid MajdaMgr.20062008
Notový editorLukáš KopenecBc.20062007
Dimensional analysis for HD languagesMartin HorváthMgr.20062007
Generátor kódu s vyměnitelnou cílovou architekturouJan ZouharMgr.20062006
Statická analýza XSLT programůJan ČervákMgr.20062006
SVN ProxyOndřej KunčarBc.20052006
Jazyk pro řízení 2D herJan KrčekMgr.20052007
Automatické třídění pošty pro IMAP serveryLuboš KuličBc.20052006
Using XML technologies to apply design patternsVojtěch HálaMgr.20042006
Garbage collection in the C++ environmentPetr ZikaMgr.20042009
Informační systém pro vzdělávací agenturyTomáš MarvánBc.20042007
Garbage collection in the C++ environmentPetr ZikaMgr.20042009
Using XML technologies to apply design patternsVojtěch HálaMgr.20042009
A parser of the C++ programming languageRudolf ThomasMgr.20042005
Nástroje pro experimenty s gramatikami a jazykyJiří KrejsaMgr.20032010
Rozšíření jazyka Java o dynamické zasílání zprávOndřej NekolaMgr.2003
Jednotná vizualizace exekučních plánů SQL dotazůPetr PlavjaníkMgr.20022005
Komparativní analýza síťových souborových systémůPetr KulhavýMgr.20022003
Syntax-Directed Compression of Source CodeTomáš TelenskýMgr.20022003
Generátor XML-reportů z relační databázeLuboš VeselýMgr.2001
Nástroje pro tvorbu generátorů textových sestavPetr DvořákMgr.20002003
Vizuální editor SQL dotazůMichal KaskaBc.2000
Nástroje pro editaci zdrojových textůZdeněk ŠeblBc.20002002
Komparativní analýza limitů optimalizací kódu Mgr. David Bednárek - KSIPavel ZemanMgr.19992002
Syntaxí řízený editor Mgr. David BednárekJiří KačenaMgr.1999
Nástroje pro tvorbu aplikačních serverů pro infor systémů Mgr. David BednárekMartin RexaMgr.1999
Dekompilátor bytecode do jazyka JavaMartin FrýdlMgr.1999
Objektový interface k relační databázi Mgr. David BednárekDavid KimrBc.1998
Univerzální editor binárních dat KSI - Mgr. David BednárekMartin FantaMgr.1997
Dekompilátor jazyka symbolických adres do vyššího programovacího jazyka KSI - Mgr. David BednárekDaniel PirklMgr.1997
Překladač simulačního jazyka KSI - Mgr. David BednárekSvatopluk DědicMgr.1997
Metajazyk pro tvorbu virtuálně multihreadálních serverů Mgr. David Bednárek - KSILukáš KrásaMgr.1996
Implementace ladících prostředků pro distribuovaný operační systém Mgr. David Bednárek - KSIMartin MaňásekMgr.1996
Emulace klasických operačních systémů v distribuovaném prostředí Mgr. David Bednárek - KSIJan KotasMgr.1995
Generátor obalových funkcí pro heterogenní meziobjektovou komunikaci Mgr. David Bednárek - KSIMarek JakubMgr.1995
Návrh a implementace distribuovaného sdílení paměti Mgr. David Bednárek - KSIJakub MaxaMgr.1995
Implementace ladících prostředků pro víceúlohový operační systém Mgr. David Bednárek - KSIJan VernerMgr.1994

Výzkumné grantynahoru

  • Vysoce škálovatelné paralelní a distribuované metody zpracování vědeckých dat (GAČR P103-13-08195S) 2013-2015 spolupracovník
  • Sémantizace Webu (GAČR P202/10/0761) 2010-2012 spolupracovník
  • Moderní metody, struktury a systémy informatiky (MŠMT MSM0021620838) 2005-2011 spolupracovník
  • Agilní systémy a servisně orientovaný software (GAČR 201/09/0983) 2009-2011 spolupracovník
  • Zpracování XML dat (GAČR 201/09/0990) 2009-2011 spolupracovník
  • (zobrazit všechny)

Vybrané publikace (úplný seznam)nahoru

  • Brabec M., Bednárek D.: Transforming procedural code for streaming environments, in 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, St. Petersburg, Institute of Electrical and Electronics Engineers Inc., ISBN: 978-1-5090-6058-0, ISSN: 1066-6192, pp. 167-175, 2017 - text
  • [Žurnál s IF]Bednárek D., Brabec M., Kruliš M.: Improving matrix-based dynamic programming on massively parallel accelerators, in Information Systems, Vol. 64, Num. March 2017, ISSN: 0306-4379, pp. 175-193, 2016 - text
  • Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Creating Distributed Execution Plans with BobolangNG, in Algorithms and Architectures for Parallel Processing, Granada, Springer International Publishing AG, ISBN: 978-3-319-49582-8, ISSN: 0302-9743, pp. 88-97, 2016 - text
  • [Žurnál s IF]Bednárek D., Yaghob J., Zavoral F.: Metro-NG: Computer-Aided Scheduling and Collision Detection, in Computing and Informatics, Vol. 34, Num. 2, ISSN: 1335-9150, pp. 277-304, 2015 - text
  • [Žurnál s IF]Falt Z., Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Towards Efficient Locality Aware Parallel Data Stream Processing, in Journal of Universal Computer Science, Vol. 21, Num. 6, ISSN: 0948-6968, pp. 816-841, 2015 - text
  • [Ocenění za nejlepší článek]Kruliš M., Bednárek D., Brabec M.: Improving Parallel Processing of Matrix-based Similarity Measures on Modern GPUs, in Similarity Search and Applications, Glasgow, Springer, ISBN: 978-3-319-25086-1, ISSN: 0302-9743, pp. 283-294, 2015 - text
  • [Core A konference]Falt Z., Bednárek D., Kruliš M., Yaghob J., Zavoral F.: Bobolang - A Language for Parallel Streaming Applications, in Proceedings of the 23rd International ACM Symposium on High-Performance Parallel and Distributed Computing, Vancouver, ACM, ISBN: 978-1-4503-2749-7, pp. 311-314, 2014
  • Falt Z., Kruliš M., Bednárek D., Yaghob J., Zavoral F.: Locality Aware Task Scheduling in Parallel Data Stream Processing, in Proceedings of the 8th International Symposium on Intelligent Distributed Computing - IDC'2014, Madrid, Springer Verlag, ISBN: 978-3-319-10421-8, ISSN: 1860-949X, pp. 331-342, 2014
  • [Žurnál s IF]Stárka J., Svoboda M., Sochna J., Schejbal J., Mlýnková I., Bednárek D.: Analyzer - A Complex System for Data Analysis, in Computer Journal, Vol. 55, Num. 5, ISSN: 0010-4620, pp. 590-615, 2012

Software

Bobox, MetroNG

Další informace

Kontaktynahoru

Tato stránka podléhá licenci Creative Commons Uveďte autora-Neužívejte komerčně 3.0 Česko