ℹ️
🇬🇧
Search
Search for people relevant for "model to"
model to
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
Performance Evaluation of Computer Systems
+1
NSWI131 |
Faculty of Mathematics and Physics
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
Introduction to Middleware
NSWI163 |
Faculty of Mathematics and Physics
Load more classes (2)
Publications
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
On The Accuracy of Cache Sharing Models
2012 |
Faculty of Mathematics and Physics
publication
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation
2012 |
Faculty of Mathematics and Physics
publication
Computer Memory: Why We Should Care What Is Under The Hood
2012 |
Faculty of Mathematics and Physics
publication
Can Linear Approximation Improve Performance Prediction ?
2011 |
Faculty of Mathematics and Physics
publication
Validating Model-Driven Performance Predictions On Random Software Systems
2010 |
Faculty of Mathematics and Physics
publication
When Misses Differ: Investigating Impact of Cache Misses on Observed Performance
2009 |
Faculty of Mathematics and Physics
publication
Timing Penalties Associated with Cache Sharing
2009 |
Faculty of Mathematics and Physics
publication
Streaming state space: a method of distributed model verification
+1
2007 |
Faculty of Mathematics and Physics
Load more publications (103)
Loading network view...