2 search results - page 1 / 1 » Formal Verification of Out-of-Order Execution Using Incremen... |
CAV
1998
Springer
13 years 9 months ago
1998
Springer
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
IAT
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...