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