Carlos Renato Vázquez

Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler

2015

Overbooking techniques have been proven efficient to increase overall utilization of cloud datacenters. However, overbooking may also degrade applications performance as (at least) some applications need to share physical resources such as CPU or memory. …

Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT

2024

In this paper we deal with propositional fuzzy formulae containing several propositional symbols linked with connectives defined in a lattice of truth degrees more complex than Bool. We firstly recall an SMT (Satisfiability Modulo Theories) …