ℹ️
🇬🇧
Search
Search for people relevant for "Virtual Machines"
Virtual Machines
Person
Class
Person
Publication
Programmes
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
Advanced Operating Systems
NSWI161 |
Faculty of Mathematics and Physics
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
Introduction to Middleware
NSWI163 |
Faculty of Mathematics and Physics
Load more classes (2)
Publications
publication
ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
+1
2013 |
Faculty of Mathematics and Physics
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
I/O Performance Modeling of Virtualized Storage Systems
2013 |
Faculty of Mathematics and Physics
publication
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation
2012 |
Faculty of Mathematics and Physics
publication
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis
2012 |
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
Load more publications (103)
Loading network view...