2171 search results - page 208 / 435 » A Generic Process Algebra |
117
Voted
CMPB
2007
15 years 3 months ago
2007
This paper describes a method to integrate digital topology informations in image processing libraries. This additional information allows a library user to write algorithms respe...
136
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
124
Voted
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
Linda tuple spaces are flat and unstructured, in the sense that they do not allow for expressing preferences of tuples; for example, we could be interested in indicating tuples th...
107
Voted
PARLE
1989
15 years 7 months ago
1989
We explore an algebraic language for networks consisting of a xed number of reactive units, communicating synchronously over a xed linking structure. The language has only two ope...
112
click to vote
WOTUG
2007
15 years 4 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...