Automated Verification of Behavioral Equivalence for MicroprocessorsFrancisco Corella1994IEEE TCPaper
Instruction Window Size Trade-Offs and Characterization of Program ParallelismPradeep K. DubeyGeorge B. Adamset al.1994IEEE TCPaper
On Bends and Distances of Paths Among Obstacles in Two-Layer Interconnection ModelD.T. LeeC.D. Yanget al.1994IEEE TCPaper
A Note on “A Systematic (12,8) Code for Correcting Single Errors and Detecting Adjacent Errors”Mario BlaumJehoshua Brucket al.1994IEEE TCPaper
Performance Modelling and Comparisons of Global Shared Buffer Management Policies in a Cluster EnvironmentAsit DanPhilip S. Yuet al.1994IEEE TCPaper
Analysis of Asynchronous Binary Arbitration on Digital Transmission-Line BussesShlomo Kipnis1994IEEE TCPaper
Uniform Parity Group Distribution in Disk Arrays with Multiple FailuresSpencer W. NgRichard L. Mattson1994IEEE TCPaper