Reactive systems: a powerful paradigm for modelling and analysis from engineering to biology

A reactive system is a dynamic system that evolves in time by reacting to external events. Hardware components and software processes are reactive systems that interact with each other and with their physical environment. Computer science has developed powerful models, theories, algorithms, and tools for analyzing and predicting the behavior of reactive systems. These techniques are […]

Is the Microprocessor Under Threat?

Is the microprocessor under threat? Perhaps: certainly power consumption limitations reduce the proportion of transistors able to do useful work, fuelling a radical rethink of computational system design. Fortunately, custom hardware coupled with modern state-of-the art software design techniques may come to the rescue, potentially speeding up workloads by a factor of ten or more. […]