Real time reasoning -algorithmic strategies: data partitioning, parallel processing, domain spec. algorithms #Semtech, #oracle