On-the-fly verification of memory consistency with concurrent relaxed scoreboards.
Leandro S. FreitasEberle A. RamboLuiz C. V. dos SantosPublished in: DATE (2013)
Keyphrases
- memory requirements
- model checking
- memory usage
- memory space
- dynamically created
- optimal solution
- face verification
- computing power
- consistency checking
- databases
- mutual exclusion
- read write
- memory size
- global consistency
- genetic algorithm
- real time
- limited memory
- signature verification
- random access
- main memory
- multi threaded
- reinforcement learning
- data mining
- low memory
- maintaining consistency