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...

ver descrição completa

Detalhes bibliográficos
Autor principal: de Oliveira Dantas, Allberson Bruno (author)
Outros Autores: de Carvalho Junior, Francisco Heron (author), Barbosa, L. S. (author)
Formato: article
Idioma:eng
Publicado em: 2020
Assuntos:
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
Texto completo:http://hdl.handle.net/1822/69190
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/69190

Texto Completo

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

Registos relacionados