Found at HPCwire, news that the Ubiquitous Reconfigurable Computing Workshop at HiPC 2009 is accepting submissions July 21 — The Second International Workshop on Ubiquitous Reconfigurable Computing ...
The application of Petri nets in cyber-physical systems and reconfigurable computing offers a robust framework for formalising and verifying the behaviour of complex, interactive systems. By providing ...