Hardware-Assisted Online Data Race Detection.
Faustin AhishakiyeJosé-Ignacio Requeno JaraboViolet Ka I PunVolker StolzPublished in: Formal Methods in Outer Space (2021)
Keyphrases
- database
- data sources
- real time
- raw data
- synthetic data
- spatial data
- data acquisition
- small number
- automatic detection
- complex data
- training data
- computational power
- data sets
- data quality
- data structure
- data mining techniques
- missing data
- high dimensional data
- hardware and software
- data distribution
- computing power
- detection method
- computer systems
- input data
- low cost
- image data
- knowledge discovery
- probability distribution
- prior knowledge
- video sequences
- information systems
- data mining