Online data processing.
Overview
| Works: | 4 works in 2 publications in 2 languages | |
|---|---|---|
Titles
Generating Hardware Assertion Checkers = For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
by:
(Language materials, printed)
An introduction to online computation = determinism, randomization, advice /
by:
(Language materials, printed)
Concurrency control and recovery in OLTP systems : = high scalability and availability /
by:
(Language materials, printed)
Subjects