most citedPSTM Transaction Scheduler Verification Based on CSP and Testing

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.DC2023★ 2 cited

PSTM Transaction Scheduler Verification Based on CSP and Testing

Miroslav Popovic, Marko Popovic, Branislav Kordic +1

Many online transaction scheduler architectures and algorithms for various software transactional memories have been designed in order to maintain good system performance even for…