From post

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.

 

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

Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons., , , , и . ACM Trans. Model. Comput. Simul., 26 (1): 4:1-4:24 (2015)Wait-free Dynamic Transactions for Linked Data Structures., , , , и . PMAM@PPoPP, стр. 41-50. ACM, (2019)The ABA problem in multicore data structures with collaborating operations.. CollaborateCom, стр. 158-167. ICST / IEEE, (2011)Automating Non-Blocking Synchronization In Concurrent Data Abstractions., , и . ASE, стр. 735-747. IEEE, (2019)Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures., , и . MASCOTS, стр. 83-93. IEEE Computer Society, (2019)Evaluating Performance Optimizations of Large-scale Genomic Sequence Search Applications using SST/macro., , , , и . SIMULTECH, стр. 65-73. SciTePress, (2011)Quantifiability: Correctness of Concurrent Programs in Vector Space., , , и . PDP, стр. 94-98. IEEE, (2021)An Efficient Latch-free Database Index Based on Multi-dimensional Lists., , , и . IPCCC, стр. 1-2. IEEE, (2018)Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs., , и . CoRR, (2019)PETRA: Persistent Transactional Non-blocking Linked Data Structures., , , и . ACM Trans. Archit. Code Optim., 18 (2): 23:1-23:26 (2021)