We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
Flavio Corradini, Maria Rita Di Berardini, Walter ...
Future deep sub-micron technologies will be characterized by large parametric variations, which could make asynchronous design an attractive solution for use on large scale. Howev...
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
It is necessary to have the precise definition of available performance of high availability systems that can represent the availability and performability of the systems altogethe...
Computer Science Education Research is often done in a very local setting and findings are difficult to transfer to other institutions. There are however several factors that spea...