A Mathematical Approach to Large Scale Computing