A deletion channel is communication medium that takes a string of symbols as input, deletes a fixed number of them and outputs the remaining symbols by aligning them without changing their order.
There has been considerable interest in Software Transactional Memory in recent years. The reason for rise in STM is due to rise of multicore computers.
The two dominant paradigms for scientific discovery have historically been theory and experiments, with large-scale simulations emerging as the third paradigm in the 20th century.
Smart grids have been heralded as the key enabler of cleaner, cheaper and more reliable energy. They incorporate diverse energy sources, advanced monitoring, demand-side management and the ability to “self heal”.
I will survey the state of the art in the automated analysis of several classes of probabilistic infinite-state systems which naturally arise when studying probabilistic programs with recursive calls, queueing systems, population dynamics
