1133 search results - page 35 / 227 » Modeling and Control of Distributed Asynchronous Computation... |
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
DAC
2000
ACM
14 years 11 months ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
ENTCS
2007
13 years 10 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
ASAP
2003
IEEE
14 years 3 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...