Sciweavers

5334 search results - page 41 / 1067
» Communicating quantum processes
Sort
View
INTERACT
2003
15 years 3 months ago
The Process of Developing a Mobile Device for Communication in a Safety-Critical Domain
: This paper describes the process of developing an interactive mobile system for use in a safety-critical domain. The system was developed to inquire into the extent of which coor...
Jesper Kjeldskov, Jan Stage
ICASSP
2011
IEEE
14 years 5 months ago
A novel probe processing method for underwater communication by passive-phase conjugation
Underwater acoustic communication by passive-phase conjugation uses a channel probe signal transmitted prior to the data signal in order to estimate the channel response. At the r...
Guosong Zhang, Jens M. Hovem, Hefeng Dong, Paul A....
JSS
2010
120views more  JSS 2010»
14 years 8 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
JEC
2006
100views more  JEC 2006»
15 years 1 months ago
RC-SIMD: Reconfigurable communication SIMD architecture for image processing applications
During the last two decades, Single Instruction Multiple Data (SIMD) processors have become important architectures in embedded systems for image processing applications. The main ...
Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Ba...
CALCO
2011
Springer
223views Mathematics» more  CALCO 2011»
14 years 1 months ago
On the Statistical Thermodynamics of Reversible Communicating Processes
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
Giorgio Bacci, Vincent Danos, Ohad Kammar