Home

Maria Rita Di Berardini

  1. A Framework for the Evaluation of Worst-Case System Efficiency.

    Tue, 05/10/2011 - 15:01 — SomNambul
    Authors: Massimo Callisto De Donato, Maria Rita Di Berardini
    Subjects: Logic in Computer Science
    Abstract

    In this paper we present FASE (Fast Asynchronous Systems Evaluation), a tool
    for evaluating worst-case efficiency of asynchronous systems. This tool
    implements some well-established results in the setting of a timed CCS-like
    process algebra: PAFAS (a Process Algebra for Faster Asynchronous Systems).
    Moreover, we discuss some new solutions that are useful to improve the
    applicability of FASE to concrete meaningful examples.

  2. Evaluating the Efficiency of Asynchronous Systems with FASE.

    Tue, 05/10/2011 - 15:01 — SomNambul
    Authors: Walter Vogler, Flavio Corradini, Federico Buti, Massimo Callisto De Donato, Maria Rita Di Berardini
    Subjects: Logic in Computer Science
    Abstract

    In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a
    tool for evaluating the worst-case efficiency of asynchronous systems. The tool
    is based on some well-established results in the setting of a timed process
    algebra (PAFAS: a Process Algebra for Faster Asynchronous Systems). To show the
    applicability of FASE to concrete meaningful examples, we consider three
    implementations of a bounded buffer and use FASE to automatically evaluate
    their worst-case efficiency.

Math-arch

Syndicate content