663 search results - page 32 / 133 » Process Algebra with Local Communication |
124
Voted
MKM
2009
Springer
15 years 8 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...
126
Voted
PC
2010
15 years 8 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...
105
Voted
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...
117
click to vote
TON
1998
15 years 1 months ago
1998
Abstract— Group communication services have been successfully used to construct applications with high availability, dependability, and real-time responsiveness requirements. Flo...
125
click to vote
PDP
2009
IEEE
15 years 8 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...