A compositional method for the synthesis of asynchronous communication mechanisms
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
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 ...