4 citations · 6 across the 2 of their papers we have counts for
2 papers
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…
cs.SE2011★ 4 cited
Formalising the Continuous/Discrete Modeling Step
Richard Banach, Huibiao Zhu, Wen Su +1
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a tr…