Efficient Parallel Determinacy Race Detection for Structured Futures.
Yifan XuKunal AgrawalI-Ting Angelina LeePublished in: SPAA (2021)
Keyphrases
- automatic detection
- parallel processing
- neural network
- satisfiability testing
- computationally expensive
- knowledge base
- case study
- multiscale
- search algorithm
- object detection
- lightweight
- detection algorithm
- cost effective
- social networks
- detection rate
- artificial intelligence
- data mining
- false alarms
- shared memory
- financial markets
- real time