Abstract
I'll briefly describe a handful of computational models that I often see being used in large-data analysis. As far as I know, these models have not been analyzed from a theoretical perspective. The goal is to give theorists an overview of these models in the hope that it may spark some exciting new methods for proving lower bounds (or better yet, upper bounds). Examples include the Millwheel model, the "parameter server" model, etc.