Meta-Configuration Tracking for Machine-Certified Correctness of Concurrent Data Structures (Abstract).
Prasad JayantiSiddhartha JayantiUgur Y. YavuzLizzie HernandezPublished in: HOPC@SPAA (2024)
Keyphrases
- data structure
- concurrent execution
- motion model
- particle filter
- kalman filter
- particle filtering
- efficient data structures
- machine learning
- motion segmentation
- real time tracking
- concurrent programs
- data sets
- meta reasoning
- configuration problems
- challenging sequences
- mutual exclusion
- database operations
- tracking framework
- configuration space
- robust tracking
- moving target
- neural network