Author:
Bulej Lubomir,Bures Tomas,Horky Vojtech,Keznikl Jaroslav,Tuma Petr
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Adaptive Dispatch;Companion of the 2018 ACM/SPEC International Conference on Performance Engineering;2018-04-02
2. Utilizing Performance Unit Tests To Increase Performance Awareness;Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering;2015-01-31
3. Tools for Ensemble Design and Runtime;Software Engineering for Collective Autonomic Systems;2015
4. Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas;Software Engineering Research, Management and Applications;2014