Verifying Data Integrity for Multi-Threaded Programs.
Imran PinjariMichael ShinPushkar OgalePublished in: ICSOFT (2023)
Keyphrases
- multi threaded
- data integrity
- database design
- distributed databases
- database systems
- data storage
- multi core processors
- operating system
- database
- databases
- client server
- information flow
- computer architecture
- database administrators
- active databases
- stored procedures
- real time
- database management
- fine grained
- database applications