ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "tools"
tools
Osoba
Předměty
Osoby
Publikace
Studium
prof. Ing. Petr Tůma Dr.
Akademický pracovník na Matematicko-fyzikální fakulta
3 studijní programy
12 předmětů
113 publikací
Studijní program
programme
Informatika - Softwarové systémy
+2
🇨🇿 PhD. |
Matematicko-fyzikální fakulta
Předměty
class
Programování v jazyce Rust
NPRG073 |
Matematicko-fyzikální fakulta
class
Operační systémy
+2
NSWI004 |
Matematicko-fyzikální fakulta
class
Vyhodnocování výkonnosti počítačových systémů
+1
NSWI131 |
Matematicko-fyzikální fakulta
class
Pokročilé operační systémy
NSWI161 |
Matematicko-fyzikální fakulta
class
Pokročilé programování v jazyce Rust
NPRG074 |
Matematicko-fyzikální fakulta
class
Middleware
+1
NSWI080 |
Matematicko-fyzikální fakulta
class
Práce na výzkumném projektu
NSWI127 |
Matematicko-fyzikální fakulta
class
Úvod do middleware
NSWI163 |
Matematicko-fyzikální fakulta
Načíst další předměty (2)
Publikace
publication
ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
+1
2013 |
Matematicko-fyzikální fakulta
publication
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
2013 |
Matematicko-fyzikální fakulta
publication
Productive Development of Dynamic Program Analysis Tools with DiSL
2013 |
Matematicko-fyzikální fakulta
publication
Challenges for Refinement and Composition of Instrumentations: Position Paper
2012 |
Matematicko-fyzikální fakulta
publication
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation
2012 |
Matematicko-fyzikální fakulta
publication
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis
2012 |
Matematicko-fyzikální fakulta