Searching for "On the Use of History Variables." – sorted by Relevance.
-
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

