Sciweavers

2583 search results - page 13 / 517
» Internet Messaging Frameworks
Sort
View
CCECE
2006
IEEE
15 years 3 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
C5
2008
IEEE
15 years 4 months ago
Graphical Tutoring of Message Passing to Promote Understanding of Java Framework
Atsuko Ueno, Hiroshi Taguchi, Hideyuki Takada, Hir...
PVM
2005
Springer
15 years 3 months ago
A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids
Abstract. This paper presents P2P-MPI, a middleware aimed at computational grids. From the programmer point of view, P2P-MPI provides a message-passing programming model which enab...
Stéphane Genaud, Choopan Rattanapoka
ENTCS
2007
79views more  ENTCS 2007»
14 years 9 months ago
Towards Trustworthy Spatial Messaging
Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. F...
Michel Deriaz, Jean-Marc Seigneur
ICWS
2004
IEEE
14 years 11 months ago
Provisioning Resilient, Adaptive Web Services-based Workflow: A Semantic Modeling Approach
Web Services are emerging technologies that enable application-to-application communication and reuse of autonomous services over the Web. Recent efforts, OWL-S, model the semanti...
Chintan Patel, Kaustubh Supekar, Yugyung Lee