Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site ncsu.UUCP
Path: utzoo!linus!decvax!tektronix!uw-beaver!cornell!vax135!houxm!ihnp4!cbosgd!clyde!bonnie!akgua!mcnc!ncsu!mauney
From: mauney@ncsu.UUCP (Jon Mauney)
Newsgroups: net.mag
Subject: TOC: IEEE Trans on Software Engineering,  May 1985
Message-ID: <2842@ncsu.UUCP>
Date: Wed, 8-May-85 10:34:57 EDT
Article-I.D.: ncsu.2842
Posted: Wed May  8 10:34:57 1985
Date-Received: Mon, 10-Jun-85 04:37:41 EDT
Organization: N.C. State University, Raleigh
Lines: 81


%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