663 search results - page 32 / 133 » Process Algebra with Local Communication |
130
click to vote
MKM
2009
Springer
15 years 9 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
131
click to vote
PC
2010
15 years 23 days ago
2010
We consider the computation of shortest paths on Graphic Processing Units (GPUs). The blocked recursive elimination strategy we use is applicable to a class of algorithms (such as...
109
click to vote
SP
1996
IEEE
15 years 6 months ago
1996
IEEE
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...
123
click to vote
TON
1998
15 years 2 months ago
1998
Abstract— Group communication services have been successfully used to construct applications with high availability, dependability, and real-time responsiveness requirements. Flo...
130
click to vote
PDP
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The increasing number of cores per node in highperformance computing requires an efficient intra-node MPI communication subsystem. Most existing MPI implementations rel...