A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes.
Alejandro SánchezCésar SánchezPublished in: NASA Formal Methods (2011)
Keyphrases
- data types
- data sets
- theoretical basis
- databases
- database systems
- data structure
- theoretical framework
- multiscale
- data model
- concurrent systems
- verification method
- fingerprint verification
- formal methods
- information theory
- model checking
- knowledge discovery
- database
- relational databases
- artificial intelligence
- genetic algorithm
- real time