Verifying Absence of Hardware-Software Data Races using Counting Abstraction.

Published in: MEMOCODE (2020)

Keyphrases

data analysis
computer systems
neural network
hardware software
database
real time
image processing
object oriented
embedded systems
hw sw