6031 search results - page 75 / 1207 » Communicating Transaction Processes |
120
click to vote
JEC
2006
14 years 12 months ago
2006
During the last two decades, Single Instruction Multiple Data (SIMD) processors have become important architectures in embedded systems for image processing applications. The main ...
158
click to vote
CALCO
2011
Springer
13 years 12 months ago
2011
Springer
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...
102
click to vote
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
ECSA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
109
click to vote
GW
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a method of image processing used in a mono-vision system in order to study semiotic gestures. We present a robust method to track the hands and face of a perso...