A component-based framework for certification of components in a cloud of HPC services

HPC Shelfis a proposal of a cloud computing platform to provide component-oriented services for High Performance Computing (HPC) applications. This paper presents a Verification-as-a-Service (VaaS) framework for component certification onHPC Shelf. Certification is aimed at providing higher confiden...

Full description

Bibliographic Details
Main Author: de Oliveira Dantas, Allberson Bruno (author)
Other Authors: de Carvalho Junior, Francisco Heron (author), Barbosa, L. S. (author)
Format: article
Language:eng
Published: 2020
Subjects:
Formal verification
High-preformance computing
Scientific workflows
Verification-as-a-Service
High Performance Computing
Software components
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
Online Access:http://hdl.handle.net/1822/69190
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/69190

Internet

http://hdl.handle.net/1822/69190

Similar Items