No photo of William H Sanders

View Scopus Profile

William H Sanders

Interim Director, Discovery Partners Institute

1985 …2019
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1985 2019

Filter
Conference article
2005

Automatic model-driven recovery in distributed systems

Joshi, K. R., Hiltunen, M. A., Sanders, W. H. & Schlichting, R. D., Dec 1 2005, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 25-36 12 p., 1541182.

Research output: Contribution to journal › Conference article

Distributed Systems
Recovery
Monitoring
Optimal Recovery
Fault Injection
2004

CoBFIT: A component-based framework for intrusion tolerance

Ramasamy, H. G. V., Agbaria, A. & Sanders, W. H., Dec 1 2004, In : Conference Proceedings of the EUROMICRO. 30, p. 591-600 10 p.

Research output: Contribution to journal › Conference article

Communication systems

Symbolic state-space exploration and numerical analysis of state-sharing composed models

Derisavi, S., Kemper, P. & Sanders, W. H., Jul 15 2004, In : Linear Algebra and Its Applications. 386, 1-3 SUPPL., p. 137-166 30 p.

Research output: Contribution to journal › Conference article

Numerical analysis
Numerical Analysis
State Space
Sharing
Continuous-time Markov Chain
2003

Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes

Tai, A. T., Tso, K. S. & Sanders, W. H., Dec 16 2003, In : Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. p. 385-390 6 p.

Research output: Contribution to journal › Conference article

Message passing
Recovery
2001

A connection formalism for the solution of large and stiff models

Daly, D. & Sanders, W. H., Jan 1 2001, In : Proceedings of the IEEE Annual Simulation Symposium. p. 258-265 8 p.

Research output: Contribution to journal › Conference article

Model
Modeling
Decomposition Techniques
Stiffness
State Space
1999

State-space support for path-based reward variables

Obal, W. D. & Sanders, W. H., May 1999, In : Performance Evaluation. 35, 3, p. 233-251 19 p.

Research output: Contribution to journal › Conference article

Reward
State Space
Path
Performance Measures
Model
1998

AQuA: an adaptive architecture that provides dependable distributed objects

Cukier, M., Ren, J., Sabnis, C., Henke, D., Pistole, J., Sanders, W. H., Bakken, D. E., Berman, M. E., Karr, D. A. & Schantz, R. E., Dec 1 1998, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 245-253 9 p.

Research output: Contribution to journal › Conference article

Dependability
Availability
Distributed Applications
Gateway
Managers
1997

Probabilistic verification of a synchronous round-based consensus protocol

Duggal, H. S., Cukier, M. & Sanders, W. H., Dec 1 1997, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 165-174 10 p.

Research output: Contribution to journal › Conference article

Network protocols
Crash
Distributed Systems
Correctness
Fault
1996

Computation of the asymptotic bias and variance for simulation of Markov reward models

van Moorsel, A. P. A., Kant, L. A. & Sanders, W. H., Jan 1 1996, In : Proceedings of the IEEE Annual Simulation Symposium. p. 173-182 10 p.

Research output: Contribution to journal › Conference article

Asymptotic Bias
Asymptotic Variance
Reward
Simulation
Computational methods

Using ZPL to develop a parallel chaos router simulator

Richardson, W., Bailey, M. L. & Sanders, W. H., Dec 1 1996, In : Winter Simulation Conference Proceedings. p. 809-816 8 p.

Research output: Contribution to journal › Conference article

Router
Routers
Chaos theory
Chaos
Simulator