( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification through Combinatorial Topology: the CAS-Extended Model.

, и . PMAM@PPoPP, стр. 61-70. ACM, (2019)

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.

Martin Peterson

Birgit Peterson

Günter Peterson

Rolf Peterson

Jürgen Peterson

 

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

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases., , , и . SBAC-PAD, стр. 107-115. IEEE, (2020)Entropy Measurement of Concurrent Disorder., , , и . QEST, том 12289 из Lecture Notes in Computer Science, стр. 239-257. Springer, (2020)Design and Implementation of Highly Scalable Quantifiable Data Structures., , , и . PaCT, том 12942 из Lecture Notes in Computer Science, стр. 371-385. Springer, (2021)Lock-free transactional vector., , и . PMAM@PPoPP, стр. 6:1-6:10. ACM, (2020)A Fast Discrete Event Driven Simulation Methodology for Computer Architectural Simulation., , и . HPCC/SmartCity/DSS, стр. 510-517. IEEE, (2018)Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures., , и . MASCOTS, стр. 83-93. IEEE Computer Society, (2019)Quantifiability: Correctness of Concurrent Programs in Vector Space., , , и . PDP, стр. 94-98. IEEE, (2021)Wait-free Dynamic Transactions for Linked Data Structures., , , , и . PMAM@PPoPP, стр. 41-50. ACM, (2019)Quantifiability: Concurrent Correctness from First Principles., , , и . CoRR, (2019)Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions., , и . DAIS, том 11534 из Lecture Notes in Computer Science, стр. 19-35. Springer, (2019)