%A T.N. Mudge %A J.P. Hayes %T Analyses of multiple-bus interconnection networks %R Technical Report CRL-TR-12-84 %I Computing Research Laboratory, University of Michigan %D February 1984 %P 17 %A T.N. Mudge %A H.B. Al-Sadoun %T Memory interference models with variable connection time %R Technical Report CRL-TR-16-84 %I Computing Research Laboratory, University of Michigan %D March 1984 %P 28 %A W.S-f. Wu %T Minimization of interprocessor communication for parallel computations on an SIMD multicomputer %R Technical Report CRL-TR-24-84 %I Computing Research Laboratory, University of Michigan %D March 1984 %P 139 %A J.F. Meyer %T Unified performance-reliability evaluation %R Technical Report CRL-TR-27-84 %I Computing Research Laboratory, University of Michigan %D April 1984 %P 15 %A T.N. Mudge %A H.B. Al-Sadoun %A B.A. Makrucki %T A semi-Markov model for memory interference in multiprocessors %R Technical Report CRL-TR-44-84 %I Computing Research Laboratory, University of Michigan %D November 1984 %P 42 %A K.G. shin %A Y.H. Lee %T Measurement of fault latency: methodology and experimental results %R Technical Report CRL-TR-45-84 %I Computing Research Laboratory, University of Michigan %D November 1984 %P 21 %A M.H. Woodbury %A K.G. Shin %T Performance modeling of real-time multiprocessors with time-shared buses %R Technical Report CRL-TR-46-84 %I Computing Research Laboratory, University of Michigan %D November 1984 %P 37 %A K.G. Shin %A J-C. Liu %T C-net: a cost-effective multistage interconnection network %R Technical Report CRL-TR-47-84 %I Computing Research Laboratory, University of Michigan %D November 1984 %P 46 %A Y.H. Lee %T Characterization of failure handling in fault-tolerant multiprocessor systems %R Technical Report CRL-TR-48-84 %I Computing Research Laboratory, University of Michigan %D November 1984 %P 230 %A I.H. Onyuksel %T Markovian queuing network models for performance evaluation of multiple-bus multiprocessor systems %R Technical Report CRL-TR-49-84 %I Computing Research Laboratory, University of Michigan %D December 1984 %P 157 %A D.J. Harkai %T Bibliography of Computing Research Laboratoty reports, 1984 %R Technical Report CRL-TR-1-85 %I Computing Research Laboratory, University of Michigan %D January 1985 %P 33 %A Y. Gurevich %A S. Shelah %T Fixed-Point Extension of First-Order Logic %R Technical Report CRL-TR-5-85 %I Computing Research Laboratory, University of Michigan %D May 1985