A comparison of voting strategies for fault-tolerant distributed systems von Blough, D.M., Sullivan, G.F.

Volltext bestellen

A O(t/sup 3/+ mod E mod ) fault identification algorithm for diagnosable systems von Sullivan, G.F.

Volltext

Approximate correctness-checking of computational results von Hongxia Jin, Sullivan, G.F., Masson, G.M.

Volltext

Efficient diagnosis of multiprocessor systems under probabilistic models von Blough, D.M., Sullivan, G.F., Masson, G.M.

Volltext

A formally verified sorting certifier von Bright, J.D., Sullivan, G.F., Masson, G.M.

Volltext

Certification of computational results von Sullivan, G.F., Wilson, D.S., Masson, G.M.

Volltext

Voting using predispositions von Blough, D.M., Sullivan, G.F.

Volltext

Intermittent fault diagnosis in multiprocessor systems von Blough, D.M., Sullivan, G.F., Masson, G.M.

Volltext

Certification trails for data structures von Sullivan, G.F., Masson, G.M.

Volltext bestellen

Using certification trails to achieve software fault tolerance von Sullivan, G.F., Masson, G.M.

Volltext bestellen

On-line error monitoring for several data structures von Bright, J.D., Sullivan, G.F.

Volltext bestellen

Checking the integrity of trees von Bright, J.D., Sullivan, G.F., Masson, G.M.

Volltext bestellen

Fault diagnosis for sparsely interconnected multiprocessor systems von Blough, D.M., Sullivan, G.F., Masson, G.M.

Volltext bestellen

Almost certain diagnosis for intermittently faulty systems von Blough, D.M., Sullivan, G.F., Masson, G.M.

Volltext bestellen

Distributed applet-based certifiable processing in client/server environments von Hongxia Jin, Sullivan, G.F., Masson, G.M.

Volltext bestellen

Certification trails and software design for testability von Sullivan, G.F., Wilson, D.S., Masson, G.M.

Volltext bestellen

Experimental evaluation of certification trails using abstract data type validation von Wilson, D.S., Sullivan, G.F., Masson, G.M.

Volltext bestellen

First Cosmology Results using Type Ia Supernovae from the Dark Energy Survey: Constraints on Cosmological Parameters von Abbott, T. M. C., Andersen, P., Asorey, J., Avelino, A., Avila, S., Bechtol, K., Bernstein, G. M., Bertin, E., Brooks, D., Brown, P., Burke, D. L., Rosell, A. Carnero, Carrasco Kind, M., Carretero, J., Casas, R., Castander, F. J., Cawthon, R., Challis, P., Childress, M., Cunha, C. E., da Costa, L. N., Davis, C., Davis, T. M., De Vicente, J., DePoy, D. L., Desai, S., Doel, P., Drlica-Wagner, A., Eifler, T. F., Evrard, A. E., Finley, D. A., Foley, R. J., Fosalba, P., Frieman, J., Galbany, L., García-Bellido, J., Gaztanaga, E., Glazebrook, K., Goldstein, D. A., Gruendl, R. A., Gschwend, J., Gupta, R. R., Gutierrez, G., Hartley, W. G., Hinton, S. R., Hollowood, D. L., Hoormann, J. K., Johnson, M. W. G., Kent, S., Kim, A. G., Kirshner, R. P., Kovacs, E., Krause, E., Kron, R., Kuehn, K., Kuhlmann, S., Kuropatkin, N., Lasker, J., Li, T. S., Lidman, C., Lima, M., Mandel, K. S., March, M., Marriner, J., Menanteau, F., Miller, C. J., Miquel, R., Miranda, V., Mohr, J. J., Muthukrishna, D., Möller, A., Nichol, R. C., Nord, B., Nugent, P., Palmese, A., Plazas, A. A., Roodman, A., Rozo, E., Rykoff, E. S., Sanchez, E., Scarpine, V., Schindler, R., Sevilla-Noarbe, I., Sharp, R., Smith, M., Soares-Santos, M., Sobreira, F., Spinka, H., Swann, E., Thomas, D., Thomas, R. C., Troxel, M. A., Tucker, B. E., Uddin, S. A., Walker, A. R., Wester, W., Wolf, R. C., Yanny, B., Zhang, B., Zhang, Y.

Volltext

The dark energy survey 5-yr photometrically identified type Ia supernovae von Möller, A, Smith, M, Sako, M, Sullivan, M, Vincenzi, M, Wiseman, P, Armstrong, P, Asorey, J, Brout, D, Carollo, D, Davis, T M, Frohmaier, C, Galbany, L, Glazebrook, K, Kelsey, L, Kessler, R, Lewis, G F, Lidman, C, Malik, U, Nichol, R C, Scolnic, D, Tucker, B E, Abbott, T M C, Aguena, M, Allam, S, Annis, J, Bertin, E, Bocquet, S, Brooks, D, Burke, D L, Carnero Rosell, A, Carrasco Kind, M, Carretero, J, Castander, F J, Conselice, C, Costanzi, M, Crocce, M, da Costa, L N, De Vicente, J, Desai, S, Diehl, H T, Doel, P, Everett, S, Ferrero, I, Finley, D A, Flaugher, B, Friedel, D, Frieman, J, García-Bellido, J, Gerdes, D W, Gruen, D, Gruendl, R A, Gschwend, J, Gutierrez, G, Herner, K, Hinton, S R, Hollowood, D L, Honscheid, K, James, D J, Kuehn, K, Kuropatkin, N, Lahav, O, March, M, Marshall, J L, Menanteau, F, Miquel, R, Morgan, R, Palmese, A, Paz-Chinchón, F, Pieres, A, Plazas Malagón, A A, Romer, A K, Roodman, A, Sanchez, E, Scarpine, V, Schubnell, M, Serrano, S, Sevilla-Noarbe, I, Suchyta, E, Tarle, G, Thomas, D, To, C, Varga, T N

Volltext

Prediction of mode of death in heart failure : The seattle heart failure model von MOZAFFARIAN, Dariush, ANKER, Stefan D, POOLE-WILSON, Philip A, LEVY, Wayne C, ANAND, Inder, LINKER, David T, SULLIVAN, Mark D, CLELAND, John G. F, CARSON, Peter E, MAGGIONI, Aldo P, MANN, Douglas L, PITT, Bertram

Volltext