: 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...
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....
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...
During the last two decades, Single Instruction Multiple Data (SIMD) processors have become important architectures in embedded systems for image processing applications. The main ...
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...