information processing systems banking systems airline reservation systems real time process control aircraft control systems industrial control systems parallel computation scientific computing including cluster computing grid computing cloud computing various volunteer computing projects see list distributed computing projects distributed rendering computer graphics theoretical foundations models many tasks would like automate using computer question answer type would like ask question computer produce answer theoretical computer science tasks called computational problems formally computational problem consists ''instances'' together
Formal science Computer science Distributed computing