Open AccessJournal ArticleDOI

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

Allberson Bruno de Oliveira Dantas, +2 more

- 01 Jun 2020 -

- Vol. 191, pp 102379

Chats0

TLDR

A Verification-as-a-Service (VaaS) framework for component certification on HPC Shelf is presented, aimed at providing higher confidence that components of parallel computing systems of HPC shelf behave as expected according to one or more requirements expressed in their contracts.

About:

This article is published in Science of Computer Programming.The article was published on 2020-06-01 and is currently open access. It has received 4 citations till now. The article focuses on the topics: Cloud computing & Certification.

Fig. 5. The cloud architecture of HPC Shelf.

Fig. 4. The architecture of a MapReduce parallel computing system.

Table 5 Speedups due to parallel certification.

Fig. 18. Certification times for the non-iterative and iterative workflows.

Table 4 Properties of C4MPISimple and C4MPIComplex.

Fig. 14. SAFeSWL code of M101 parallel computing system.

Citations

PDF

Open Access

More filters

Journal ArticleDOI

Multi-Dimensional Certification of Modern Distributed Systems

Marco Anisetti, +2 more

- 01 May 2023 -

IEEE Transactions on Services Computing

TL;DR: In this paper , a multi-dimensional certification scheme for service selection in cloud computing is presented, where additional dimensions model relevant aspects (e.g., programming languages and development processes) that significantly contribute to the quality of the results.

...read moreread less

Journal ArticleDOI

Componentes de alto rendimiento para la plataforma Bonita BPM

Darwin Stalin Ramírez Supe

TL;DR: The need to incorporate componentes personalizados in plataformas empresariales cuyas ediciones al publico en general son libres and limitados de caracteristicas that solo cuentan las edicione premium or pagadas is a hot topic of discussion among programadores as mentioned in this paper.

...read moreread less

Journal ArticleDOI

Multi-Dimensional Certification of Modern Distributed Systems

- 01 Jan 2022 -

IEEE Transactions on Services Computing

TL;DR: In this article , a multi-dimensional certification scheme for service selection in cloud computing is presented, where additional dimensions model relevant aspects (e.g., programming languages and development processes) that significantly contribute to the quality of the certification results.

...read moreread less

Proceedings Article

LTL Model Cheking of Service-Based Business Processes in the Cloud.

Kais Klai, +1 more

TL;DR: In this article, the authors propose a bottom-up approach to check the correct interaction between different service-based business processes distributed over a cloud environment and which may be provided by various organizations.

...read moreread less

References

PDF

Open Access

More filters

Book

Correctness proofs of distributed termination algorithms

Krzysztof R. Apt

TL;DR: A very simple proof method is proposed and applied to show correctness of a solution to the distributed termination problem of Francez, and allows us to reason about liveness properties of temporal logic using a new notion of weak total correctness.

...read moreread less

Journal ArticleDOI

Correctness proofs of distributed termination algorithms

Krzysztof R. Apt

- 01 Jun 1986 -

ACM Transactions on Programming Language...

TL;DR: The problem of correctness of the solutions to the distributed termination problem of Francez [7] is addressed in this paper, where a simple proof method is proposed and applied to show correctness of a solution to the problem.

...read moreread less

Proceedings ArticleDOI

Software component certification: a survey

Alexandre Alvaro, +2 more

TL;DR: This paper presents a survey of software component certification research, and indicates that the certification stands out as an essential area to evaluate the component reliability level.

...read moreread less

Journal ArticleDOI

WS-RF Workflow in Triana

Andrew Harrison, +3 more

TL;DR: The integration of WS-RF functionality into the graphical workflow enactment engine Triana is described, particularly how it enables a number of optimizations which are useful in scientific workflows to be performed in a standardized manner.

...read moreread less

Proceedings Article

Automated Software Testing as a Service (TaaS)

George Candea, +2 more

TL;DR: This paper makes the case for TaaS - automated software testing as a cloud-based service, and suggests the technical feasibility of doing so, and it is compelling also from a social and business point of view.

...read moreread less