External Links

    Journal: IEEE Trans. Software Eng.

    Volume 11, Issue 5

    446 -- 454Arthur J. Bernstein. A Loosely Coupled Distributed System for Reliably Storing Data
    454 -- 461David B. MacQueen, Donald Sannella. Completeness of Proof Systems for Equational Specifications
    461 -- 471Mukul K. Sinha. Atomic Actions and Resource Coordination Problems Having Nonunique Solutions
    471 -- 478Ronald H. Perrott, Danny Crookes, Peter Milligan, W. R. Martin Purdy. A Compiler for an Array and Vector Processing Language
    479 -- 483Sheldon M. Ross. Statistical Estimation of Software Reliability
    483 -- 491Giancarlo Martella, Barbara Pernici, Fabio A. Schreiber. An Availability Model for Distributed Transaction Systems
    491 -- 496Lionel M. Ni, Kai Hwang. Optimal Load Balancing in a Multiple Processor System with Many Job Classes
    runs on