ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "State Space"
State Space
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
Pokročilé programování v jazyce Rust
NPRG074 |
Matematicko-fyzikální fakulta
class
Operační systémy
+2
NSWI004 |
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
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
Úvod do middleware
NSWI163 |
Matematicko-fyzikální fakulta
Načíst další předměty (2)
Publikace
publication
Řetězení stavového prostoru: nová metoda distribuované verifikace
+1
2007 |
Matematicko-fyzikální fakulta
publication
Diagnosing Compiler Performance by Comparing Optimization Decisions
2023 |
Matematicko-fyzikální fakulta
publication
Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)
2023 |
Matematicko-fyzikální fakulta
publication
Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations
2023 |
Matematicko-fyzikální fakulta
publication
GraalVM Compiler Benchmark Results Dataset (Data Artifact)
2023 |
Matematicko-fyzikální fakulta
publication
Reducing Experiment Costs in Automated Software Performance Regression Detection
2022 |
Matematicko-fyzikální fakulta
publication
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing
2021 |
Matematicko-fyzikální fakulta
publication
Context-Tailored Workload Model Generation for Continuous Representative Load Testing
2021 |
Matematicko-fyzikální fakulta
publication
Duet Benchmarking: Improving Measurement Accuracy in the Cloud
2020 |
Matematicko-fyzikální fakulta
publication
DjangoChecker: Applying extended taint tracking and server side parsing for detection of context-sensitive XSS flaws
2019 |
Matematicko-fyzikální fakulta
Načíst další publikace (103)
Loading network view...