Searching for "On the Use of History Variables." – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
A Correctness Proof of a Cache Coherence Protocol
- … and uses history variables. Structuring of the proof is achieved by careful formulation of lemmata…
- Cited by 4 (1 self) – Add To MetaCart
-
Indiana Jones and . . .
- … • Specification SPEC : fusion closed property • Specifications can be made fusion closed using history variables…
- Add To MetaCart
-
Coordinated Energy Conservation for Ad Hoc Networks
- … we have extended SPAN’s energy saving mode by using history and variable NATIM window time. However…
- Add To MetaCart
-
Cut-free single-pass tableaux for the logic of common knowledge
- … information with each node of the tableau using histories and variables. A history is a mechanism…
- Cited by 2 (0 self) – Add To MetaCart
-
Howard READERS ANr,RITERS PaNe
- …'s. It has been modified to use history variables directly rather than the differences between them. Thus…
- Add To MetaCart
-
A General Compositional Approachto Verifying Hierarchical Cache Coherence Protocols
- … is achieved by using a variant of history variables [3, 4],the variation being that the value of the history…
- Add To MetaCart
-
The LIME Interface Specification Language and Runtime Monitoring Tool ⋆
- …, the implementation uses a history variables technique to store the required values at the entry point of a call…
- Add To MetaCart
-
Monolithic verification of deep pipelines with collapsed flushing
- … on the programmer visible components. This is accomplished with the use of history variables, variables that record…
- Cited by 1 (1 self) – Add To MetaCart
-
Forward and Backward Simulations Part I: Untimed Systems
- … to those in this paper are presented. The usefulness of refinement mappings, history variables, and forward…
- Cited by 111 (20 self) – Add To MetaCart
-
Hierarchical Cache Coherence Protocol Verification One Level at a Time Through Assume-Guarantee
- …-inclusive caching hierarchies are far more complex. We show that by using history variables, but in a novel way…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
