8501 search results - page 46 / 1701 » Reactive process networks |
SOFSEM
2007
Springer
14 years 4 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
CODES
2009
IEEE
14 years 4 months ago
2009
IEEE
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
ICALP
2010
Springer
14 years 2 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
MOBIS
2008
13 years 11 months ago
2008
: Attention to the specific characteristics of rather unstructured processes and the consequences for the modeling of these processes can only rarely be observed. This paper presen...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— In recent years, network coding has proved to be an efficient tool to disseminate data through a network. A number of practical schemes have been proposed to implement network...