Symbolic Step Encodings for Object Based Communicating State Machines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Exploiting step semantics for efficient bounded model checking of asynchronous systems
Science of Computer Programming
Hi-index | 0.01 |
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 ...