Sciweavers

7992 search results - page 8 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
MFCS
1994
Springer
13 years 11 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
COOPIS
2004
IEEE
13 years 11 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
VTC
2008
IEEE
121views Communications» more  VTC 2008»
14 years 1 months ago
Symbol Error Probability of M-QAM in Multihop Communication Systems with Regenerative Relays
Abstract—We analyze the performance of multihop communication systems with regenerative relays in terms of the average symbol error probability (SEP) for M-ary quadrature amplitu...
Andreas Müller, Joachim Speidel
LATA
2009
Springer
14 years 1 days ago
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
Dana Pardubská, Martin Plátek, Fried...
CDC
2010
IEEE
101views Control Systems» more  CDC 2010»
13 years 2 months ago
Performance-oriented communication topology design for large-scale interconnected systems
Abstract-- Communication networks provide a larger flexibility with respect to the control design of large-scale interconnected systems by allowing the information exchange between...
Azwirman Gusrialdi, Sandra Hirche