Search results for: Petr Tůma
Future Generation Computer Systems > 2017 > 72 > C > 81-104
Future Generation Computer Systems > 2016 > 64 > C > 15-38
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Benchmarking and Bounding > 245-259
Lecture Notes in Computer Science > Computer Performance Engineering > Poster Presentations > 250-264