C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Unified Formal Framework for Analyzing Functional and Speed-path Properties.
Oswaldo Olivo
Sandip Ray
Jayanta Bhadra
Vivekananda M. Vedula
Published in:
MTV (2011)
Keyphrases
</>
main contribution
theoretical framework
lightweight
key properties
machine learning
information systems
metadata
case study
database systems
high speed
real time
artificial intelligence
formal model
conceptual framework
structural properties
endpoints
path length
data sets