Cost analysis statically approximates the cost of programs in terms of their input data size.
This paper presents, to the best of our knowledge, the first approach to the automatic cost …

Resource analysis aims at statically obtaining bounds on the resource consumption of
programs in terms of input parameters. A well known approach to resource analysis is based …

A great deal of energy in Information and Communication Technology (ICT) systems can be
wasted by software, regardless of how energy-efficient the underlying hardware is. To avoid …

This paper describes a tool for checking secure information flow in Java Card applications.
The tool performs a static analysis of Java Card CAP files and includes a CAP viewer. The …

Termination analysis tools strive to find proofs of termination for as wide a class of
(terminating) programs as possible. Though several tools exist which are able to prove …

La herramienta SYCO (Systematic testing tool for Concurrent Objects) es un analizador de
modelos concurrentes que recibe un programa concurrente a ejecutar con unos …

Polystyrene (PS) is a petroleum‐based plastic made from styrene (vinyl benzene) monomer.
Since it was first commercially produced in 1930, it has been used for a wide range of …

Physiotherapy or body oriented therapy is often overlooked as an adjunctive treatment for
patients with eating disorders (ED). However, the integration of physiotherapy is based on …

El presente proyecto desarrolla un componente de software para manejar Sistemas de
Relaciones de Coste (SRC) y calcular cotas superiores en forma cerrada de sus relaciones …