16159 search results - page 2888 / 3232 » Parallel computing with CUDA |
183
click to vote
COCOON
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
138
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
154
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
173
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
163
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...