Recent Advances in Parallel Virtual Machine and Message Passing Interface
This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, ...
Lire la suite
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192)
This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...
Lire la suite
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Lire la suite
Service Availability
Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition ...
Lire la suite
Service Availability (vol. # 4328)
This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
Lire la suite
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lire la suite
Software Design for Resilient Computer Systems
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...
Lire la suite
Software-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...
Lire la suite
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lire la suite
Wired/Wireless Internet Communications : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings
This book is organized in topical sessions on performance analysis of wireless systems, resource and QoS management, implementation ...
Lire la suite
