A Novel Computational Model for GPUs with Applications to Efficient Algorithms