Sciweavers

1497 search results - page 54 / 300
» A Computational Model for Message Passing
Sort
View
CONCUR
2006
Springer
14 years 28 days ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
HRI
2009
ACM
14 years 4 months ago
Situated messages for asynchronous human-robot interaction
An ongoing issue in human robot interaction (HRI) is how people and robots communicate with one another. While there is considerable work in real-time human-robot communication, f...
Nicolai Marquardt, James Everett Young, Ehud Sharl...
ATAL
2007
Springer
14 years 3 months ago
An incentive mechanism for message relaying in unstructured peer-to-peer systems
Distributed message relaying is an important function of a peer-topeer system to discover service providers. Existing search protocols in unstructured peer-to-peer systems either ...
Cuihong Li, Bin Yu, Katia P. Sycara
IC
2003
13 years 10 months ago
Improving the Performance of Grid-Enabled MPI by Intelligent Message Compression
In the Grid computing, one of the most important issues related to the Message Passing Interface (MPI) is to guarantee the expected performance in the wide area networks. To achie...
Hwang-Jik Lee, Kyung-Lang Park, Kwang-Won Koh, Oh-...
IPPS
1998
IEEE
14 years 1 months ago
Runtime Support for Virtual BSP Computer
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...
Mohan V. Nibhanupudi, Boleslaw K. Szymanski