Sciweavers

27 search results - page 4 / 6
» A messaging API for inter-widgets communication
Sort
View
IPPS
1999
IEEE
14 years 2 months ago
MPIJAVA: An Object-Oriented JAVA Interface to MPI
Abstract. A basic prerequisite for parallel programming is a good communication API. The recent interest in using Java for scienti c and engineering application has led to several ...
Mark Baker, Bryan Carpenter, Geoffrey Fox, Sung Ho...
DEBS
2009
ACM
14 years 2 months ago
Soft state in the XSiena publish/subscribe system
This paper presents our experiences with building of the soft state XSiena publish/subscribe system. We provide a brief overview of our approach towards the soft state in publish/...
Zbigniew Jerzak, Christof Fetzer, Robert Wojcicki
COMPSEC
2008
138views more  COMPSEC 2008»
13 years 10 months ago
SMSSec: An end-to-end protocol for secure SMS
Short Message Service is usually used to transport unclassified information, but with the rise of mobile commerce it has become an integral tool for conducting business. However S...
Johnny Li-Chang Lo, Judith Bishop, Jan H. P. Eloff
FM
2009
Springer
110views Formal Methods» more  FM 2009»
14 years 4 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
PADS
1998
ACM
14 years 1 months ago
GloMoSim: A Library for Parallel Simulation of Large-Scale Wireless Networks
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...
Xiang Zeng, Rajive Bagrodia, Mario Gerla