Sciweavers

10 search results - page 2 / 2
» Depletable Channels: Dynamics and Behaviour
Sort
View
ECEASST
2008
88views more  ECEASST 2008»
13 years 5 months ago
Reconfiguration of Reo Connectors Triggered by Dataflow
Abstract: Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed f...
Christian Koehler, David Costa, José Proen&...
ARTS
1999
Springer
13 years 10 months ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova
CPHYSICS
2007
90views more  CPHYSICS 2007»
13 years 5 months ago
Particles in fluids
For finite Reynolds numbers the interaction of moving fluids with particles is still only understood phenomenologically. We will present three different numerical studies all u...
Hans J. Herrmann, José S. Andrade Jr., Asc&...
FOSSACS
2004
Springer
13 years 11 months ago
safeDpi: A Language for Controlling Mobile Code
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
EMSOFT
2004
Springer
13 years 11 months ago
Reactive process networks
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
Marc Geilen, Twan Basten