Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
In interleaved multithreading, the thread changes ineach processor cycle, consecutive instructions are issuedfrom different threads, and no data dependenciescan stall the pipeline. Enhanced inteleaved multithreadingmaintains a number of additional threads ...