Sciweavers

3684 search results - page 80 / 737
» Generic Support for Distributed Applications
Sort
View
CADE
2007
Springer
16 years 5 months ago
A History-based Verification of Distributed Applications
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
Bruno Langenstein, Andreas Nonnengart, Georg Rock,...
167
Voted
ISSTA
2006
ACM
15 years 10 months ago
Improving distributed memory applications testing by message perturbation
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
Richard W. Vuduc, Martin Schulz, Daniel J. Quinlan...
IPPS
2003
IEEE
15 years 10 months ago
Dynamic Resource Discovery for Applications Survivability in Distributed Real-Time Systems
In this paper we propose a new resource discovery protocol, REALTOR, which is based on a combination of pullbased and push-based resource information dissemination. REALTOR has be...
Byung-Kyu Choi, Sangig Rho, Riccardo Bettati
SIGOPS
2010
186views more  SIGOPS 2010»
15 years 3 months ago
Are clouds ready for large distributed applications?
Cloud computing carries the promise of providing powerful ls and abstractions that could transform the way IT services are delivered today. In order to establish the readiness of ...
Kunwadee Sripanidkulchai, Sambit Sahu, Yaoping Rua...
BTW
2003
Springer
94views Database» more  BTW 2003»
15 years 10 months ago
Web Services: Distributed Applications Without Limits
: Web services technology is all about distributed computing. There is no fundamentally new basic concept behind this and related technologies. What is really new is the reach of W...
Frank Leymann