%A Ashok K. Agrawala %A Ulrich Herzog %T Performance evaluation of multiple processor systems %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 1 %D January 1983 %P 2-3 %A Zary Segall %A Ajay Singh %A Richard T. Snodgrass %A Anita K. Jones %A Daniel P. Siewiorek %T An integrated instrumentation environment for multiprocessors %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 1 %D January 1983 %P 4-14 %A Hansjorg Fromm %A Uwe Hercsen %A Ulrich Herzog %A Karl-Heinz John %A Rainer Klar %A Wolfgang Kleinoder %T Experiences with performance measurement and modeling of a processor array %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 1 %D January 1983 %P 15-31 %A Dennis Parkinson %A Heather M. Liddell %T The measurement of performance on a highly parallel system %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 1 %D January 1983 %P 32-37 %A Phil C.C. Yeh %A Janak H. Patel %A Edward S. Davidson %T Shared cache for multiple-stream computer systems %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 1 %D January 1983 %P 38-47 %A Faye A. Briggs %A Michel Dubois %T Effectiveness of private caches in multiprocessor systems with parallel-pipelined memories %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 1 %D January 1983 %P 48-59 %A Marco Ajmone Marsan %A Gianfranco Balbo %A Gianni Conte %A Francesco Gergoretti %T Modeling bus contention and memory interference in a multiprocessor system %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 1 %D January 1983 %P 61-72 %K stochastic Petri nets %A Philip Heidelberger %A Kishor S. Trivedi %T Analytic queueing models for programs with internal concurrency %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 1 %D January 1983 %P 73-82 %A Daniel A. Reed %A Herbert D. Schwetman %T Cost-performance bounds for multimicrocomputer networks %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 1 %D January 1983 %P 83-95 %A Gordon K. Lin %A Premachandran R. Menon %T Totally preset checking experiments for sequential machines %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 2 %D February 1983 %P 101-108 %A Tomas Lozano-Perez %T Spatial planning: a configuration space approach %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 2 %D February 1983 %P 108-120 %A Gregor V. Bochmann %A Michel Raynal %T Structured specification of communicating systems %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 2 %D February 1983 %P 120-133 %A Yaron I. Gold %A William R. Franta %A Shlomo Moran %T A distributed channel-access protocol for fully-connected networks with mobile nodes %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 2 %D February 1983 %P 133-147 %A Gilles H. Garcia %A William J. Kubitz %T Minimum mean running time function generation using read-only memory %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 2 %D February 1983 %P 147-156 %A Michael J. Flynn %A Lee W. Hoevel %T Execution architecture: the DELtran experiment %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 2 %D February 1983 %P 156-175 %A Allan Gottlieb %A Ralph Grishman %A Clyde P. Kruskal %A Kevin P. McAuliffe %A Larry Rudolph %A Marc Snir %T The NYU ultracomputer - designing an MIMD shared memory parallel computer %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 2 %D February 1983 %P 175-189 %A Zeev Barzilai %A Don Coppersmith %A Arnold L. Rosenberg %T Exhaustive generation of bit patterns with applications to VLSI self-testing %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 2 %D February 1983 %P 190-194 %A Raghunath Raghavan %A Sartaj Sahni %T Single row routing %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 3 %D March 1983 %P 209-220 %A C.V. Ramamoorthy %A Benjamin W. Wah %T The isomorphism of simple file allocation %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 3 %D March 1983 %P 221-232 %A Laurence J. Laning %A Michael S. Leonard %T File allocation in a distributed computer communication network %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 3 %D March 1983 %P 232-244 %A Carol A. Niznik %T A quantization approximation for modeling computer network nodal queueing delay %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 3 %D March 1983 %P 245-253 %A Manoj Kumar %A Daniel S. Hirschberg %T An efficient implementation of Batcher's odd-even merge algorithm and its application in parallel sorting schemes %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 3 %D March 1983 %P 254-264 %A Christopher P. Arnold %A Michael I. Parr %A Michael B. Dewe %T An efficient parallel algorithm for the solution of large sparse linear matrix equations %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 3 %D March 1983 %P 265-273 %A Nicolas Gaitanis %A Constantine Halatsis %T A new design method for m-out-of-n TSC checkers %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 3 %D March 1983 %P 273-283 %A Donald F. Wann %A Mark A. Franklin %T Asynchronous and clocked control structures for VLSI based interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 3 %D March 1983 %P 285-293 %A Jean Vuillemin %T A combinatorial limit to the computing power of VLSI circuits %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 3 %D March 1983 %P 294-300 %A E.V. Krishnamurthy %T On the conversion of Hensel codes to Farey rationals %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 4 %D April 1983 %P 331-336 %A A. Froment %T Error-free computation: a direct method to convert finite segment p-adic numbers into rational numbers %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 4 %D April 1983 %P 337-342 %A N.-K. Tsao %T Approach to the error analysis of division-free numerical algorithms %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 4 %D April 1983 %P 343-351 %A O. Watanuki %A M.D. Ercegovac %T Floating-point on-line arithmetic for addition, subtraction, and multiplication %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 4 %D April 1983 %P 352-358 %A S. Ong %A D.E. Atkins %T A basis for quantitative comparison of computer number systems %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 4 %D April 1983 %P 359-369 %A M. Cohen %A T.E. Hull %A V.C. Hamacher %T CADAC: a controlled-precision decimal arithmetic unit %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 4 %D April 1983 %P 370-377 %A P. Kornerup %A D.W. Matula %T Finite precision rational arithmetic %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 4 %D April 1983 %P 378-387 %A W.K. Jenkins %T The design of error-checkers for self-checking residue number arithmetic %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 4 %D April 1983 %P 388-395 %A Joseph E. Requa %A James R. McGraw %T The piecewise data flow architecture: architectural concepts %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 5 %D May 1983 %P 425-438 %A K.S. Ramanatha %A Nripendra N. Biswas %T An on-line algorithm for the location of cross point faults in programmable logic arrays %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 5 %D May 1983 %P 438-444 %A David Steinberg %T Invariant properties of the shuffle-exchange and a simplified cost-effective version of the omega network %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 5 %D May 1983 %P 444-450 %A Alexandre Brandwajn %T Models of DASD subsystems with multiple access paths: a throughput driven approach %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 5 %D May 1983 %P 451-463 %A K.V.S.S. Prasad %A Dhruba Basu %T Design of totally self-checking circuits with an unrestricted stuck-at fault-set using redundancy in space and time domains %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 5 %D May 1983 %P 464-475 %A L.B. Bushard %T A minimum table size result for higher radix nonrestoring division %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 6 %D June 1983 %P 521-525 %A E.E. Schwartzlander,\ Jr. %A D.V.S. Chandra %A H.T. Nagle,\ Jr. %A S.A. Starks %T Sign/logarithm arithmetic for FFT implementation %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 6 %D June 1983 %P 526-534 %A L.A. Dunning %A M.R. Varanasi %T Code constructions for error control in byte organized memory systems %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 6 %D June 1983 %P 535-542 %A N. Oikonomou %A R.Y. Kain %T Abstractions for node level passive fault detection in distributed systems %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 6 %D June 1983 %P 543-550 %A K.S. Ramanatha %A N.N. Biswas %T A design for testability of undetectable crosspoint faults in programmable logic arrays %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 6 %D June 1983 %P 551-556 %A R.J. Sheraga %A J.L. Gieser %T Experiments in automatic microcode generation %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 6 %D June 1983 %P 557-568 %A D.D. Nath %A S.N. Maheshwari %A P.C.P. Bhatt %T Efficient VLSI networks for parallel processing based on orthogonal trees %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 6 %D June 1983 %P 569-581 %A Jose C. Barros %A Brian W. Johnson %T Equivalence of the arbiter, the synchronizer, the latch, and the inertial delay %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 7 %D July 1983 %P 603-614 %A Chin-Long Chen %T Error-correcting codes with byte error-detection capability %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 7 %D July 1983 %P 615-621 %A Michael C. McFarland %A Alice C. Parker %T An abstract model of behavior for hardware descriptions %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 7 %D July 1983 %P 621-637 %A Dharma P. Agrawal %T Graph theoretical analysis and design of multistage interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 7 %D July 1983 %P 637-648 %A Gerald M. Masson %A S. Brent Morris %T Expected capacity of (m 2)-networks %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 7 %D July 1983 %P 649-657 %A Cristoph von\ Conta %T Torus and other networks as communication networks with up to some hundred points %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 7 %D July 1983 %P 657-666 %A Jean-Loup Baer %A Hung-Chang Du %A Richard E. Ladner %T Binary search in a multiprocessing environment %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 7 %D July 1983 %P 667-677 %A Leon E. Winslow %A Yuan-Chieh Chow %T The analysis and design of some new sorting machines %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 7 %D July 1983 %P 677-683 %A Gerard M. Baudet %A Franco P. Preparata %A Jean E. Vuillemin %T Area-time optimal VLSI circuits for convolution %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 7 %D July 1983 %P 684-688 %A Bernard Chazelle %T The bottom-left bin-packing heuristic: an efficient implementation %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 8 %D August 1983 %P 697-707 %A Tomas Lang %A Mateo Valero %A Miguel A. Fiol %T Reduction of connections for multibus organization %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 8 %D August 1983 %P 707-716 %A Shuji Tasaka %T Stability and performance of the R-ALOHA packet broadcast system %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 8 %D August 1983 %P 717-726 %A John J. Metzner %T A parity structure for large remotely located replicated data files %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 8 %D August 1983 %P 727-730 %A Neil Weste %A David J. Burr %A Bryan D. Ackland %T Dynamic time warp pattern matching using an integrated multiprocessing array %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 8 %D August 1983 %P 731-744 %A Witold S. Wojciechowski %A Anthony S. Wojcik %T Automated design of multiple-valued logic circuits by automated theorem proving techniques %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 9 %D September 1983 %P 785-798 %A TimothyC.K. Chou %A Jacob A. Abraham %T Load redistribution under failure in distributed systems %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 9 %D September 1983 %P 799-808 %A Thomas F. Schwab %A Stephen S. Yau %T An algebraic model of fault-masking logic circuits %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 9 %D September 1983 %P 809-825 %A Quentin F. Stout %T Mesh-connected computers with broadcasting %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 9 %D September 1983 %P 826-830 %A James E. Smith %A Paklin Lam %T A theory of totally self-checking system design %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 9 %D September 1983 %P 831-844 %A Inder S. Gopal %A Don Coppersmith %A C.K. Wong %T Optimal wiring of movable terminals %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 9 %D September 1983 %P 845-858 %A Eric M. Aupperle %T Merit's evolution - statistically speaking %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 10 %D October 1983 %P 981-902 %A Arnold L. Rosenberg %T The Diogenes approach to testable fault-tolerant arrays of processors %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 10 %D October 1983 %P 902-910 %A A. Pedar %A V.V.S. Sarma %T Architecture optimization of aerospace computing systems %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 10 %D October 1983 %P 911-922 %A Sadahiro Isoda %A Yoshizumi Kobayashi %A Toru Ishida %T Global compaction of horizontal microprograms based on the generalized data dependency graph %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 10 %D October 1983 %P 922-933 %A Roger W. Hockney %T Characterizing computers and optimizing the FACR(l) Poisson-solver on parallel unicomputers %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 10 %D October 1983 %P 933-941 %A Clyde P. Kruskal %T Searching, merging, and sorting in parallel computation %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 10 %D October 1983 %P 942-946 %A Daniel Brand %T Redundancy and don't cares in logic synthesis %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 10 %D October 1983 %P 947-952 %A Yuval Tamir %A Carlo H. Sequin %T Strategies for managing the register file in RISC %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 11 %D November 1983 %P 977-989 %A Hari K. Nagpal %A Graham A. Jullien %A William C. Miller %T Processor architectures for two-dimensional convolvers using a single multiplexed computational element with finite field arithmetic %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 11 %D November 1983 %P 989-1001 %A Werner E. Kluge %T Cooperating reduction machines %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 11 %D November 1983 %P 1002-1012 %A Dale D. Miller %T A residue number system implementation of the LMS algorithm using optical waveguide circuits %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 11 %D November 1983 %P 1013-1028 %A Gabriel M. Silberman %T Delayed-staging hierarchy optimization %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 11 %D November 1983 %P 1029-1037 %A Kewal K. Saluja %A Kozo Kinoshita %A Hideo Fujiwara %T An easily testable design of programmable logic arrays for multiple faults %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 11 %D November 1983 %P 1038-1046 %A Clark D. Thompson %T Fourier transforms in VLSI %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 11 %D November 1983 %P 1047-1057 %A Vijay Pitchumani %A Edward P. Stabler %T An inductive assertion method for register transfer level design verification %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1073-1080 %A Laxmi N. Bhuyan %A Dharma P. Agrawal %T Design and performance of generalized interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1081-1090 %A Clyde P. Kruskal %T The performance of multistage interconnection networks for multiprocessors %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1091-1098 %A Krishnan Padmanabhan %A Duncan H. Lawrie %T A class of redundant path multistage interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1099-1108 %A Mandayam A. Srinivas %T Optimal parallel scheduling of Gaussian elimination DAG's %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1109-1117 %A Robert M. Geist %A Kishor S. Trivedi %T Ultrahigh reliability prediction for fault-tolerant computer systems %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1118-1127 %A Paul Chow %A Zvonko G. Vranesic %A Jui Lin Yen %T A pipelined distributed arithmetic PFFT processor %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1128-1136 %A Hiedo Fujiwara %A Takeshi Shimono %T On the acceleration of test generation algorithms %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1137-1144 %A Donald T. Tang %A Lin S. Woo %T Exhaustive test pattern generation with constant weight vectors %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1145-1150 %A Ozalp Babaoglu %A Domenico Ferrari %T Two-level replacement decisions in paging stores %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1151-1159 %A Philip S. Lil %A Tzay Y. Young %T VLSI array design under constraint of limited I/O bandwidth %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1160-1170 %A Clark D. Thompson %T The VLSI complexity of sorting %J IEEE Transactions on Computers %K ieee_tc %V C-32 %N 12 %D December 1983 %P 1171-1184 %A D.T. Lee %A Joseph Y.-T. Leung %T On the 2-dimensional channel assignment problem %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 1 %D January 1984 %P 2-6 %A Henk J. Sips %T Bit-sequential arithmetic for parallel processors %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 1 %D January 1984 %P 7-20 %A Israel Koren %A Melvin A. Breuer %T On area and yield considerations for fault-tolerant VLSI processor arrays %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 1 %D January 1984 %P 21-27 %A Svetlana P. Kartashev %A Steven J. Kartashev %T Memory allocations for multiprocessor systems that incorporate content-addressable memories %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 1 %D January 1984 %P 28-44 %A Vasilii Zakharov %T Parallelism and array processing %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 1 %D January 1984 %P 45-78 %A Jacob Savir %A Gary S. Ditlow %A Paul H. Bardell %T Random pattern testability %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 1 %D January 1984 %P 79-90 %A Yann-Hang Lee %A Kang G. Shin %T Design and evaluation of a fault-tolerant multiprocessor using hardware recovery blocks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 2 %D February 1984 %P 113-124 %A Makoto Kabayashi %T Dynamic characteristics of loops %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 2 %D February 1984 %P 125-132 %A Shahid H. Bokhari %T Finding maximum on an array processor with a global bus %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 2 %D February 1984 %P 133-139 %A Steven W. White %A Noel R. Strader,\ II %A V. Thomas Rhyne %T A VLSI-based I/O formatting device %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 2 %D February 1984 %P 140-149 %A Carol A. Niznik %T Performance evaluation of the computer network dynamic congestion table algorithm %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 2 %D February 1984 %P 150-159 %A Randal E. Bryant %T A switch-level model and simulator for MOS digital systems %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 2 %D February 1984 %P 160-177 %K MOSSIM II %A Kuang Yung Liu %T Architecture for VLSI design of Reed-Solomon decoders %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 2 %D February 1984 %P 178-189 %A Janice E. Cuny %A Lawrence Snyder %T Testing the coordination predicate %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 3 %D March 1984 %P 201-208 %A Kyu-Young Whang %A Gio Wiederhold %A Daniel Sagalowicz %T Separability - an approach to physical database design %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 3 %D March 1984 %P 209-222 %A S.H. Hosseini %A Jon G. Kuhl %A Sudhakar M. Reddy %T A diagnosis algorithm for SI computing systems with dynamic failure and repair %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 3 %D March 1984 %P 223-233 %A S. Louis Hakimi %A Kazuo Nakajima %T On adaptive system diagnosis %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 3 %D March 1984 %P 234-240 %A John Paul Shen %A John P. Hayes %T Fault-tolerance of dynamic-full-access interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 3 %D March 1984 %P 241-248 %A William R. Franta %A John R. Heath %T Measurement and analysis of HYPERchannel networks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 3 %D March 1984 %P 249-260 %A Benjamin W. Wah %A Kuo-Liang Chen %T A partitioning approach to the design of selection networks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 3 %D March 1984 %P 261-268 %A Guang Xing Wang %A G. Robert Redinbo %T Probability of state transition errors in a finite state machine containing soft failures %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 3 %D March 1984 %P 269-277 %A Andre Thayse %T A matrix formalism for asynchronous implementation of algorithms %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 4 %D April 1984 %P 289-300 %A Fred U. Rosenberger %A Donald F. Wann %T A computer aided procedure for performing static loading validation of digital logic systems %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 4 %D April 1984 %P 301-313 %A R. Michael Tanner %T Fault-tolerant 256K memory designs %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 4 %D April 1984 %P 314-322 %A Laxmi N. Bhuyan %A Dharma P. Agrawal %T Generalized hypercube and hyperbus structures for a computer network %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 4 %D April 1984 %P 323-333 %A Vijay K. Vaishnavi %T Multidimensional heigh-balanced trees %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 4 %D April 1984 %P 334-344 %A Norman H. Christ %A Anthony E. Terrano %T A very fast parallel processor %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 4 %D April 1984 %P 344-350 %A Ashok K. Agrawala %A Edward G. Coffman,\ Jr. %A Michael R. Garey %A Satish K. Tripathi %T A stochastic optimization algorithm minimizing expected flow times on uniform processors %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 4 %D April 1984 %P 351-356 %A C.-S. Yeh %A Irving S. Reed %A T.K. Truong %T Systolic multipliers for finite fields GF(2^m) %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 4 %D April 1984 %P 357-360 %A Benjamin W. Wah %A Y.W. Eva Ma %T MANIP - a multicomputer architecture for solving combinatorial extremum-search problems %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 5 %D May 1984 %P 377-390 %A Hector Gacria-Molina %A Richard J. Lipton %A Jacobo Valdes %T A massive memory machine %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 5 %D May 1984 %P 391-399 %A Miguel A. Fiol %A Luis Andres Yebra %A Ignacio Alegre de\ Miquel %T Line digraph iterations and the (d,k) digraph problem %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 5 %D May 1984 %P 400-403 %A Ehud D. Karnin %T A parallel algorithm for the knapsack problem %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 5 %D May 1984 %P 404-408 %A Robert A. Whiteside %A Neil S. Ostlund %A Peter G. Hibbard %T A parallel Jacobi diagonalization algorithm for a loop multiple processor system %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 5 %D May 1984 %P 409-414 %A Erling H. Wold %A Alvin M. Despain %T Pipeline and parallel-pipeline FFT processors for VLSI implementations %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 5 %D May 1984 %P 414-426 %A Franco P. Preparata %A Witold Lipski,\ Jr. %T Optimal three-layer channel routing %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 5 %D May 1984 %P 427-437 %A Balakrishnan Krishnamurthy %T An improved min-cut algorithm for partitioning VLSI networks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 5 %D May 1984 %P 438-446 %A John P. Hayes %T Reliable and fault-tolerant computing %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 6 %D June 1984 %P 465-466 %A Jacob Savir %A Paul H. Bardell %T On random pattern test length %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 6 %D June 1984 %P 467-474 %A Dhananjay Brahme %A Jacob A. Abraham %T Functional testing of microprocessors %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 6 %D June 1984 %P 475-485 %A Anton T. Dahbura %A Gerald M. Masson %T An O(n^2.5) fault identification algorithm for diagnosable systems %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 6 %D June 1984 %P 486-492 %A Yuval Tamir %A Carlo H. Sequin %T Design and application of self-testing comparators implemented with MOS PLA's %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 6 %D June 1984 %P 493-506 %A T.S. Liu %T The role of a maintenance processor for a general-purpose computer system %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 6 %D June 1984 %P 507-517 %A Kuang-Hua Huang %A Jacob A. Abraham %T Algorithm-based fault tolerance for matrix operations %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 6 %D June 1984 %P 518-528 %A Kang G. Shin %A Yann-Hang Lee %T Error detection process - model, design, and its impact on computer performance %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 6 %D June 1984 %P 529-540 %A Jack B. Dennis %A Guang-Rong Gao %A Kenneth W. Todd %T Modeling the weather with a data flow supercomputer %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 7 %D July 1984 %P 592-603 %A Harold S. Stone %T Database applications of the fetch-and-add instruction %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 7 %D July 1984 %P 604-612 %A Wael Adi %T Fast burst error-correction scheme with Fire code %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 7 %D July 1984 %P 613-618 %A Robert R. Seban %A Howard Jay Siegel %T Shuffling with the Illiac and PM2I SIMD networks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 7 %D July 1984 %P 619-625 %A Reinhard Manner %T Hardware task/processor scheduling in a polyprocessor environment %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 7 %D July 1984 %P 626-636 %A Sartaj Sahni %T Scheduling multipipeline and multiprocessor computers %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 7 %D July 1984 %P 637-645 %A Gianfranco Bilardi %A Franco P. Preparata %T An architecture for bitonic sorting with optimal VLSI performance %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 7 %D July 1984 %P 646-651 %A Per E. Danielsson %T Serial/parallel convolvers %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 7 %D July 1984 %P 652-667 %A Oliver Aberth %T Precise scientific computation with a microprocessor %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 8 %D August 1984 %P 685-690 %A Wesley W. Chu %A Min-Tsung Lan %A Joseph Hellerstein %T Estimation of intermodule communication (IMC) and its applications in distributed processing systems %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 8 %D August 1984 %P 691-699 %A Benjamin W. Wah %T A comparative study of distributed resource sharing on multiprocessors %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 8 %D August 1984 %P 700-711 %A Butler W. Lampson %A Gene McDaniel %A Severo M. Ornstein %T An instruction fetch unit for a high-performance personal computer %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 8 %D August 1984 %P 712-730 %K Dorado %A Richard P. Brent %A H.T. Kung %T Systolic VLSI arrays for polynomial GCD computation %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 8 %D August 1984 %P 731-736 %A Bernard Chazelle %T Computational geometry on a systolic chip %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 9 %D September 1984 %P 774-785 %A Lanfranco Lopriore %T Capability based tagged architectures %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 9 %D September 1984 %P 786-803 %A Peter Scheurmann %A Geoffrey Wu %T Heuristic algorithms for broadcasting in point-to-point computer networks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 9 %D September 1984 %P 804-811 %A Stephen S. Yau %A Wonmo Hong %T Performance optimization of a CSMA protocol for local computer networks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 9 %D September 1984 %P 812-817 %A Ernst L. Leiss %T Data integrity in digital optical disks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 9 %D September 1984 %P 818-827 %A John G. Cleary %T Compact hash tables using bidirectional linear probing %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 9 %D September 1984 %P 828-834 %A Andre M. van\ Tilborg %A Larry D. Wittie %T Wave scheduling - decentralized scheduling of task forces in multicomputers %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 9 %D September 1984 %P 835-844 %A Donald T. Tang %A Chin-Long Chen %T Logic test pattern generation using linear codes %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 9 %D September 1984 %P 845-850 %A Andre Thayse %T Synthesis and asynchronous implementation of algorithms using a generalized P-function concept %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 10 %D October 1984 %P 861-868 %A Hubert D. Kirrmann %T Poolpo - a pool of processors for process control applications %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 10 %D October 1984 %P 869-878 %A Tsutomu Sasao %T Input variable assignment and output phase optimization of PLA's %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 10 %D October 1984 %P 879-894 %A David Lee Tuomenoka %A Howard Jay Siegel %T Task preloading schedules for reconfigurable parallel processing systems %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 10 %D October 1984 %P 895-905 %A In-Shek Hsu %A Irving S. Reed %A T.K. Truong %A Ke Wang %A Chiunn-Shyong Yeh %A Leslie J. Deutsch %T The VLSI implementation of a Reed-Solomon encoder using Berkelamp's bit-serial multiplier algorithm %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 10 %D October 1984 %P 906-911 %A Howard Jay Siegel %A Leah H. Jamieson %T Parallel processing %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 11 %D November 1984 %P 949-951 %A I.V. Ramakrishnan %A Peter J. Varman %T Modular matrix multiplication on a linear array %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 11 %D November 1984 %P 952-958 %A Arbee L.P. Chen %A Victor O.K. Li %T Improvement algorithms for semijoin query processing programs in distributed database systems %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 11 %D November 1984 %P 959-967 %A Alexandru Nicolau %A Joseph A. Fisher %T Measuring the parallelism available for very long instruction word architectures %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 11 %D November 1984 %P 968-976 %K VLIW %A Svetlana P. Kartashev %A Steven I. Kartashev %T Efficient internode communications in reconfigurable binary trees %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 11 %D November 1984 %P 977-990 %A Chi-Yuan Chin %A Kai Hwang %T Packet switching networks for multiprocessors and data flow computers %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 11 %D November 1984 %P 991-1003 %A Keki B. Irani %A Ibrahim H. Onyuksel %T A closed-form solution for the performance analysis of multiple-bus multiprocessor systems %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 11 %D November 1984 %P 1004-1012 %A Shlomo Weiss %A James E. Smith %T Instruction issue logic in pipelined supercomputers %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 11 %D November 1984 %P 1013-1022 %A Hironori Kasahara %A Seinosuke Narita %T Practical multiprocessor scheduling algorithms for efficient parallel processing %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 11 %D November 1984 %P 1023-1029 %A Steven R. Vegdahl %T A survey of proposed architectures for the execution of functional languages %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1050-1071 %A D.T. Lee %A Franco P. Preparata %T Computational geometry - a survey %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1072-1101 %A John A. Stankovic %T A perspective on distributed computer systems %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1102-1115 %A David A. Rennels %T Fault-tolerant computing - concepts and examples %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1116-1129 %A Michael Fine %A Fouad A. Tobagi %T Demand assignment multiple access schemes in broadcast bus local area networks %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1130-1159 %A Stanley L. Hurst %T Multiple-valued logic - its status and its future %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1160-1179 %A Dennis B. Gannon %A John van\ Rosendale %T On the impact of communication complexity on the design of parallel numerical algorithms %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1180-1194 %A Philip Heidelberger %A Stephen S. Lavenberg %T Computer performance evaluation methodology %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1195-1220 %A John L. Hennessy %T VLSI processor architecture %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1221-1246 %A Charles L. Seitz %T Concurrent VLSI architectures %J IEEE Transactions on Computers %K ieee_tc %V C-33 %N 12 %D December 1984 %P 1247-1265 %A David W. Matula %A Peter Kornerup %T Finite precision rational arithmetic: slash number systems %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 1 %D January 1985 %P 3-18 %A Craig S. Holt %A James E. Smith %T Self-diagnosis in distributed systems %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 1 %D January 1985 %P 19-32 %A Dhiraj K. Pradhan %T Fault-tolerant multiprocessor link and bus network architectures %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 1 %D January 1985 %P 33-45 %A C.S. Raghavendra %A Mario Gerla %A Algirdas Avizienis %T Reliable loop topologies for large local computer networks %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 1 %D January 1985 %P 46-55 %A Wei C. Yen %A David W.L. Yen %A King-Sun Fu %T Data coherence problem in a multicache system %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 1 %D January 1985 %P 56-65 %A Guo-Jei Li %A Benjamin W. Wah %T The design of optimal systolic arrays %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 1 %D January 1985 %P 66-77 %A Hector Garcia-Molina %A Jack Kent %T Evaluating response time in a faulty distributed computing system %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 2 %D February 1985 %P 101-109 %A Christos A. Papachristou %A Narendar B. Sahgal %T An improved method for detecting functional faults in semiconductor random access memories %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 2 %D February 1985 %P 110-116 %A John A. Stankovic %T An application of Bayesian decision theory to decentralized control of job scheduling %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 2 %D February 1985 %P 117-130 %A Tsutomu Sasao %T An algorithm to derive the complement of binary function with multiple-valued inputs %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 2 %D February 1985 %P 131-140 %A Nikitas J. Dimopoulos %T On the structure of the homogeneous multiprocessor %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 2 %D February 1985 %P 141-150 %A Mikhail J. Atallah %A S. Rao Kosaraju %T A generalized dictionary machine for VLSI %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 2 %D February 1985 %P 151-155 %A Maria Calzarossa %A Giuseppe Serazzi %T A characterization of the variation in time of workload arrival patterns %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 2 %D February 1985 %P 156-162 %A Vijay C. Jaswa %A Charles E. Thomas %A John T. Pedicone %T CPAC - concurrent processor architecture for control %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 2 %D February 1985 %P 163-169 %A Chien-Chung Shen %A Wen-Hsiang Tsai %T A graph matching approach to optimal task assignment in distributed computing systems using a minimax criterion %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 3 %D March 1985 %P 197-203 %A Yung-Terng Wang %A Robert J.T. Morris %T Load sharing in distributed systems %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 3 %D March 1985 %P 204-217 %A Eugene E. Lindstrom %A Jaffrey Scott Vitter %T The design and analysis of bucketsort for bubble memory secondary storage %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 3 %D March 1985 %P 218-233 %A James E. Smith %A James R. Goodman %T Instruction cache replacement policies and organizations %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 3 %D March 1985 %P 234-241 %A Michael J. Flynn %A John D. Johnson %A Scott P. Wakefield %T On instruction sets and their formats %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 3 %D March 1985 %P 242-254 %A Dharma P. Agrawal %A Ja-Song Leu %T Dynamic accessibility testing and path length optimization of multistage interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 3 %D March 1985 %P 255-266 %A Makoto Imase %A Terunao Soneoka %A Keiji Okada %T Connectivity of regular directed graphs with small diameters %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 3 %D March 1985 %P 267-273 %A Danny C. Sorensen %T Analysis of pairwise pivoting in Gaussian elimination %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 3 %D March 1985 %P 274-278 %A Eugene E. Lindstrom %A Jeffrey Scott Vitter %A C.K. Wong %T Sorting %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 4 %D April 1985 %P 293-295 %A Howard B. Demuth %T Electronic data sorting %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 4 %D April 1985 %P 296-310 %A Eric Dittert %A Michael J. O'Donnell %T Lower bounds for sorting with realistic instruction sets %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 4 %D April 1985 %P 311-317 %A Heikki Mannila %T Measures of presortedness and optimal sorting algorithms %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 4 %D April 1985 %P 318-325 %A Larry Rudolph %T A robust sorting network %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 4 %D April 1985 %P 326-335 %A Gianfranco Bilardi %A Franco P. Preparata %T A minimum area VLSI network for O(log n) time sorting %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 4 %D April 1985 %P 336-343 %A Tom Leighton %T Tight bounds on the complexity of parallel sorting %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 4 %D April 1985 %P 344-354 %A Alan R. Siegel %T Minimum storage sorting networks %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 4 %D April 1985 %P 355-361 %A Howard M. Shao %A T.K. Truong %A Leslie J. Deutsch %A Joseph H. Yuen %A Irving S. Reed %T A VLSI design of a pipeline Reed-Solomon decoder %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 5 %D May 1985 %P 393-403 %A Lionel M. Ni %A Kai Hwang %T Vector-reduction techniques for arithmetic pipelines %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 5 %D May 1985 %P 404-411 %A Kyungsook Yoon Lee %T On the rearrangeability of 2(log2 n)-1 stage permutation networks %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 5 %D May 1985 %P 412-425 %A Sunil K. Jain %A Vishwani D. Agrawal %T Modeling and test generation algorithms for MOS circuits %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 5 %D May 1985 %P 426-433 %A Dhiraj K. Pradhan %T Dynamically restructurable fault-tolerant processor network architectures %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 5 %D May 1985 %P 434-447 %A Tom Leighton %A Charles E. Leiserson %T Wafer-scale integration of systolic arrays %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 5 %D May 1985 %P 448-461 %A Wesley W. Chu %A Joseph Hellerstein %T The exclusive-writer approach to updating replicated files in distributed processing systems %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 6 %D June 1985 %P 489-500 %A Harry A.G. Wijshoff %A Jan van\ Leeuwen %T The structure of periodic storage schemes for parallel memories %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 6 %D June 1985 %P 501-505 %A Jacques Lenfant %T A versatile mechanism to move data in an array processor %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 6 %D June 1985 %P 506-522 %A Ming Huei Young %A Saburo Muroga %T Symmetric minimal covering problem and minimal PLA's with symmetric variables %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 6 %D June 1985 %P 523-541 %A Yang-Chang Hong %T Efficient computing of relational algebraic primitives in a database machine architecture %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 7 %D July 1985 %P 588-595 %A Nicolas Gaitanis %T Totally self-checking checkers for low-cost arithmetic codes %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 7 %D July 1985 %P 596-601 %A John McGough %A Mark Smotherman %A Kishor S. Trivedi %T The conservativeness of reliability estimates based on instantaneous coverage %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 7 %D July 1985 %P 602-609 %A Waldo C. Kabat %A Anthony S. Wojcik %T Automated synthesis of combinational logic using theorem-proving techniques %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 7 %D July 1985 %P 610-632 %A Zvi Rosberg %T Process scheduling in a computer system %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 7 %D July 1985 %P 633-645 %A Thu Van Vu %T Efficient implementations of the Chinese remainder theorem for sign detection and residue decoding %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 7 %D July 1985 %P 646-651 %A Hao-Yung Lo %A Yoshonao Aoki %T Generation of a precise binary logarithm with difference grouping programmable logic array %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 8 %D August 1985 %P 681-691 %A David B. Aspinwall %A Yale N. Patt %T Retrofitting the VAX-11/780 microarchitecture for IEEE floating-point arithmetic - implementation issues, measurements, and analysis %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 8 %D August 1985 %P 692-708 %A Charles C. Wang %A T.K. Truong %A Howard M. Shao %A Leslie J. Deutsch %A Jim K. Omura %A Irving S. Reed %T VLSI architectures for computing multiplications and inverses in GF(2^m) %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 8 %D August 1985 %P 709-717 %A Anton T. Dahbura %A Gerald M. Masson %A Che-Liang Yang %T Self-implicating structures for diagnosable systems %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 8 %D August 1985 %P 718-723 %A Stanislaw Majerski %T Square-rooting algorithms for high-speed digital circuits %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 8 %D August 1985 %P 724-733 %A Allan L. Fisher %A H.T. Kung %T Synchronizing large VLSI processor arrays %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 8 %D August 1985 %P 734-740 %A Abdol-Hossein Esfahanian %A S. Louis Hakimi %T Fault-tolerant routing in DeBruijn communication networks %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 9 %D September 1985 %P 777-788 %A Naofumi Takagi %A Hiroto Yasuura %A Shuzo Yajima %T High-speed VLSI multiplication algorithm with a redundant binary addition tree %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 9 %D September 1985 %P 789-796 %A Stephen J. MacKinnon %A Peter D. Taylor %A Henk Meijer %A Selim G. Akl %T An optimal algorithm for assigning cryptographic keys to control access in a hierarchy %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 9 %D September 1985 %P 797-802 %A Subhash C. Kak %T Encryption and error-correction coding using D sequences %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 9 %D September 1985 %P 803-809 %A Vijay S. Iyengar %A L.L. Kinney %T Concurrent fault detection in microprogrammed control units %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 9 %D September 1985 %P 810-821 %A James H. Applegate %A Michael R. Douglas %A Yekta Gursel %A Peter Hunter %A Charles L. Seitz %A Gerald Jay Sussman %T A digital orrery %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 9 %D September 1985 %P 822-831 %K planet computers %A Donna Quammen %A John Philip Kearns %A Mary Lou Soffa %T Efficient storage management for temporary values in concurrent programming languages %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 9 %D September 1985 %P 832-840 %A Arun K. Somani %A Vinod K. Agarwal %T An efficient unsorted VLSI dictionary machine %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 9 %D September 1985 %P 841-852 %A Daniel A. Reed %A Merrell L. Patrick %T Iterative solution of large, sparse linear systems on a static data flow architecture: performance studies %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 874-880 %A Paul Hudak %A Benjamin Goldberg %T Distributed execution of functional programs using serial combinators %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 881-891 %A Charles E. Leiserson %T Fat-trees: universal networks for hardware-efficient supercomputing %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 892-901 %A Nathaniel J. Davis, IV %A William Tsun-Yuk Hsu %A Howard Jay Siegel %T Fault location techniques for distributed control interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 902-910 %A Jim Crammond %T A comparative study of unification algorithms for OR-parallel execution of logic languages %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 911-917 %A Chita R. Das %A Laxmi N. Bhuyan %T Bandwidth availability of multiple-bus processors %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 918-926 %A Gyungho Lee %A Clyde P. Kruskal %A David J. Kuck %T An empirical study of automatic restructuring of nonnumerical programs for parallel processors %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 927-933 %A Trevor N. Mudge %A Humoud B. Al-Sadoun %T A semi-Markov model for the performance of multiple-bus systems %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 934-942 %A Gregory F. Pfister %A V. Alan Norton %T "Hot spot" contention and combining in multistage interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 943-948 %A Wilfried Oed %A Otto Lange %T On the effective bandwidth of interleaved memories in vector processor systems %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 10 %D October 1985 %P 949-957 %A Jeanette McCall %A Joseph G. Tront %A F. Gail Gray %A Robert M. Haralick %A Willaim M. McCormack %T Parallel computer architectures and problem solving strategies for the consistent labeling problem %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 11 %D November 1985 %P 973-980 %A Siamak Arya %T An optimal instruction-scheduling model for a class of vector processors %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 11 %D November 1985 %P 981-995 %A Rudi Klatte %A Christian P. Ullrich %A von\ Gudenberg %T Arithmetic specification for scientific computation in Ada %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 11 %D November 1985 %P 996-1005 %A Wayne M. Loucks %A V. Carl Hamacher %A Bruno R. Preiss %A Luke Wong %T Short-packet transfer performance in local area ring networks %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 11 %D November 1985 %P 1006-1015 %A Ghassan Z. Qadah %A Keki B. Irani %T A database machine for very large relational databases %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 11 %D November 1985 %P 1015-1025 %A Bella Bose %A Der Jei Lin %T Systematic unidirectional error-detecting codes %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 11 %D November 1985 %P 1026-1032 %A Jose A.B. Fortes %A C.S. Raghavendra %T Gracefully degradable processor arrays %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 11 %D November 1985 %P 1033-1044 %A Krishna Kant %T Finding interferences between rectangular paths %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 11 %D November 1985 %P 1045-1049 %A Ryosaku Shimada %A Yoshiteru Ohkura %A Junichi Aoe %T Nonbinary arithmetic AN codes using odd radix expressions %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 11 %D November 1985 %P 1050-1056 %A Ming T. Liu %T Distributed computing %P 1069-1070 %A Jean-Luc Gaudiot %A Rex W. Vedder %A George K. Tucker %A Dennis Finn %A Michael L. Campbell %T A distributed VLSI architecture for efficient signal and data processing %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 12 %D December 1985 %P 1072-1087 %A Kang G. Shin %A Jyh-Charn Liu %T A cost-effective multistage interconnection network with network overlapping and memory interleaving %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 12 %D December 1985 %P 1088-1101 %A Daniel Hoffman %T The trace specification of communications protocols %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 12 %D December 1985 %P 1102-1113 %A Thomas J. LeBlanc %A Stuart A. Friedberg %T HPC: a model of structure and change in distributed systems %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 12 %D December 1985 %P 1114-1129 %A John A. Stankovic %A Krithivasan Ramamritham %A Shengchang Cheng %T Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 12 %D December 1985 %P 1130-1143 %A Benjamin W. Wah %A Jie-Yong Juang %T Resource scheduling for local computer systems with a multiaccess network %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 12 %D December 1985 %P 1144-1157 %A Sunil K. Sarin %A Barbara T. Blaustein %A Charles W. Kaufman %T System architecture for partition-tolerant distributed databased %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 12 %D December 1985 %P 1158-1163 %A Bernd Werner Meister %A Philippe A. Janson %A Liba Svobodova %T Connection-oriented versus connectionless protocols: a performance study %J IEEE Transactions on Computers %K ieee_tc %V C-34 %N 12 %D December 1985 %P 1064-1173 %A Dan I. Moldovan %A Jose A.B. Fortes %T Partitioning and mapping algorithms into fixed size systolic arrays %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 1 %D January 1986 %P 1-12 %A Anastasios Vergis %A Kenneth Steiglitz %T Testability conditions for bilateral arrays of combinational cells %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 1 %D January 1986 %P 13-22 %A Iiro Hartino %A Klaus Kronlof %A Olli Simula %A Jorma Skytta %T DFSP: a data flow signal processor %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 1 %D January 1986 %P 23-33 %A Avinoam Bilgory %A Daniel D. Gajski %T A heuristic for suffix solutions %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 1 %D January 1986 %P 34-42 %A David Lee Tuomenoksa %A Howard Jay Seigel %T Determining an optimal secondary storage service rate for the PASM control system %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 1 %D January 1986 %P 43-53 %A Peter G. Harrison %T An enhanced approximation by pair-wise analysis of servers for time delay distributions in queueing networks %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 1 %D January 1986 %P 54-61 %A Jon C. Muzio %A Ivo C. Rosenberg %T Multiple-valued logic %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 2 %D February 1986 %P 97-98 %A David A. Rich %T A survey of multivalued memories %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 2 %D February 1986 %P 99-106 %A John P. Hayes %T Uncertainty, energy, and multiple-valued logics %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 2 %D February 1986 %P 107-114 %A Akira Maruoka %T Complexity based on partitioning of Boolean circuits and their relation to multivalued circuits %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 2 %D February 1986 %P 115-123 %A Mostafa H. Abd-El Barr %A Safwat G. Zaky %A Zvonko G. Vranesic %T Synthesis of multivalued multithreshold functions for CCD implementation %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 2 %D February 1986 %P 124-133 %A Philipp W. Besslich %T Heuristic minimization of MVL functions: a direct cover approach %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 2 %D February 1986 %P 134-144 %A Terrance L. Huntsberger %A Chandraleka Rangarajan %A Sadali N. Jayaramamurthy %T Representation of uncertainty in computer vision using fuzzy sets %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 2 %D February 1986 %P 145-156 %A I.V. Ramakrishnan %A D.S. Fassell %A A. Silberschatz %T Mapping homogeneous graphs on linear arrays %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 3 %D March 1986 %P 189-209 %A R. Dechter %A L. Kleinrock %T Broadcast communications and distributed algorithms %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 3 %D March 1986 %P 210-219 %A D. Towsley %T Approximate models of multiple bus microprocessor systems %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 3 %D March 1986 %P 220-228 %A L.M. Patnaik %A R. Govindarajan %A N.S. Ramadoss %T Design and performance evaluation of EXMAN: an EXtended MANchester data flow computer %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 3 %D March 1986 %P 229-244 %A F. Baccelli %A P. Massi %T An asynchronous parallel interpreter for arithmetic expressions and its evaluation %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 3 %D March 1986 %P 245-256 %A S.P. Kartashev %A S.I. Kartashev %T Data exchange optimization in reconfigurable binary trees %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 3 %D March 1986 %P 257-273 %A S.R. Akers %A D.K. Pradhan %T Fault-tolerant computing: an introduction %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 4 %D April 1986 %P 285-287 %A D.J. Taylor %A C.-J.H. Seger %T Robust storage structures for crash recovery %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 4 %D April 1986 %P 288-295 %A P. Banerjee %A J.A. Abraham %T Bounds on algorithm-based fault tolerance in multiple processor systems %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 4 %D April 1986 %P 296-306 %A C.S. Raghavendra %A A. Varma %T Fault-tolerant multiprocessors with redundant path interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 4 %D April 1986 %P 307-316 %A N.R. Saxena %A J.P. Robinson %T Accumulator compression testing %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 4 %D April 1986 %P 317-321 %A E. de\ Souza\ e\ Silva %A H.R. Gail %T Calculating conservative operational time distributions of repairable computer systems %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 4 %D April 1986 %P 322-332 %A M. Smotherman %A R.M. Geist %A K.S. Trivedi %T Provably conservative approximations to complex reliability models %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 4 %D April 1986 %P 333-338 %A T. Krol %T (N,K) concept fault tolerance %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 4 %D April 1986 %P 339-349 %A J. Blazewic %A M. Drabowski %A J. Weglarz %T Scheduling multiprocessor tasks to minimize schedule length %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 5 %D May 1986 %P 389-393 %A D. Nikolas %A N. Gaitanis %A G. Philokypron %T Systematic t-error correcting all unidirectional error detection codes %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 5 %D May 1986 %P 394-402 %A J.S. Vitter %A R.A. Simons %T New classes for parallel complexity: a study of unification and other complete problems for P %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 5 %D May 1986 %P 403-418 %A E. de\ Souza\ e\ Silva %A S.S. Lavenberg %A R.R. Muntz %T A clustering approximation technique for queueing network models with a large number of chains %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 5 %D May 1986 %P 419-430 %A H.V. Jagadish %A R.G. Mathews %A T. Kailath %A J.A. Newkirk %T A study of pipelining in computing arrays %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 5 %D May 1986 %P 431-440 %A I.P. Page %A J. Hagins %T Improving the performance of buddy systems %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 5 %D May 1986 %P 441-447 %A C.M. Krishna %A K.G. Shin %T On scheduling tasks with a quick recovery from failure %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 5 %D May 1986 %P 448-455 %A W.A. Davis %A D.-L. Lee %T Fast search algorithms for associative memories %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 5 %D May 1986 %P 456-461 %A V. Ramachandran %T Algorithmic aspects of MOS VLSI switch-level simulation with race detection %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 5 %D May 1986 %P 462-475 %A J.L. Gaudiot %T Structure handling in data flow systems %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 6 %D June 1986 %P 489-502 %A C.-L. Yang %A G.M. Masson %T A fault identification algorithm for t-diagnosable systems %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 6 %D June 1986 %P 503-510 %A R.K. Iyer %A D.J. Rosetti %T A measurement-based model for workload dependence of CPU errors %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 6 %D June 1986 %P 511-519 %A W. Abu-Sufalt %A H.E. Husmann %A D.J. Kuck %T On input-output speedup in tightly coupled multiprocessors %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 6 %D June 1986 %P 520-530 %A O.H. Ibarra %A S.M. Kim %A M.A. Palis %T Designing systolic algorithms using sequential machines %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 6 %D June 1986 %P 531-542 %A T.F. Gonzales %A S.-L. Lee %T Routing multiterminal nets around a rectangle %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 6 %D June 1986 %P 543-549 %A Y. Kambayashi %A S. Muroga %T Properties of wired logic %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 6 %D June 1986 %P 550-563 %A R. Gavish %A H. Pakul %T Computer and database location in distributed computer systems %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 7 %D July 1986 %P 583-590 %A S.-T. Huang %A S.K. Tripathi %T Finite state model and compatibility theory: new analysis tools for permutation networks %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 7 %D July 1986 %P 591-601 %A J.P. Hayes %T Pseudo-boolean logic circuits %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 7 %D July 1986 %P 602-612 %A T. Cheung %A J.E. Smith %T A simulation study of the CRAY X-MP memory system %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 7 %D July 1986 %P 613-622 %A W.J. van\ Gils %T A triple modular redundancy technique providing multiple-bit error protection without using extra redundancy %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 7 %D July 1986 %P 623-631 %A C.E. McDowell %A W.F. Appelbe %T Processor scheduling for linearly connected parallel processors %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 7 %D July 1986 %P 632-638 %A R.E. Bryant %T Graph-based algorithms for boolean function manipulation %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 8 %D August 1986 %P 677-691 %A J.E. Smith %A S. Weiss %A N.Y. Pang %T A simulation study of decoupled architecture computers %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 8 %D August 1986 %P 692-702 %A I. Koren %A Z. Koren %A S.Y.H. Su %T Analysis of a class of recovery procedures %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 8 %D August 1986 %P 703-712 %A S. Nakamura %T Algorithms for iterative array multiplication %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 8 %D August 1986 %P 713-719 %A M. Kobayashi %T An empirical study of task switching locality in MVS %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 8 %D August 1986 %P 720-731 %A A. Hlawiczka %T Compression of three state data serial streams by means of a parallel LESR signature analyzer %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 8 %D August 1986 %P 732-741 %A S.M. Reddy %A M.K. Reddy %T Testable realizations for FET stuck-open faults in CMOS combinational logic circuits %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 8 %D August 1986 %P 742-754 %A V.K. Vaishnaya %T On the height of multidimensional height balanced trees %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 9 %D September 1986 %P 773-780 %A I.S. Reed %A T.K. Truong %A J.M. Jensen %A L.-S. Hsu %T The VLSI design of an error-trellis syndrome decoder for certain convolutional codes %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 9 %D September 1986 %P 781-789 %A C.K. Baru %A S.Y.W. Su %T The architecture of SM3, a dynamically partitionable multicomputer system %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 9 %D September 1986 %P 790-802 %A A. Bobbio %A K.S. Trivedi %T An aggregation technique for the transient analysis of still Markov chains %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 9 %D September 1986 %P 803-814 %A R.D. Acosta %A J. Kjelstrup %A H.C. Torng %T An instruction issuing approach to enhancing performance in multiple functional unit processors %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 9 %D September 1986 %P 815-828 %A D. Snyers %A A. Thayse %T Algorithmic state machine design and automatic theorem proving: two dual approaches to the same activity %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 10 %D October 1986 %P 853-861 %A K. Kinoshita %A K.K. Saluja %T Built-in testing of memory using an on-chip testing scheme %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 10 %D October 1986 %P 862-870 %A R.M. Yanney %A J.P. Hayes %T Distributed recovery in fault-tolerant multiprocessor networks %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 10 %D October 1986 %P 871-879 %A S.H. Unger %A C.-J. Tan %T Clocking schemes for high-speed digital systems %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 10 %D October 1986 %P 880-895 %A T. Rhyne %A N.R. Strader,\ II %T A signed bit-sequential multiplier %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 10 %D October 1986 %P 896-901 %A M.A. Breuer %A A.A. Ismaeel %T Roving emulation as a fault detection mechanism %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 11 %D November 1986 %P 933-939 %A K.M. Kavi %A B.P. Buckles %A U.N. Bhat %T A formal definition of data flow graph models %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 11 %D November 1986 %P 940-948 %A V. Carchiolo %A A. Faro %A O. Mirabella %A G. Pappalardo %A G. Scollo %T A LOTOS specification of the PROWAY highway service %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 11 %D November 1986 %P 949-968 %A T.F. Chan %A Y. Saad %T Multigrid algorithms on the hypercube multiprocessor %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 11 %D November 1986 %P 969-977 %A M.Y. Kim %T Synchronized disk interleaving %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 11 %D November 1986 %P 978-985 %A W. Pries %A A. Thanailakis %A H.C. Card %T Group properties of cellular automata and VLSI applications %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 12 %D December 1986 %P 1013-1024 %A C.-T.A. Lea %T The load-sharing Banyan network %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 12 %D December 1986 %P 1025-1034 %A M.C. Browne %A E.M. Clarke %A D.L. Dill %A B. Mishra %T Automatic verification of sequential circuits using temporal logic %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 12 %D December 1986 %P 1035-1044 %A A. Thomasian %A P.F. Bay %T Analytic queueing network models for parallel processing of task systems %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 12 %D December 1986 %P 1045-1054 %A M.S. Krishnan %A J.P. Hayes %T An array layout methodology for VLSI circuits %J IEEE Transactions on Computers %K ieee_tc %V C-35 %N 12 %D December 1986 %P 1055-1067 %A K.G. Shin %A P. Ramanathan %T Clock synchronization of a large multiprocessor system in the presence of malicious faults %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 1 %D January 1987 %P 2-12 %A J.H.P. Zurawski %A J.B. Gosling %T Design of a high-speed square root multiply and divide unit %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 1 %D January 1987 %P 13-23 %A E.A. Lee %A D.G. Messerschmitt %T Static scheduling of synchronous data flow programs for digital signal processing %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 1 %D January 1987 %P 24-35 %A R.J. Zaccone %A J.L. Barlow %T Eliminating the normalization problem in on-line arithmetic %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 1 %D January 1987 %P 36-46 %A G.R. Redinbo %T Fault-tolerant decoders for cyclic error-correcting codes %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 1 %D January 1987 %P 47-63 %A J.H. Chang %A O.H. Ibarra %A M.A. Palis %T Parallel parsing on a one-way array of finite-state machines %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 1 %D January 1987 %P 64-75 %A M.A. Holliday %A M.K. Vernon %T Exact performance estimates for multiprocessor memory and bus interference %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 1 %D January 1987 %P 76-85 %A E. Fujiwara %A K. Matsuoka %T A self-checking generalized prediction checker and its use for built-in testing %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 1 %D January 1987 %P 86-93 %A J.P. Robinson %A N.R. Saxena %T A unified view of test compression methods %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 1 %D January 1987 %P 94-99 %A K.G. Shin %A M.-S. Chen %T Performance analysis of distributed routing strategies free of ping-pong-type looping %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 2 %D February 1987 %P 129-137 %A I. Chlamtac %A O. Ganz %T Performance models of asynchronous multitrunk HYPERchannel networks %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 2 %D February 1987 %P 138-146 %A H.S. Hou %T The fast Hartley transform algorithm %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 2 %D February 1987 %P 147-156 %A H.C. Lai %A S. Muroga %T Logic networks with a minimum number of NOR(NAND) gates for parity functions of n variables %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 2 %D February 1987 %P 157-166 %A P.J. Eherlein %T On the Schur decomposition of a matrix for parallel computation %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 2 %D February 1987 %P 167-174 %A L.D. Coroar %A P.T. Halina %A O.A. Morean %T A general model for memory-based finite-state machines %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 2 %D February 1987 %P 175-184 %A K.N. Oikonomou %T Abstractions of finite-state machines with respect to single undetectable output faults %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 2 %D February 1987 %P 185-200 %A S.M. Reddy %A D.S. Ha %T A new approach to the design of testable PLAs %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 2 %D February 1987 %P 201-211 %A G.S. Stiles %A D.-L. Denq %T A quantitative comparison of the performance of three discrete distributed associative memory models %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 3 %D March 1987 %P 257-263 %A M.A. Schuette %A J.P. Shen %T Processor control flow monitoring using signatured instruction streams %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 3 %D March 1987 %P 264-276 %A K.B. Cutler %A S. Maroga %T Derivation of minimal sums for completely specified functions %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 3 %D March 1987 %P 277-292 %A D.H. Bailey %T Vector computer memory bank contention %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 3 %D March 1987 %P 293-298 %A L.G. Birta %A Q. Abou-Rabia %T Parallel block predictor-corrector methods for ode's %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 3 %D March 1987 %P 299-311 %A D.H.-C. Du %A L.-C.H. Liu %T Heuristics algorithms for single row routing %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 3 %D March 1987 %P 312-320 %A Y.F. Wu %A P. Widmayer %A M.D.F. Schlag %A C.K. Wong %T Rectilinear shortest paths and minimum spanning trees in the presence of rectilinear obstacles %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 3 %D March 1987 %P 321-331 %A K.D. Wagner %A C.K. Chin %A E.J. Mcluskey %T Pseudorandom testing %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 3 %D March 1987 %P 332-343 %A I. Koren %A D.K. Pradhan %T Modeling the effect of redundancy on yield and performance of VLSI systems %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 3 %D March 1987 %P 344-355 %A P.-C. Yew %A N.-F. Tzeng %A D.H. Lawrie %T Distributing hot-spot addressing in large-scale multiprocessors %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 388-395 %A R.P. Bianchini,\ Jr. %A J.P. Shen %T Interprocessor traffic scheduling algorithm for multiple-processor networks %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 396-409 %A C.D. Polychronopoulos %A U. Banerjee %T Processor allocation for horizontal and vertical parallelism and related speedups %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 410-420 %A Z. Cvetanovic %T The effects of problem partitioning, allocation, and granularity on the performance of multiple-processor systems %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 421-432 %A S.-Y. Lee %A J.K. Aggarwal %T A mapping strategy for parallel processing %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 433-442 %A M. Herlihy %T Extending multiversion time-stamping protocols to exploit type information %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 443-448 %A R.A. Volz %A T.N. Mudge %T Timing issues in the distributed execution of Ada programs %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 449-459 %A K.A. Doshi %A P.J. Varman %T Optimal graph algorithms on a fixed-size linear array %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 460-470 %A T.J. LeBlanc %A J.M. Mellor-Crammey %T Debugging parallel programs with instalt replay %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 471-482 %A A.E. Kamal %T Star local area networks: a performance study %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 483-499 %A D. Peng %A K.G. Shin %T Modeling of concurrent task execution in a distributed system for real-time control %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 4 %D April 1987 %P 500-516 %A H.R. Kanakia %A F.A. Tobagi %T On distributed computations with limited resources %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 517-528 %A R. Chillarege %A R.K. Iyer %T Measurement-based analysis of error latency %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 529-537 %A A.K. Somani %A V.K. Agarwal %A D. Avis %T A generalized theory for system level diagnosis %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 538-546 %A W.J. Dally %A C.L. Seitz %T Deadlock-free message routing in multiprocessor interconnection networks %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 547-553 %A P.J.B. King %A I. Mitrani %T Modeling a slotted ring local area network %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 554-561 %A Y.I. Gold %A W.R. Franta %T A scheduling-function-based distributed access protocol that uses CDM to relay control information in a network with hidden nodes %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 562-569 %A M.J. Berger %A S.H. Bokhari %T A partitioning strategy for nonuniform problems in multiprocessors %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 570-580 %A A. Norton %A A.J. Silberger %T Parallelization and performance analysis of the Cooley-Tukey FFT algorithm for shared-memory architectures %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 581-591 %A J. Savir %A W.H. McAnney %A S.R. Vecchio %T Fault propagation through embedded multiport memories %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 592-602 %A S.-Y. Kung %A S.-C. Lo %A P.S. Lewis %T Optimal systolic design for the transitive closure and the shortest path problems %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 5 %D May 1987 %P 603-614 %A Karsten Schwan %A Prabha Gonipath %A Win Bo %T CHAOS - kernel support for objects in the real-time domain %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 8 %D August 1987 %P 904-916 %K GEM robot %A Michael F. Coulas %A Glenn H. Macewen %A Genevieve Marquis %T RNet: a hard real-time distributed programming system %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 8 %D August 1987 %P 917-932 %A Hermann Kopetz %A Wilhelm Ochsenreiter %T Clock synchronization in distributed real-time systems %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 8 %D August 1987 %P 933-940 %A Insup Lee %A Susan B. Davidson %T Adding time to synchronous process communications %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 8 %D August 1987 %P 941-948 %A Wei Zhao %A Krithi Ramamritham %A John A. Stankovic %T Preemptive scheduling under time and resource constraints %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 8 %D August 1987 %P 949-960 %A Farnam Jahanian %A Aloysius K.-L. Mok %T A graph-theoretic approach for timing analysis and its implementation %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 8 %D August 1987 %P 961-975 %A Yann-Hang Lee %A Philip S. Yu %A Balakrishna R. Iyer %T Progressive transactiuon recovery in distributed DB/DC systems %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 8 %D August 1987 %P 976-987 %A Dan Gordon %T Efficient embeddings of binary trees in VLSI arrays %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 9 %D September 1987 %P 1009-1018 %A Michael Granski %A Israel Koren %A Gabriel M. Silberman %T The effect of operation scheduling on the performance of a data flow computer %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 9 %D September 1987 %P 1019-1029 %A C.M. Krishna %A Kang G. Shin %A Inderpal S. Bhandari %T Processor tradeoffs in distributed real-time systems %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 9 %D September 1987 %P 1030-1040 %A Victor O.K. Li %T Performance models of timestamp-ordering concurrency control algorithms in distributed databases %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 9 %D September 1987 %P 1041-1051 %A Menachem Berg %A Israel Koren %T On switching policies for modular redundancy fault-tolerant computing systems %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 9 %D September 1987 %P 1052-1062 %A Alan Jay Smith %T Line (block) size choice for CPU cache memories %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 9 %D September 1987 %P 1063-1075 %A Hideonori Umeno %A Shunji Tanaka %T New methods for realizing plural near-native performance virtual machines %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 9 %D September 1987 %P 1076-1087 %A Eberhard Lange %T Implementation and test of the ACRITH facility in a System/370 %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 9 %D September 1987 %P 1088-1096 %A Adly T. Fam %T Optimal partitioning and redundancy removal in computing partial sums %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 10 %D October 1987 %P 1137-1143 %A Alain Guyot %A Bertrand Hochet %A Jean-Michel Muller %T A way to build efficient carry-skip adders %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 10 %D October 1987 %P 1144-1152 %A Clement T. Yu %A Keh-Chang Guh %A Weining Zhang %A Marjorie Templeton %A David Brill %A Arbee P. Chen %T Algorithms to process distributed queries in fast local networks %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 10 %D October 1987 %P 1153-1164 %A Hirokazu Okano %A Hideki Imai %T A construction method of high-speed decoders using ROM's for Bose-Chaudhuri-Hocquenghem and Reed-Solomon codes %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 10 %D October 1987 %P 1165-1171 %A Matthew B. Lowrie %A W. Kent Fuchs %T Reconfigurable tree architectures using subtree oriented fault tolerance %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 10 %D October 1987 %P 1172-1182 %K SOFT %A Kathleen M. Nichols %A David G. Messerschmitt %T Traffic-specific interconnection networks for multicomputers %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 10 %D October 1987 %P 1183-1196 %A Daniel Barbara %A Hector Garcia-Molina %T The reliability of voting mechanisms %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 10 %D October 1987 %P 1197-1208 %A Imrich Chlamtac %A Shay Kutten %T Tree-based broadcasting in multihop radio networks %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 10 %D October 1987 %P 1209-1223 %A Salim Hariri %A C.S. Raghavendra %T SYREL: a symbolic reliability algorithm based on path and cutset methods %J IEEE Transactions on Computers %K ieee_tc %V C-36 %N 10 %D October 1987 %P 1224-1232