Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications.

A. J. Field Peter G. Harrison K. Kanani

Published in: CATS (1998)

Keyphrases

simulation models
high level specifications
simulation model
automatically generate
schema mappings
agent based simulation
database schema
simulation tools
data exchange
sufficient conditions
air cargo
decision making
databases
data assimilation