mauney@ncsu.UUCP (Jon Mauney) (05/08/85)
%A Arthur J. Berstein %T A loosely coupled distributed system for reliably storing data %J IEEE-TSE %V SE-11 %N 5 %P 446-454 %D MAY 1985 %K broadcast network, Markov analysis, multiple copy database, redundancy, reliability, stable storage, voting algorithm %A David B. MacQueen %A Donald T. Sannella %T Completeness of proof systems for equational specifications %J IEEE-TSE %V SE-11 %N 5 %P 454-461 %D MAY 1985 %K Algebraic Specifications, equational logic, proof systems %A Mukul K. Sinha %T Atomic actions and resource coordination problems having nonunique solutions %J IEEE-TSE %V SE-11 %N 5 %P 461-471 %D MAY 1985 %K access synchronization, algorithms, atomic actions, concurrency control, crash recovery, design, performance %A Ronald H. Perrott %A Danny Crookes %A Peter Milligan %A W. R. Martin Purdy %T A compiler for an array and vector processing language %J IEEE-TSE %V SE-11 %N 5 %P 471-478 %D MAY 1985 %K abstract representation, array processors, graph transformations, optimizations, vector processors %A Sheldon M. Ross %T Statistical estimation of software reliability %J IEEE-TSE %V SE-11 %N 5 %P 479-483 %D MAY 1985 %K estimations, reliability, Poisson process %A Giancarlo Martella %A Barbara Pernici %A Fabio A. Schreiber %T An availability model for distributed transaction systems %J IEEE-TSE %V SE-11 %N 5 %P 483-491 %D MAY 1985 %K availability, distributed databases, Markoc models, performability, reliability %A Lionel M. Ni %A Kai Hwang %T Optimal load balancing in a multiple processor system with many job classes %J IEEE-TSE %V SE-11 %N 5 %P 491-496 %D MAY 1985 %K Job response time, job scheduling, load balancing, M/M/1 queue, multiple processor system, nonlinear programming, probabilistic scheduling -- Jon Mauney, mcnc!ncsu!mauney North Carolina State University