OpenSMT2: An SMT Solver for Multi-core and Cloud Computing.
Antti E. J. HyvärinenMatteo MarescottiLeonardo AltNatasha SharyginaPublished in: SAT (2016)
Keyphrases
- cloud computing
- data management
- data center
- computing resources
- cloud computing environment
- big data
- service providers
- distributed computing
- computing technologies
- cloud storage
- data sets
- business models
- cloud computing platform
- distributed storage
- cloud services
- computing paradigm
- trusted computing
- map reduce
- security issues
- database
- computing infrastructure
- peer to peer
- internet and the world wide web