( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation.

, , , , , , и . Conf. Computing Frontiers, стр. 17:1-17:9. ACM, (2013)

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.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

Другие публикации лиц с тем же именем

Computer-aided verification technology for biology.. FMCAD, стр. 11. IEEE, (2014)Strategy Improvement for Concurrent Safety Games, , и . CoRR, (2008)An assume-guarantee rule for checking simulation., , , и . ACM Trans. Program. Lang. Syst., 24 (1): 51-64 (2002)Temporal Specifications with Accumulative Values., , , и . ACM Trans. Comput. Log., 15 (4): 27:1-27:25 (2014)A classification of symbolic transition systems., , и . ACM Trans. Comput. Log., 6 (1): 1-32 (2005)Probabilistic Systems with LimSup and LimInf Objectives, и . CoRR, (2008)Temporal Proof Methodologies for Real-time Systems., , и . POPL, стр. 353-366. ACM Press, (1991)Symbolic Model Checking for Rectangular Hybrid Systems., и . TACAS, том 1785 из Lecture Notes in Computer Science, стр. 142-156. Springer, (2000)Faster Statistical Model Checking for Unbounded Temporal Properties., , , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 112-129. Springer, (2016)Better Quality in Synthesis through Quantitative Objectives., , , и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 140-156. Springer, (2009)