Sciweavers

1624 search results - page 270 / 325
» Integrating Fault-Tolerant Techniques into the Design of Cri...
Sort
View
ICC
2007
IEEE
108views Communications» more  ICC 2007»
15 years 4 months ago
Flow Management for SIP Application Servers
—In this paper, we study how to build a front-end flow management system for SIP application servers. This is challenging because of some special characteristics of SIP and SIP a...
Jing Sun, Jinfeng Hu, Ruixiong Tian, Bo Yang
IEEEAMS
2003
IEEE
15 years 3 months ago
JAGR: An Autonomous Self-Recovering Application Server
This paper demonstrates that the dependability of generic, evolving J2EE applications can be enhanced through a combination of a few recovery-oriented techniques. Our goal is to r...
George Candea, Emre Kiciman, Steve Zhang, Pedram K...
RTA
2010
Springer
15 years 2 months ago
Certified Subterm Criterion and Certified Usable Rules
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...
Christian Sternagel, René Thiemann
ICPADS
2010
IEEE
14 years 8 months ago
Hybrid Checkpointing for MPI Jobs in HPC Environments
As the core count in high-performance computing systems keeps increasing, faults are becoming common place. Checkpointing addresses such faults but captures full process images ev...
Chao Wang, Frank Mueller, Christian Engelmann, Ste...
HICSS
1996
IEEE
165views Biometrics» more  HICSS 1996»
15 years 2 months ago
Advanced Distributed Simulation through the Aggregate Level Simulation Protocol
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
Richard M. Weatherly, Annette L. Wilson, Bradford ...