In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
Agostino Cortesi, Baudouin Le Charlier, Sabina Ros...
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
Background: Slow-fast analysis is a simple and effective method to reduce the influence of substitution saturation, one of the causes of phylogenetic noise and long branch attract...
Martin Kostka, Magdalena Uzlikova, Ivan Cepicka, J...
A program for action potential waveform analysis based on a PC compatible computer is described. Single or averaged action potentials are analyzed by obtaining its first derivativ...