( en | de | ru )

 

Disambiguation of "Dechev, Damian"

Author of the publication

copydeleteadd this publication to your clipboard
Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons.

, , , , and . ACM Trans. Model. Comput. Simul., 26 (1): 4:1-4:24 (2015)

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.

Damian Blumenröder

Damián Cornejo

Hans Damian

Damian Hecker

Damian Kopyto

 

Other publications of authors with the same name

Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs., , and . CoRR, (2019)An Efficient Latch-free Database Index Based on Multi-dimensional Lists., , , and . IPCCC, page 1-2. IEEE, (2018)Towards workload-adaptive scheduling for HPC clusters., , , and . CLUSTER, page 449-453. IEEE, (2020)Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks., , , and . ACM Trans. Archit. Code Optim., 15 (4): 66:1-66:25 (2019)PETRA: Persistent Transactional Non-blocking Linked Data Structures., , , and . ACM Trans. Archit. Code Optim., 18 (2): 23:1-23:26 (2021)A Methodology for Performance Analysis of Non-blocking Algorithms Using Hardware and Software Metrics., , and . ISORC, page 43-52. IEEE Computer Society, (2016)Extending LDMS to Enable Performance Monitoring in Multi-core Applications., , , and . CLUSTER, page 717-720. IEEE Computer Society, (2015)CCSpec: a correctness condition specification tool., , and . ICPC, page 220-230. IEEE / ACM, (2019)Evaluating Performance Optimizations of Large-scale Genomic Sequence Search Applications using SST/macro., , , , and . SIMULTECH, page 65-73. SciTePress, (2011)Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons., , , , and . ACM Trans. Model. Comput. Simul., 26 (1): 4:1-4:24 (2015)