On-the-fly calculation and verification of consistent steering transactions.
David W. MillerJinhua GuoEileen T. KraemerYin XiongPublished in: SC (2001)
Keyphrases
- database
- databases
- model checking
- formal verification
- globally optimal
- concurrency control
- concurrent systems
- asynchronous circuits
- transaction management
- formal methods
- distributed database systems
- distributed databases
- distributed systems
- expert systems
- social networks
- transactional data
- genetic algorithm
- calculation method
- real time