This user manual describes the second release of Chronos, a prototype tool that performs Worst Case Execution Time (WCET) analysis of embedded software. Compared to most other WCET tools, Chronos models the timing effects of more contemporary micro-architectures on the execution time of a program. Hence it produces tighter WCET estimates. This manual contains an overview of WCET analysis, a bri...

1EnviroSPACE laboratory, Climate Change and Climate Impacts, Institute for Environmental Sciences, University of Geneva, Switzerland. 2Laboratory of anthropology, genetics and peopling history, Department of Anthropology, University of Geneva, Switzerland. 3Computational and Molecular Population Genetics Lab, Institute of Ecology and Evolution, University of Berne, Switzerland 4Swiss Institute ...

This report contains instructions to install, uninstall and use GREAT Process Modeller, a tool that supports Communication Analysis, a communication-oriented business process modelling method. GREAT allows creating communicative event diagrams (i.e. business process models), specifying message structures (which describe the messages associated to each communicative event), and automatically gen...

A simple numerical procedure has been implemented as a Matlab script to allow straightforward design of high speed, resistor loaded, differential amplifiers in modern CMOS processes. The amplifier, shown in Figure 1, exhibits device characteristics that dramatically depart from traditional square law characterisitics making designs based on hand calculations grossly inaccurate. The analytical f...

In Libra, each probabilistic model represents a probability distribution, P (X ), over set of discrete random variables, X = {X1, X2, . . . , Xn}. Libra supports Bayesian networks (BNs), Markov networks (MNs), dependency networks (DNs) [8], sumproduct networks (SPNs) [19], arithmetic circuits (ACs) [6], and mixtures of trees (MT) [17]. BNs and DNs represent a probability distribution as a colle...

Two Sample Logo is a procedure for discovery of statistically significant position-specific differences in residue compositions between two multiple sequence alignments, as well as for graphical representation of those differences. It was proposed by Vacic, Iakoucheva and Radivojac [11], and implemented as a web application (available at http://www.twosamplelogo.org) and as a command line progr...