Silvia Lizeth Tapia Tarifa | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Einar Broch Johnsen
13 publications
Ludovic Henrio
10 publications
Ferruccio Damiani
9 publications
Reiner Hähnle
5 publications
Frank S. de Boer
5 publications
Violet Ka I Pun
2 publications
Gianluca Turin
1 publication
Andrea Borgarelli
1 publication
Simone Donetti
1 publication
Crystal Chang Din
1 publication

research

∙ 05/12/2023

Predicting Resource Consumption of Kubernetes Container Systems using Resource Models

Cloud computing has radically changed the way organisations operate thei...

0 Gianluca Turin, et al. ∙

research

∙ 01/25/2023

Proving Correctness of Parallel Implementations of Transition System Specifications

The overall problem addressed in this paper is the long-standing problem...

0 Frank S. de Boer, et al. ∙

research

∙ 02/24/2022

LAGC Semantics of Concurrent Programming Languages

Formal, mathematically rigorous programming language semantics are the e...

0 Crystal Chang Din, et al. ∙