Programming Clouds
No abstract available.
Related papers
- Robots at the Edge of the Cloud TACAS 2016
- Cloud-Based Verification of Concurrent Software VMCAI 2016
- Software Verification in the Google App-Engine Cloud CAV 2014
- Cloud Types for Eventual Consistency ECOOP 2012
- Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms APLAS 2025
- Dynamic vertical memory scalability for OpenJDK cloud applications ISMM 2018
- Towards Haskell in the cloud Haskell 2011
- Programming the cloud PPoPP 2011