Proving transaction and system-level properties of untimed SystemC TLM designs.

Daniel Große Hoang Minh Le Rolf Drechsler

Published in: MEMOCODE (2010)

Keyphrases

database
data sets
artificial neural networks
concurrency control
neural network
search algorithm
mobile devices
transaction management
real time
databases
artificial intelligence
information systems
petri net
structural properties
levels of abstraction