ℹ️
🇬🇧
Search
Search for people relevant for "STATE"
STATE
Person
Class
Person
Publication
Programmes
Export current view
prof. Ing. Petr Tůma Dr.
Academic staff at Faculty of Mathematics and Physics
3 study programmes
12 classes
113 publications
Study programme
programme
Computer Science - Software Systems
+2
🇨🇿 PhD. |
Faculty of Mathematics and Physics
Classes
class
Programming in Rust Language
NPRG073 |
Faculty of Mathematics and Physics
class
Advanced programming in Rust
NPRG074 |
Faculty of Mathematics and Physics
class
Operating Systems
+2
NSWI004 |
Faculty of Mathematics and Physics
class
Middleware
+1
NSWI080 |
Faculty of Mathematics and Physics
class
Research Project Work
NSWI127 |
Faculty of Mathematics and Physics
class
Performance Evaluation of Computer Systems
+1
NSWI131 |
Faculty of Mathematics and Physics
class
Advanced Operating Systems
NSWI161 |
Faculty of Mathematics and Physics
class
Introduction to Middleware
NSWI163 |
Faculty of Mathematics and Physics
Load more classes (2)
Publications
publication
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
2013 |
Faculty of Mathematics and Physics
publication
Productive Development of Dynamic Program Analysis Tools with DiSL
2013 |
Faculty of Mathematics and Physics
publication
Performance Awareness in Component Systems: Vision Paper
2012 |
Faculty of Mathematics and Physics
publication
Streaming state space: a method of distributed model verification
+1
2007 |
Faculty of Mathematics and Physics
publication
Current Trends in Middleware Benchmarking
2003 |
Faculty of Mathematics and Physics
publication
Diagnosing Compiler Performance by Comparing Optimization Decisions
2023 |
Faculty of Mathematics and Physics
publication
Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)
2023 |
Faculty of Mathematics and Physics
publication
Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations
2023 |
Faculty of Mathematics and Physics
publication
GraalVM Compiler Benchmark Results Dataset (Data Artifact)
2023 |
Faculty of Mathematics and Physics
publication
Reducing Experiment Costs in Automated Software Performance Regression Detection
2022 |
Faculty of Mathematics and Physics
Load more publications (103)
Loading network view...