Formalizing SANE Virtual Processor in Thread Algebra.

Thuy Duong Vu Chris R. Jesshope

Published in: ICFEM (2007)

Keyphrases

augmented reality
high speed
virtual reality
virtual world
parallel processing
data sets
three dimensional
query language
relational algebra
data model
website
relational databases
high end