Sciweavers

4045 search results - page 85 / 809
» Special Section on Parallel Distributed Computing and Networ...
Sort
View
COORDINATION
2006
Springer
15 years 6 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
131
Voted
IPPS
1998
IEEE
15 years 6 months ago
Protocols for Non-Deterministic Communication over Synchronous Channels
In this paper, we propose several deadlock-free protocols for implementing the generalized alternative construct, where a process non-deterministically chooses between sending or ...
Erik D. Demaine
74
Voted
CLUSTER
2009
IEEE
15 years 9 months ago
An efficient hardware-software approach to network fault tolerance with InfiniBand
Abhinav Vishnu, Manojkumar Krishnan, Dhabaleswar K...
87
Voted
CLUSTER
2003
IEEE
15 years 8 months ago
Shared Memory Mirroring for Reducing Communication Overhead on Commodity Networks
Bruce Palmer, Jarek Nieplocha, Edoardo Aprà
123
Voted
CCGRID
2009
IEEE
15 years 7 months ago
Adaptive Resource Indexing Technique for Unstructured Peer-to-Peer Networks
Sumeth Lerthirunwong, Naoya Maruyama, Satoshi Mats...