( en | de | ru )

 

Disambiguation of "Tuma, Petr"

Author of the publication

copydeleteadd this publication to your clipboard
DiSL: an extensible language for efficient and comprehensive dynamic program analysis.

, , , , , and . DSAL@AOSD, page 27-28. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karla Tuma

Miroslav Tuma

Christian Tuma

Roman Tuma

Evelyn Tuma

 

Other publications of authors with the same name

On the limits of modeling generational garbage collector performance., , , and . ICPE, page 15-26. ACM, (2014)Capturing performance assumptions using stochastic performance logic., , , , , and . ICPE, page 311-322. ACM, (2012)Investigating Cache Parameters of x86 Family Processors., and . SPEC Benchmark Workshop, volume 5419 of Lecture Notes in Computer Science, page 77-96. Springer, (2009)Towards Systematic Synthesis of Reflective Middleware., , and . Reflection, volume 1616 of Lecture Notes in Computer Science, page 144-146. Springer, (1999)Methodological Principles for Reproducible Performance Evaluation in Cloud Computing - A SPEC Research Technical Report, , , , , , , , , and . SPEC-RG-2019-04. SPEC Research Group --- Cloud Working Group, Standard Performance Evaluation Corporation (SPEC), (April 2019)Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)., , and . MPLR, page 179. ACM, (2023)Validating Model-Driven Performance Predictions on Random Software Systems., , and . QoSA, volume 6093 of Lecture Notes in Computer Science, page 3-19. Springer, (2010)Generic Environment for Full Automation of Benchmarking., , and . SOQUA/TECOS, volume P-58 of LNI, page 125-132. GI, (2004)Resource Sharing in Performance Models., , and . EPEW, volume 4748 of Lecture Notes in Computer Science, page 245-259. Springer, (2007)Formalization of Invariant Patterns for the Invariant Refinement Method., , , , and . Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, page 602-618. Springer, (2015)