%A P.R. Schneider
%A D.L. Dietmeyer
%T An algorithm for synthesis of multiple output combinational logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-17
%N 2
%D February 1968
%P 117-128

%A E.S. Davidson
%A G. Metze
%T Comments on
"An algorithm for synthesis of multiple output combinational logic"
%J IEEE Transactions on Computers
%K ieee_tc
%V C-17
%N 11
%D November 1968
%P 1091-1092

%A D.L. Dietmeyer
%A Y-H. Su
%T Logic design automation of fan-in limited NAND networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-18
%N 1
%D January 1969
%P 11-22

%A E.L. Lawler
%A K.N. Levitt
%A J. Turner
%T Module clustering to minimize delay in digital networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-18
%N 1
%D January 1969
%P 47-57

%A E.S. Davidson
%T An algorithm for NAND decomposition under network constraints
%J IEEE Transactions on Computers
%K ieee_tc
%V C-18
%N 12
%D December 1969
%P 1098-1109

%A T. Chung-Jen
%T State assignments of asynchronous sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-20
%N 4
%D April 1971
%P 382-391

%A S.Y.H. Su
%A C-W. Nam
%T Computer aided synthesis of multiple-output multilevel NAND networks
with fan-in and fan-out constraints
%J IEEE Transactions on Computers
%K ieee_tc
%V C-20
%N 12
%D December 1971
%P 1445-1455

%A R.L. Russo
%A P.H. Oden
%A P.K. Wolff
%T A heuristic procedure
for the partitioning and mapping of computer logic graphs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-20
%N 12
%P 1455-1462
%D December 1971

%A G. Saucier
%T State assignment of asynchronous sequential machines using graph techniques
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 3
%D March 1972
%P 282-288

%A William K. Pratt
%T Generalized Wiener filtering computation techniques
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 7
%D July 1972
%P 636-641

%A Louis F. Schaefer
%A Albert Macovski
%T Encoding and decoding of color information
using two-dimensional spatial filtering
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 7
%D July 1972
%P 642-647

%A R.L. Sengbrush
%A Manus R. Foster
%T Design and application of optimal velocity filters in seismic exploration
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 7
%D July 1972
%P 648-654

%A Robert L. Lillestrand
%T Techniques for change detection
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 7
%D July 1972
%P 654-659

%A Harry C. Lee
%A King-Sun Fu
%T A stochastic syntax analysis procedure
and its application to pattern classification
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 7
%D July 1972
%P 660-666

%A Richard N. Sutton
%A Ernest L. Hall
%T Texture measures for automatic classification of pulmonary disease
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 7
%D July 1972
%P 667-676

%A Azriel Rosenfeld
%A Mark Thurston
%A Yung-Han Lee
%T Edge and curve detection: further experiments
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 7
%D July 1972
%P 677-715

%A Eric A. Smith
%A Dennis R. Phillips
%T Automated cloud tracking using precisely aligned digital ATS pictures
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 7
%D July 1972
%P 715-729

%A C.V. Ramamoorthy
%A James R. Goodman
%T Some properties of iterative square-rooting methods
using high-speed multiplication
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 8
%D August 1972
%P 837-847

%A Sheldon B. Akers,\ Jr.
%T A rectangular logic array
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 8
%D August 1972
%P 848-857

%A Donald R. Schertz
%A Gernot Metze
%T A new representation for faults in combinational digital circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 8
%D August 1972
%P 858-866

%A Harvey A. Freeman
%A Gernot Metze
%T Fault-tolerant computers using "dotted logic" redundancy techniques
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 8
%D August 1972
%P 867-871

%A John A. Gibson
%A Terence W. Marks
%T Fast hybrid computer implementation of the Dynostat algorithm
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 8
%D August 1972
%P 872-880

%A Arne Ernbo
%T Application of intensity-modulated ink jets to alphanumeric printing devices
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 9
%D September 1972
%P 942-947

%A Michael J. Flynn
%T Some computer organizations and their effectiveness
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 9
%D September 1972
%P 948-960
%K SISD SIMD MIMD

%A Yale N. Patt
%T Minimum search tree structures for data partitioned into pages
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 9
%D September 1972
%P 961-967

%A Warren L.G. Koontz
%A Keinosuke Fukunaga
%T Asymptotic analysis of a nonparametric clustering technique
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 9
%D September 1972
%P 967-974

%A J. Robert Jump
%A Dennis R. Fritsche
%T Microprogrammed arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 9
%D September 1972
%P 974-984
%K cellular

%A Mohammed Y. Osman
%A C. Dennis Weiss
%T Universal base functions and modules
for realizing arbitrary switching functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 9
%D September 1972
%P 985-995

%A Stephen Y.H. Su
%A Peter T. Cheung
%T Computer minimization of multivalued switching functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 9
%D September 1972
%P 995-1003

%A John M. Thorington,\ Jr.
%A J. David Irwin
%T An adaptive replacement algorithm for paged memory computer systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 10
%D October 1972
%P 1053-1061

%A K.M. Chandy
%A Robert A. Russell
%T The design of multipoint linkages in a teleprocessing tree network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 10
%D October 1972
%P 1062-1066

%A Donald D. Givone
%A Robert P. Roesser
%T Multidimensional linear iterative circuits - general properties
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 10
%D October 1972
%P 1067-1073

%A Alexander Iosupowicz
%A Ming-Kei Hu
%T A class of autonomous one-dimensional iterative arrays of linear machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 10
%D October 1972
%P 1073-1086

%A B.D. Carroll
%A Clarance L. Coates,\ Jr.
%T Minimum two-level threshold gate realizations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 10
%D October 1972
%P 1086-1098

%A Jerzy Frackowiak
%T The synthesis of minimal hazardless TANT networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 10
%D October 1972
%P 1099-1108

%A Samuel H. Fuller
%T An optimal drum scheduling algorithm
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 11
%D November 1972
%P 1153-1165

%A Daniel Degryse
%A Bernard Guerin
%T A logarithmic transcoder
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 11
%D November 1972
%P 1165-1168

%A C.V. Ramamoorthy
%A L.C. Chang
%T System modeling and testing procedures for microdiagnostics
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 11
%D November 1972
%P 1169-1183

%A Sudhakar M. Reddy
%T Easily testable realizations for logic functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 11
%D November 1972
%P 1183-1188

%A Tadao Takaoka
%A Toshihide Ibaraki
%T N-fail-safe sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 11
%D November 1972
%P 1189-1196

%A Shun-ichi Amari
%T Learning patterns and pattern sequences
by self-organizing nets of threshold elements
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 11
%D November 1972
%P 1197-1206

%A Gursharan S. Sidhu
%A Raymond T. Boute
%T Property encoding:
application in binary picture encoding and boundary following
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 11
%D November 1972
%P 1206-1216

%A Charles M. Rader
%T Discrete convolutions via Mersenne transforms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1269-1273

%A Chung-Kwong Yuen
%T Upper bounds on Walsh transforms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1273-1280

%A Dilip K. Banerji
%A Janusz A. Brozozowski
%T On translation algorithms in residue number systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1281-1285

%A George K. Papakonstantinou
%T A synthesis method for cutpoint cellular arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1286-1292

%A David J. Kuck
%A Yoichi Muraoka
%A Shyh-Ching Chen
%T On the number of operations simultaneously executable
in Fortran-like programs and their resulting speedup
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1293-1310

%A Mario J. Gonzalez,\ Jr.
%A C.V. Ramamoorthy
%T Parallel task execution in a decentralized system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1310-1322

%A Se June Hong
%A Arvind M. Patel
%T A general class of maximal codes for computer applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1322-1331

%A Dhiraj K. Pradhan
%A Sudhakar M. Reddu
%T Error-control techniques for logic processors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1331-1336

%A Guy W. Beakley
%A Franz B. Tuteur
%T Distribution-free pattern verification using statistically equivalent blocks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1337-1347

%A Louis R. Goke
%A Keith L. Doty
%T Design of a random-pulse computer for classifying binary patterns
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1347-1354

%A Jack Sklansky
%T Measuring concavity on a rectangular mosaic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1355-1364

%A James R. Story
%A Harold J. Harrison
%A Erwin A. Reinhard
%T Optimum state assignment for synchronous sequential circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1365-1373

%A Charles R. Baugh
%T Generation of representative functions
of the NPN equivalence classes of unate boolean functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-21
%N 12
%D December 1972
%P 1373-1379

%A Robert J. Polge
%A B.K. Bhagavan
%A James M. Carswell
%T Fast computational algorithms for bit reversal
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 1-9

%A Eisuke Kinoshita
%A Hideo Kosako
%A Yoshiaki Kojima
%T Floating-point arithmetic algorithms in the symmetric residue number system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 9-20

%A Robert M. Keller
%T Towards a theory of universal speed-independent modules
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 21-33

%A Woodrow E. Robbins
%A Luther D. Rudolph
%T On two-level exclusive-OR majority networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 34-41

%A Dhiraj K. Pradhan
%A Sudhakar M. Reddy
%T Design of two-level fault-tolerant networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 41-48

%A Giuseppe Fantauzzi
%A Alberto Marsella
%T Multiple-fault detection and location in fan-out free combinational circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 48-55

%A John P. Hayes
%T On modifying logic networks to improve their diagnosability
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 56-62

%A Tso-Kai Liu
%A Keith R. Hohulin
%A Lih-Er Shiau
%A Saburo Muroga
%T Optimal one-bit full adders with different types of gates
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 63-70

%A Pierre A. Devijver
%T On a new class of bounds on Bayes risk in multihypothesis pattern recognition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 70-80

%A Nripendra N. Biswas
%T State minimization of incompletely specified sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 1
%D January 1974
%P 80-84

%A Abrahm A. Covo
%T Analysis of multiprocessor control organizations
with partial program memory replication
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 2
%D February 1974
%P 113-120

%A Casper R. DeFiore
%A P. Bruce Berra
%T A quantitative analysis
of the utilization of associative memories in data management
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 2
%D February 1974
%P 121-133

%A Michel Diaz
%A Jean Claude Geffroy
%A Marc Courvoisier
%T On-set realization of fail-safe sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 2
%D February 1974
%P 133-138

%A Hideo Fujiwara
%A Kozo Kinoshita
%T Design of diagnosable sequential machines utilizing extra outputs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 2
%D February 1974
%P 138-145

%A William J. Hurd
%T Efficient generation of statistically good pseudonoise
by linearly interconnected shift registers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 2
%D February 1974
%P 146-152

%A Shuzo Yajima
%A Kosaku Inagaki
%T Power minimization problems of logic networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 2
%D February 1974
%P 153-165

%A Lawrence T. Fisher
%T Unateness properties of And-Exclusive-Or logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 2
%D February 1974
%P 166-172

%A Andrew S. French
%A Edward G. Butz
%T The use of Walsh functions in the Wiener analysis of nonlinear systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 225-232

%A Eric J. van\ Lantschoot
%A Joos P. Vandewalle
%T Design of weighted counters with rational scale
using continued fraction expansion
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 232-238

%A Dwight H. Sawin,\ III
%A Gary K. Maki
%T Asynchronous sequential machines designed for fault detection
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 239-248

%A Azaria Paz
%A Moshe Rabinovitz
%T Linear automata approximation problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 249-255

%A M.E. Ulug
%A B.A. Bown
%T A unified theory of the algebraic topological methods
for the synthesis of switching systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 255-267

%A C.K. Wong
%A Shi-Kuo Chang
%T Parallel generation of binary search trees
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 267-271

%A Alfred V. Aho
%A Jeffrey D. Ullman
%T Dynamic memories with parid random and sequential access
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 272-276

%A Edward F. Miller,\ Jr.
%T A multiple-stream registerless shared-resource processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 277-285

%A Jerome M. Kurtzberg
%T On the memory conflict problem in multiprocessor systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 286-293

%A Roy S. Nutter,\ Jr.
%A Robert E. Swartwout
%A David C. Rine
%T Equivalence and transformations for Post multivalued algebras
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 294-300

%A Amnon Bracha-Barak
%T Application of continued fractions for fast evaluation of certain functions
on a digital computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 301-309

%A Tse-Yun Feng
%T Data manipulating functions in parallel processors and their implementations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 3
%D March 1974
%P 309-318

%A Douglas C. Schmidt
%A Larry E. Druffel
%T An extension of the clause table approach
to multi-output combinational switching networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 338-346

%A James Bell
%A David Casasent
%A C. Gordon Bell
%T An investigation of alternative cache organizations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 346-351

%A Donald A. Sheppard
%A Zvonko G. Vranesic
%T Fault detection of binary sequential machines using R-valued test machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 352-358

%A William H. Kautz
%T Testing for faults in wiring networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 358-363

%A Chia-Hsiaing Sung
%A Clarence L. Coates,\ Jr.
%T Tesselation aspect of combinational cellular array testing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 363-369

%A William W. Patterson
%A Gernot Metze
%T A fail-safe asynchronous sequential machine
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 369-374

%A Carlo Montangero
%T An approach to the optimal specification of read-only memories
in microprogrammed digital computers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 375-389

%A Eitan Sadeh
%A Mark A. Franklin
%T Monte Carlo solution of partial differential equations
by special purpose digital computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 389-397

%A A.B. Shahidul Hussain
%T Compound sequential probability ratio test
for the classification of statistically dependent patterns
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 398-410

%A G.A. Butler
%A H. Barry Ritea
%T Estimation of mutual information in two-class pattern recognition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 410-420

%A G. Nagaraja
%A Gopalrao Krishna
%T An algorithm for the solution of linear inequalities
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 421-427

%A James C. Stoffel
%T A classifier design technique
for discrete variable pattern recognition problems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 4
%D April 1974
%P 428-441

%A Johnson M. Hart
%T A class of push-down acceptors for adjunct languages
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 5
%D May 1974
%P 449-455

%A Edward Cerny
%A Miguel A. Marin
%T A computer algorithm for the synthesis of memoryless logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 5
%D May 1974
%P 455-465

%A Warren D. Little
%T An algorithm for high-speed digital filters
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 5
%D May 1974
%P 466-469

%A Anil K. Jain
%A Edward Angel
%T Image restoration, modelling, and reduction of dimensionality
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 5
%D May 1974
%P 470-476

%A H. Christian Wehrfritz
%T Techniques for the transformation of logic equations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 5
%D May 1974
%P 477-480

%A Edward M. Riseman
%A Allen R. Hanson
%T A contextual postprocessing system for error correction using binary n-grams
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 5
%D May 1974
%P 481-493

%A Ray S. Wickersham
%A Gary K. Maki
%T Safe asynchronous sequential circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 5
%D May 1974
%P 494-500

%A Svetlana P. Kartashev
%T Theory and implementation of p-multiple sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 5
%D May 1974
%P 500-523

%A S. Rao Kosaraju
%T On some open problems in the theory of cellular automata
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 6
%D June 1974
%P 561-565

%A Jochen Beister
%T A unified approach to combinational hazards
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 6
%D June 1974
%P 566-575

%A Giuseppe Fantauzzi
%T An algebraic model for the analysis of logical circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 6
%D June 1974
%P 576-581

%A A.B. Shahidul Hussain
%A Robert W. Donaldson
%T Suboptimal sequential decision schemes with on-line feature ordering
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 6
%D June 1974
%P 582-590

%A Patrick L. Odell
%A Benjamin S. Duran
%T Comparison of some classification techniques
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 6
%D June 1974
%P 591-596

%A Michael G. Thomason
%T Errors in regular languages
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 6
%D June 1974
%P 597-602

%A Richard A. Thompson
%T Determination of probabilistic grammars
for functionally specified probability-measure languages
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 6
%D June 1974
%P 603-614

%A Ray W. Wolverton
%T The cost of developing large-scale software
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 6
%D June 1974
%P 615-636

%A Gary K. Maki
%A Dwight H. Sawin,\ III
%T Fault-tolerant asynchronous sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 7
%D July 1974
%P 651-657

%A John E. Wakerly
%T Partially self-checking circuits
and their use in performing logical operations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 7
%D July 1974
%P 658-666

%A Roy C. Ogus
%T Fault-tolerance of the iterative cell array switch for hybrid redundancy
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 7
%D July 1974
%P 667-681

%A Jacob A. Abraham
%A Daniel P. Siewiorek
%T An algorithm for the accurate reliability evaluation
of triple modular redundancy networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 7
%D July 1974
%P 682-692

%A Jack Goldberg
%A Karl N. Levitt
%A John H. Wensley
%T An organization for a highly survivable memory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 7
%D July 1974
%P 693-705

%A Sheldon B. Akers,\ Jr.
%T Fault diagnosis as a graph coloring problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 7
%D July 1974
%P 706-713

%A Samir Kamal
%T Intermittent faults: a model and a detection procedure
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 7
%D July 1974
%P 713-719

%A Kenyon C.Y. Mel
%T Bridging and stuck-at faults
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 7
%D July 1974
%P 720-727

%A John P. Hayes
%A Arthur D. Friedman
%T Test point placement to simplify fault detection
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 7
%D July 1974
%P 727-735

%A Louise H. Jones
%A Richard W. Merwin
%T Trends in microprogramming: a second reading
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 754-759

%A Lee W. Hoevel
%T "Ideal" directly executed languages: an analytical argument for emulation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 759-767

%A C.V. Ramamoorthy
%A K.S. Shankar
%T Automatic testing for the correctness and equivalence
of loopfree microprograms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 768-782

%A Richard T. Thomas
%T Organization for execution of user microprograms from main memory:
synthesis and analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 783-791

%A C.V. Ramamoorthy
%A Masahiro Tsuchiya
%T A high-level language for horizontal microprogramming
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 791-801
%K SIMPL

%A A.M. Abd-Alla
%A David C. Karlgaard
%T Heuristic synthesis of microprogrammed computer architecture
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 802-807

%A Gary L. Kratz
%A William W. Sproul
%A Eugene T. Walendziewicz
%T A microprogrammed approach to signal processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 808-817

%A Ashok K. Agrawala
%A Tomlinson G. Rauscher
%T Microprogramming: perspective and status
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 817-837

%A Jean-Loup Baer
%T On program placement in a directly executable hierarchy of memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 838-849

%A Marek Fridrich
%A Wayne A. Davis
%T Minimal fault ests for combinational networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 850-859

%A Theodosios Pavlidis
%A Steven L. Horowitz
%T Segmentation of plane curves
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 8
%D August 1974
%P 860-870

%A Jerome H. Friedman
%A John W. Tukey
%T A projection pursuit algorithm for exploratory data analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 9
%D September 1974
%P 881-890

%A Krzysztof K. Burhardt
%T An adaptive search optimization algorithm
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 9
%D September 1974
%P 890-897

%A Wolgang K. Giloi
%A Hans Liebig
%T A formalism for description and synthesis of logical algorithms
and their hardware implementation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 9
%D September 1974
%P 897-906

%A Frank Rubin
%T The Lee path connection algorithm
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 9
%D September 1974
%P 907-914

%A Ferruccio Barsi
%A Piero Maestrini
%T Error detection and correction by product codes in residue number systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 9
%D September 1974
%P 915-924

%A Robert J. Smith,\ II
%T Generation of internal state assignments
for large asynchronous sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 9
%D September 1974
%P 924-932

%A Lauri Hakkala
%A Leo Ojala
%T Discretization error analysis in linear DDA connections
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 9
%D September 1974
%P 932-941

%A Ming-Duenn Ni
%A J.K. Aggarwal
%T Two-dimensional digital filtering and its error analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 9
%D September 1974
%P 942-954

%A Bhakta K. Roy
%T Diagnosis and fault equivalence in combinational circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 9
%D September 1974
%P 955-963

%A Alvin M. Despain
%T Fourier transform computers using CORDIC iterations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 993-1001

%A Tse Lin Wang
%A Cho-Kai Liu
%T Weight-preserved single-error-correcting scheme for binary adders
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 1002-1007

%A S.C. De\ Sarkar
%A S. Randyopadhyay
%A A.K. Choudhury
%T Unate cascade realization of synchronous sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 1008-1019

%A J. Robert Jump
%T Asynchronous control arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 1020-1029

%A Hsiao-Peng Sherman Lee
%A Edward S. Davidson
%T Redundancy testing in combinational networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 1029-1047

%A Howard A. Sholl
%T Direct transition memory and its application in computer design
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 1048-1061

%A David G. Cantor
%A Mario Gerla
%T Optimal routing in a packet-switched computer network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 1062-1069

%A Melvin A. Breuer
%A R. Loyd Harrison
%T Procedures for eliminating static and dynamic hazards in test generation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 1069-1078

%A Melvin A. Breuer
%T The effects of races, delays, and delay faults on test generation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 1078-1092

%A Amnon Bracha-Barak
%T A method for solving polynomial equations by continued fractions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 10
%D October 1974
%P 1093-1097

%A Roger C. Swanson
%T Interconnections for parallel memories to unscramble p-ordered vectors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1105-1115

%A Thomas A. Ryan
%A Edward G. Coffman,\ Jr.
%T A problem in multiprogrammed storage allocation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1116-1122

%A Shigenori Matsushita
%A Tohru Moto-Oka
%T Magnitude of cross-coupling noise in digital multiwire transmission lines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1122-1132

%A Herbert Yu-Pang Chang
%A Stephen G. Chappell
%A Charles H. Elmendore
%A Lonnie D. Schmidt
%T Comparison of parallel and deductive fault simulation methods
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1132-1138

%A Ramaswami Dandapani
%A Sudhakar M. Reddy
%T On the design of logic networks with redundancy and testability conditions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1139-1149

%A Yoshihiro Tohma
%T Design technique of fail-safe sequential circuits
using flip-flops for internal memory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1149-1154

%A Fu-Min Yuan
%T Minimal memory inverses of linear sequential circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1155-1163

%A John Q. Torode
%A Theodore H. Kehl
%T The logic machine: a modular computer design system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1164-1169

%A Marc T. Kaufman
%T An almost-optimal algorithm for the assembly line scheduling problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1169-1174

%A R.N. Ascher
%A George Nagy
%T A means for achieving a high degree of compaction
on scan-digitized printed text
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1174-1179

%A Chin-Liang Chang
%T Finding prototypes for nearest neighbor classifiers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1179-1184

%A F. Gail Gray
%A Richard A. Thompson
%T Reconfiguration for repair in a class of universal logic modules
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 11
%D November 1974
%P 1185-1194

%A Yaacov A. Choueka
%T Structure automata
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 12
%D December 1974
%P 1218-1227

%A Frank Markham Brown
%T Equational logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 12
%D December 1974
%P 1228-1237

%A K. Chakrabarti
%A Otto Kolp
%T Fan-in constrained tree networks of flexible cells
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 12
%D December 1974
%P 1238-1249

%A Kenan E. Sahin
%T Message-based response routing with Selcuk networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 12
%D December 1974
%P 1250-1257

%A Gyula Locs
%A John M. Gary
%T A Fortran extension for data display
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 12
%D December 1974
%P 1258-1263

%A Azriel Rosenfeld
%T Digital straight line segments
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 12
%D December 1974
%P 1264-1269

%A Mark A. Franklin
%A Amitava Sen
%T An analytic response time model for single- and dual-density disk systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 12
%D December 1974
%P 1269-1276

%A Thomas J. NeBlson
%T A study of the electrochemical cell
as a storage element for the memory access gap
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 12
%D December 1974
%P 1277-1290

%A Francois Bancilhon
%T A geometric model for stochastic automata
%J IEEE Transactions on Computers
%K ieee_tc
%V C-23
%N 12
%D December 1974
%P 1290-1299

%A Tyre A. Newton
%T Some parametric techniques in the analog solution
of ordinary differential equations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 1
%D January 1975
%P 1-8

%A Akira Maruoka
%A Namio Honda
%T The range of logical flexibility of tree networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 1
%D January 1975
%P 9-28

%A Douglas C. Schmidt
%A Gernot Metze
%T Modular replacement of combinational switching networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 1
%D January 1975
%P 29-48

%A Colin R. Edwards
%T The application of the Rademacher-Walsh transform
to boolean function classification and threshold logic synthesis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 1
%D January 1975
%P 48-62

%A Chia-Tai Ku
%A Gerald M. Masson
%T The boolean difference and multiple fault analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 1
%D January 1975
%P 62-71

%A Tso-Kai Liu
%T Synthesis algorithms for 2-level MOS networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 1
%D January 1975
%P 72-79

%A Michael J. Corinthios
%A Kenneth C. Smith
%A Jui L. Yen
%T A parallel radix-4 Fast Fourier Transform computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 1
%D January 1975
%P 80-92

%A Frank Rubin
%T An improved algorithm for testing the planarity of a graph
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 2
%D February 1975
%P 113-121

%A Alan W. Biermann
%A Richard I. Baum
%A Frederick E. Petry
%T Speeding up the synthesis of programs from traces
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 2
%D February 1975
%P 122-136

%A Mario R. Barbacci
%T A comparison of register transfer languages
for describing computers and digital systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 2
%D February 1975
%P 137-150
%K RT RTL, CDL APDL APL ISP

%A John P. Hayes
%T Detection of pattern-sensitive faults in random-access memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 2
%D February 1975
%P 150-157

%A Andrew K.C. Wong
%A Tze S. Liu
%T Typicality, diversity, and feature patterns of an ensemble
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 2
%D February 1975
%P 158-181

%A Roger W. Ehrich
%A Kenneth J. Koehler
%T Experiments in the contextual recognition of cursive script
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 2
%D February 1975
%P 182-194

%A Howard A. Sholl
%A Shou-Chung Yang
%T Design of asynchronous sequential networks using read-only memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 2
%D February 1975
%P 195-206

%A Peter G. Neumann
%A Thammavaparu R.N. Rao
%T Error-correcting codes for byte-organized arithmetic processors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 3
%D March 1975
%P 226-232

%A Stephen S. Yau
%A Shih-Chien Yang
%T Multiple fault detection for combinational logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 3
%D March 1975
%P 233-242

%A Oscar H. Ibarra
%A Sartaj K. Sahni
%T Polynomially complete fault detection problems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 3
%D March 1975
%P 242-249

%A Mohamed J. Elmasry
%A Philip M. Thompson
%T Two-level emitter-function logic structures for logic-in-memory computers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 3
%D March 1975
%P 250-258

%A Angelo R. Meo
%T Arithmetic networks and their minimization
using a new line of elementary units
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 3
%D March 1975
%P 258-280

%A Donald H. Foley
%A John W. Sammon,\ Jr.
%T An optimal set of discriminant vectors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 3
%D March 1975
%P 281-289

%A Charles S. Weaver
%T Some properties of threshold logic unit pattern recognition networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 3
%D March 1975
%P 290-298

%A Johannes Mykkeltveit
%T Generating and counting the double adjacencies
in a pure circulating shift register
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 3
%D March 1975
%P 299-304

%A Henry Stark
%T An optical-digital computer for parallel processing of images
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 340-347

%A David Casasent
%A Warren M. Sterling
%T An optical/digital processor: hardware and applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 348-358

%A Donald H. McMahon
%A Gilbert L. Johnson
%A Stanley L. Teeter
%A Colin G. Whitney
%T A hybrid optical computer processing technique for fingerprint identification
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 358-369

%A Peter Stucki
%T Solid-state area scanning arrays as interface devices
between optical and digital computing systems - a simulation study
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 370-380

%A On-Ching Yue
%A E.L. Rope
%A G. Tricoles
%T Two reconstruction methods
for microwave imaging of buried dielectric anomalies
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 381-390

%A Hermann Weiss
%T Nonredundant point distribution for coded aperture imaging
with application to three-dimensional on-line X-ray information retrieving
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 391-304

%A Glen Wade
%A Hormozdyar Keyani
%A Soo-Chang Pei
%T New experiments and analysis in Bragg-diffraction imaging
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 305-401

%A Charles D. Butter
%A T.C. Lee
%T Thermoplastic holographic recording of binary patterns in PLZT line composer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 402-406

%A Winston E. Kock
%T A real-time parallel optical processing technique
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 407-411

%A Pal Greguss
%A Wilhelm Waidelich
%T Ultrasonic holographic Fourier spectroscopy via optical Fourier transforms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 412-418

%A Gerhard Winzer
%T Character recognition with a coherent optical multichannel correlator
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 419-423

%A Charalambos D. Stamopoulos
%T Parallel image processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 424-433

%A Franz L. Lanzl
%A Heinrich Heitmann
%T Direct coherent optical Fourier transform of curves
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 434-442

%A Nabil H. Farhat
%T Nonlinear optical data processing and filtering: a feasibility study
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 443-448

%A R.H.T. Bates
%A Peter T. Gough
%T New outlook on processing radiation
received from objects viewed through randomly fluctuating media
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 4
%D April 1975
%P 449-456

%A C.R. Kime
%T Fault-tolerant computing: an introduction and perspective
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 457-460

%A S. Kamal
%T An approach to the diagnosis of intermittent faults
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 461-467

%A J.F. Meyer
%A R.J. Sundstrom
%T On-line diagnosis of unrestricted faults
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 468-475

%A Francisco J.O. Dias
%T Fault masking in combinational logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 476-482

%A Alan M. Usas
%T A totally self-checking checker design
for the detection of errors in periodic signals
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 483-489

%A Norman Benowitz
%A Donald F. Calhoun
%A Gary E. Anderson
%A John E. Bauer
%A Carl T. Joeckel
%T An advanced fault isolation system for digital logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 489-497

%A Albert L. Hopkins,\ Jr.
%A T. Basil Smith,\ III
%T The architectural elements of a symmetric fault-tolerant multiprocessor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 498-505

%A T. Basil Smith,\ III
%T A damage- and fault-tolerant input/output network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 505-512

%A Mu Y. Hsiao
%A Douglas C. Bossen
%T Orthogonal square configuration
for LSI memory yield and reliability enhancement
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 512-516

%A Barry R. Borgerson
%A Richard F. Freitas
%T A reliability model for gracefully degrading and standby-sparing systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 517-525

%A Daniel P. Siewiorek
%T Reliability modeling of compensating module failures
in majority voted redundancy
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 525-533

%A Roy C. Ogus
%T The probability of a correct output from a combinational circuit
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 534-544

%A George B. Leeman,\ Jr.
%T Some problems in certifying microprograms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 545-553

%A William E. Howden
%T Methodology for the generation of program test data
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 5
%D May 1975
%P 554-560

%A John H.J. Allum
%T A least mean squares CUBIC algorithm
for on-line differential of sampled analog signals
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 6
%D June 1975
%P 585-590

%A Chung-Kwong Yuen
%T Function approximation by Walsh series
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 6
%D June 1975
%P 590-598

%A Judea Pearl
%T Optimal dyadic models of time-invariant systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 6
%D June 1975
%P 598-603

%A George R. Couranz
%A Donald F. Wann
%T Theoretical and experimental behavior
of synchronizers operating in the metastable region
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 6
%D June 1975
%P 604-616

%A Jerry R. Fram
%A Edward S. Deutsch
%T On the quantitative evaluation of edge detection schemes
and their comparison with human performance
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 6
%D June 1975
%P 616-628

%A K.L. Kodandapani
%A Rangaswamy V. Setlur
%T Reed-Muller canonical forms in multivalued logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 6
%D June 1975
%P 628-636

%A Hou-Yan F. Feng
%A Theodosios Pavlidis
%T Decomposition of polygons into simpler components:
feature generation for syntactic pattern recognition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 6
%D June 1975
%P 636-650

%A Stephen A. Underwood
%A Clarence L. Coates,\ Jr.
%T Visual learning from multiple views
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 6
%D June 1975
%P 651-661

%A Lai-Wo Fung
%A Kin-Sun Fu
%T Stochastic syntactic decoding for pattern classification
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 6
%D June 1975
%P 662-667

%A Jon T. Butler
%T On the number of functions realized by cascades and disjunctive networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 7
%D July 1975
%P 681-690

%A Prathima Agrawal
%A Vishwani D. Agrawal
%T Probabilistic analysis of random test generation method
for irredundant combinational logic networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 7
%D July 1975
%P 691-695

%A H. Daniel Schnurmann
%A Eric Lindbloom
%A Robert G. Carpenter
%T The weighted random test-pattern generator
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 7
%D July 1975
%P 695-700

%A Shyh-Ching Chen
%A David J. Kuck
%T Time and parallel processor bounds for linear recurrence systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 7
%D July 1975
%P 701-717

%A Albert L. Zobrist
%A William B. Thompson
%T Building a distance function for gestalt grouping
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 7
%D July 1975
%P 718-728

%A Chin Chao
%A Herschel H. Loomis,\ Jr.
%T High rate realization of finite-state machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 7
%D July 1975
%P 729-740

%A Thomas A. Brubaker
%A John C. Becker
%T Multiplication using logarithms implemented with read-only memory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 8
%D August 1975
%P 761-765

%A Farhad Nourai
%A R. Sohrab Kashef
%T A universal four-state cellular computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 8
%D August 1975
%P 766-776

%A Ronald C. de\ Vries
%A Antonin Svoboda
%T Multiple-output optimization with mosaics of boolean functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 8
%D August 1975
%P 777-785

%A Arthur J. Bernstein
%A Paul Siegel
%T A computer architecture for level structured systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 8
%D August 1975
%P 785-793

%A B.A. Prasad
%A F. Gail Gray
%T Multiple fault detection in arrays of combinational cells
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 8
%D August 1975
%P 794-802

%A John R. Bennett
%A John S. MacDonald
%T On the measurement of curvature in a quantized environment
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 8
%D August 1975
%P 803-820

%A Hideo Fujiwara
%A Yoich Nagao
%A Tsutomu Sasao
%A Kozo Kinoshita
%T Easily testable sequential machines with extra inputs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 8
%D August 1975
%P 821-826

%A John B. Kioustelidis
%A John K. Petrou
%T A piecewise linear approximation of log2 x
with equal maximum error in all intervals
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 9
%D September 1975
%P 858-861

%A Harold Hoehne
%A Robert Piloty
%T Design verification at the register transfer language level
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 9
%D September 1975
%P 861-867

%A C.V. Ramamoorthy
%A Yih-Wu Han
%T Reliability analysis of systems with concurrent error detection
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 9
%D September 1975
%P 868-878

%A Peter M. Will
%A David D. Grossman
%T An experimental system for computer controlled mechanical assembly
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 9
%D September 1975
%P 879-888

%A K.R. Rao
%A M.A. Narasimhan
%A Krishnaiah Revuluri
%T Image data processing by Hadamard-Haar transform
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 9
%D September 1975
%P 888-896

%A Dileep P. Bhandarkar
%T Analysis of memory interference in multiprocessors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 9
%D September 1975
%P 897-908

%A Warren L.G. Koontz
%A Patrenahalli M. Narendra
%A Keinosuke Fukunaga
%T A branch and bound clustering algorithm
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 9
%D September 1975
%P 908-915

%A R.L. Kashyap
%A M.C. Mittal
%T Picture reconstruction from projections
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 9
%D September 1975
%P 915-923

%A Bernd Reusch
%T Generation of prime implicants from subfunctions
and a unifying approach to the covering problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 9
%D September 1975
%P 924-930

%A Ewald von\ Puttkamer
%T A simple hardware buddy system memory allocator
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 10
%D October 1975
%P 953-957

%A Michael Andrews
%A Granino A. Korn
%T Hybrid computer methods for direct functional optimization
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 10
%D October 1975
%P 958-965

%A J.K. Aggarwal
%A Richard O. Duda
%T Computer analysis of moving polygonal images
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 10
%D October 1975
%P 966-976

%A P.W. Baker
%T More efficient radix-2 algorithms for some elementary functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 11
%D November 1975
%P 1049-1054

%A Frank M. Brown
%T Equational realizations of switching functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 11
%D November 1975
%P 1054-1066

%A Kuchibhotla V. Sastry
%A Richard Y. Kain
%T On the performance of certain multiprocessor computer organizations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 11
%D November 1975
%P 1066-1074

%A Dennis R. Morgan
%T A/D conversion using geometric feedback AGC
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 11
%D November 1975
%P 1074-1078

%A Jeffrey D. Russell
%A Charles R. Kime
%T System fault diagnosis: closure and diagnosability with repair
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 11
%D November 1975
%P 1078-1089

%A C.V.S. Rao
%A Nripendra N. Biswas
%T Minimization of incompletely specified sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 11
%D November 1975
%P 1089-1100

%A Duncan H. Lawrie
%T Access and alignment of data in an array processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 12
%D December 1975
%P 1145-1155

%A Jeffrey D. Russell
%A Charles R. Kime
%T System fault diagnosis: masking, exposure, and diagnosability without repair
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 12
%D December 1975
%P 1155-1161

%A Zvi Kohavi
%A Israel Berger
%T Fault diagnosis in combinational tree networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 12
%D December 1975
%P 1161-1167

%A Harold S. Stone
%T Dynamic memories with fast random and sequential access
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 12
%D December 1975
%P 1167-1174

%A Didier H. Schwartzmann
%A Jacques J. Vidal
%T An algorithm for determining the topological dimensionality of point clusters
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 12
%D December 1975
%P 1175-1182

%A William J. Borucki
%A Don H. Card
%A Gilbert C. Lyle
%T A method of using cluster analysis
to study statistical dependence in multivariate data
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 12
%D December 1975
%P 1183-1191

%A J.C. Dunn
%T Group averaged linear transforms that detect corners and edges
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 12
%D December 1975
%P 1191-1201

%A Renato de\ Mori
%A Silvano Rivoira
%A Angelo Serra
%T A special-purpose computer for digital signal processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 12
%D December 1975
%P 1202-1211

%A Michael G. Thomason
%T Stochastic syntax-directed translation schemata
for correction of errors in context-free languages
%J IEEE Transactions on Computers
%K ieee_tc
%V C-24
%N 12
%D December 1975
%P 1211-1216

%A Stephen Williams
%A Ivor R. Smith
%T SRC bridge convertor computation using tensor methods
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 1-6

%A Arnold K. Griffith
%T Empirical exploration of the performance
of the alpha-beta tree-searching heuristic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 6-11

%A Chia-Hsiang Sung
%T Testable sequential cellular arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 11-18

%A Jeffrey H. Hoel
%T Some variations of Lee's algorithm
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 19-24

%A L.C. Higbie
%T Vector floating-point data format
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 25-32

%A Yoram Korne
%T Interpolator for a general numerical control system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 33-37

%A Harold Warner
%A Charles L. Bell
%A Duane M. Rumbaugh
%A Timothy V. Gill
%T Computer-controlled teaching instrumentation
for linguistic studies with the great apes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 38-43

%A Melvin A. Breuer
%A Shih-Jeh Chang
%A Stephen V.H. Su
%T Identification of multiple stuck-type faults in combinational networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 44-54

%A Tomas Lang
%A Harold S. Stone
%T A shuffle-exchange network with simplified control
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 55-65

%A H.K. Ramapriyan
%T A multilevel approach to sequential detection of pictorial features
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 66-78

%A Boonsieng Benjauthrit
%A Irving S. Reed
%T Galois switching functions and their applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 1
%D January 1976
%P 78-86

%A Vinod K. Malhotra
%A Robert D. Fisher
%T A double error-correction scheme for peripheral systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 105-115

%A Ashok D. Ingle
%A Daniel P. Siewiorek
%T A reliability model for various switch designs in hybrid redundancy
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 115-133

%A Miroslav Pechoucek
%T Anomalous response times of input synchronizers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 133-139

%A Harry C. Andrews
%A Claude L. Patterson
%T Outer product expansions and their uses in digital image processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 140-148

%A Carl H. Smith
%A Larry D. Wittie
%T Memory hardware for high speed job selection
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 149-156

%A C.K. Chow
%T Determination of cache's capacity and its matching storage hierarchy
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 157-164

%A Gerard V. Trunk
%T Statistical estimation of the intrinsic dimensionality
of a noisy signal collection
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 165-171

%A Teruo Okuda
%A Eiichi Tanaka
%A Tamotsu Kasai
%T A method for the correction of garbled words based on the Levenshtein metric
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 172-178

%A Chris E. van\ Haershma Buma
%A Robert P.W. Duin
%T Computation of concave piecewise linear discriminant functions
using Chebyshev polynomials
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 178-186

%A Jack Sklansky
%A Luigi P. Cordella
%A Stefano Levialdi
%T Parallel detection of concavities in cellular blobs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 2
%D February 1976
%P 187-196

%A James W. Bowra
%A H.C. Torng
%T The modeling and design of multiple function-unit processors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 3
%D March 1976
%P 210-221

%A N.B. Rabbat
%A S.W.A.M.A. Hossain
%A W.D. Ryan
%T Improved simulation of pulse propagation between digital circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 3
%D March 1976
%P 221-228

%A Shachindra N. Maheshwari
%A S. Louis Hakimi
%T On models of diagnosable systems and probabilistic fault diagnosis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 3
%D March 1976
%P 228-236

%A Thurman A. Irving,\ Jr.
%A Sajjan G. Shiva
%A H. Troy Nagle,\ Jr.
%T Flip-flops for multiple-valued logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 3
%D March 1976
%P 237-246

%A Kozo Kinoshita
%A Tsutomu Sasao
%A Jun Matsuda
%T On magnetic bubble logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 3
%D March 1976
%P 247-253

%A C.K. Wong
%A Don Coppersmith
%T The generation of permutations in magnetic bubble memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 3
%D March 1976
%P 254-262

%A Bijan Moayer
%A King-Sun Fu
%T A tree system approach for fingerprint pattern recognition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 3
%D March 1976
%P 262-274

%A Richard A. Thompson
%T Language correction using probabilistic grammars
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 3
%D March 1976
%P 275-286

%A P.C.Y. Yip
%T Some aspects of the zoom transform
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 3
%D March 1976
%P 287-296

%A Alistair D.C. Holden
%T Trends in artificial intelligence
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 313-316

%A George W. Ernst
%T A definition-driven theorem prover
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 317-322

%A David Gelperin
%T A resolution-based proof procedure using deletion-directed search
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 323-327

%A Raymond Reiter
%T A semantically guided deductive system for automatic theorem proving
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 328-334

%A Donald W. Loveland
%A Mark E. Stickel
%T A hole in goal trees: some guidance from resolution theory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 335-341

%A Erik Sandewall
%T Conversion of predicate-calculus axioms
to corresponding deterministic programs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 342-346

%A Daniel G. Bobrow
%A Ben Wegbreit
%T A model for control structures
for artificial intelligence programming languages
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 347-353

%A Warren Teitelman
%T Clisp: conversational Lisp
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 354-357

%A Kenneth Biss
%A Robert T. Chen
%A Fred Stahl
%A Steven J. Weissman
%T Semantic modeling for deductive question-answering
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 358-366

%A Robert C. Moore
%T D-script: a computational theory of descriptions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 366-373

%A Aravind K. Joshi
%A Ralph M. Weischedel
%T Some frills for modal tic-tac-toe:
semantics of predicate complement constructions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 374-389

%A Chitoor V. Srinivasan
%T The architecture of coherent information system:
a general problem solving system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 390-402

%A Donald A. Waterman
%A Allen Newell
%T PAS-II: an interactive task-free version
of an automatic protocol analysis system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 402-413

%A Lee D. Erman
%A Richard D. Fennell
%A Victor R. Lesser
%A D. Raj Reddy
%T System organization for speech understanding:
implications of network and multiprocessor computer architectures for AI
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 414-421

%A D. Raj Reddy
%A Lee D. Erman
%A Richard D. Fennell
%A Richard B. Neely
%T The Hearsay-I speech understanding system:
an example of the recognition process
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 422-431

%A Donald E. Walker
%T Speech understanding through syntactic and semantic analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 432-439

%A Gerald J. Agin
%T Computer description of curved objects
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 439-449

%A Frank O'Gorman
%A M.B. Clowes
%T Finding picture edges through collinearity of feature points
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 4
%D April 1976
%P 449-456

%A Frank Neuman
%A Robert B. Merrick
%T Autocorrelation peaks in congruential pseudorandom number generators
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 457-460

%A Frank Neuman
%A Clyde F. Martin
%T The autocorrelation structure of Tausworthe pseudorandom number generators
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 460-464

%A Shalhav Zohar
%T Rounding and truncation in radix (-2) systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 464-469

%A Steven I. Kartashev
%T A microcomputer with a shift-register memory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 470-484

%A C.V. Ramamoorthy
%A Thomas F. Fox
%A Hon F. Li
%T Scheduling parallel processable tasks for a uniprocessor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 485-495

%A Tomas Lang
%T Interconnections between processors and memory modules
using the shuffle-exchange network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 496-503

%A Dana H. Ballard
%A Jack Sklansky
%T A ladder-structured decision tree for recognizing tumors in chest radiographs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 503-513

%A Totadri Jayasri
%T An approach to organizing microinstructions
which minimizes the width of control store words
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 514-521

%A Ming-Lei Liou
%T Spline fit made easy
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 522-527

%A Sergiu Rudeanu
%T Square roots and functional decompositions of boolean functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 5
%D May 1976
%P 528-532

%A John F. Meyer
%A Jean-Claude Rault
%T Fault-tolerant computing: an introduction
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 553-556

%A William C. Carter
%A Charles E. McCarthy
%T Implementation of an experimental fault-tolerant memory system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 557-568

%A Jacques Losq
%T A highly efficient redundancy scheme: self-purging redundancy
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 569-578

%A John F. Meyer
%T Computation-based reliability analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 578-584

%A Ferruccio Barsi
%A Fabrizio Frandoni
%A Piero Maestrini
%T A theory of diagnosability of digital systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 585-593

%A Ramachendra P. Batni
%A Charles R. Kime
%T A module-level testing approach for combinational networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 594-604

%A Francisco J.O. Dias
%T Truth-table verification of an iterative logic array
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 605-613

%A John P. Hayes
%T Transition count testing of combinational logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 613-620

%A Sheldon B. Akers,\ Jr.
%T A logic system for fault test generation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 620-630

%A Peter Muth
%T A nine-valued circuit model for test generation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 6
%D June 1976
%P 630-636

%A Lawrence Yelowitz
%A Abraham Kandel
%T New results and techniques in resolution theory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 7
%D July 1976
%P 673-677

%A Kazue Sugino
%A Yasuyoshi Inagaki
%A Teruo Fukumura
%T A note on the linear space automata stability problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 7
%D July 1976
%P 678-683

%A Theodore F. Tabloski
%A Frederic J. Mowle
%T A numerical expansion technique
and its application to minimal multiplexer logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 7
%D July 1976
%P 684-702

%A Joseph J. Capowski
%T The matrix transform processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 7
%D July 1976
%P 703-712

%A Parker R. Blevins
%A C.V. Ramamoorthy
%T Aspects of a dynamically adaptive operating system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 7
%D July 1976
%P 713-725

%A Roger W. Ehrich
%A Joergen P. Foith
%T Representation of random waveforms by relational trees
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 7
%D July 1976
%P 725-736

%A Oleg I. Aven
%A Leonid B. Boguslavsky
%A Yakov A. Kogan
%T Some results on distribution-free analysis of paging algorithms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 7
%D July 1976
%P 737-745

%A Charles R. Baugh
%A Bruce A. Wooley
%T Statistical analysis of a differential threshold logic circuit configuration
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 7
%D July 1976
%P 745-754

%A Lawrence J. Henschen
%T Introduction: tutorial on resolution
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 769-772

%A John D. McCharen
%A Ross A. Overbeek
%A Lawrence A. Wos
%T Problems and experiments for and with automated theorem-proving program
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 773-782

%A Gerald A. Wilson
%A Jack Minker
%T Resolution, refinements, and search strategies: a comparative study
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 782-801

%A Peter B. Andrews
%T Refutations by matings
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 801-807

%A Daniel H. Fishman
%T A problem-oriented search procedure for theorem proving
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 807-815

%A Lawrence J. Henschen
%T Semantic resolution for Horn sets
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 816-822

%A Sharon Sickel
%T A search technique for clause interconnectivity graphs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 823-835

%A Steven K. Winker
%T An evaluation of an implementation of qualified hyperresolution
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 835-843

%A George W. Ernst
%A Raymond J. Hookway
%T The use of higher order logic in program verification
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 844-851

%A Charles G. Morgan
%T Methods for automated theorem proving in nonclassical logics
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 8
%D August 1976
%P 852-862
%K modal, many-valued, relevance, intuitionistic

%A Samuel C. Lee
%T Vector boolean algebra and calculus
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 865-874

%A John P. Hayes
%T A graph model for fault-tolerant computing systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 875-884

%A John P. Hayes
%T On the properties of irredundant logic networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 884-892

%A Saburo Muroga
%A Hung Chi Lai
%T Minimization of logic networks under a generalized cost function
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 893-907

%A Alan J. Smith
%T A modified working set paging algorithm
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 907-914
%K damped working set, DWS

%A Kishor S. Trivedi
%T Prepaging and applications to array algorithms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 915-921

%A Judea Pearl
%T Memory versus error characteristics
for inexact representations of linear orders
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 922-928

%A Samuel E. Orcutt
%T Implementation of permutation functions in Illiac IV-type computers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 929-936

%A Warren G. Koontz
%A Patrenahalli M. Narendra
%A Keinosuke Fukunaga
%T A graph-theoretic approach to nonparametric cluster analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 936-944

%A Dhiraj K. Pradhan
%A Sudhakar M. Reddy
%T Techniques to construct (2,1) separating systems
from linear error-correcting codes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 9
%D September 1976
%P 945-949

%A Tilak Agerwala
%T Microprogram optimization: a survey
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 10
%D October 1976
%P 962-973

%A David A. Patterson
%T Strum: structures microprogram development system for correct firmware
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 10
%D October 1976
%P 974-985

%A Subrata Dasgupta
%A John Tartar
%T The identification of maximal parallelism in straight-line microprograms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 10
%D October 1976
%P 986-992

%A Masahiro Tsuchiya
%A Mario J. Gonzalez
%T Toward optimization of horizontal microprograms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 10
%D October 1976
%P 992-999

%A Samuel H. Fuller
%A Victor R. Lesser
%A C. Gordon Bell
%A Charles H. Kaman
%T The effects of emerging technology and emulation requirements
on microprogramming
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 10
%D October 1976
%P 1000-1009

%A David A. Huffman
%T Curvature and creases: a primer on paper
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 10
%D October 1976
%P 1010-1019

%A David B. Cooper
%A Nese Yalabik
%T On the computational cost of approximating and recognizing
noise-perturbed straight lines and quadratic arcs in the plane
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 10
%D October 1976
%P 1020-1032

%A H. Allen Curtis
%T Simplified decomposition of boolean functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 10
%D October 1976
%P 1033-1044

%A Stephen S. Yau
%A Jackson Chung
%T On the design of modulo arithmetic units based on cyclic groups
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 11
%D November 1976
%P 1057-1067

%A K. Vairavan
%A Richard A. DeMillo
%T On the computational complexity of a generalized scheduling problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 11
%D November 1976
%P 1067-1073

%A Geoff Hannington
%A Donald G. Whitehead
%T A floating-point multiplexed DDA system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 11
%D November 1976
%P 1074-1077

%A F. Gail Gray
%A John F. Meyer
%T Algebraic properties of functions
affecting optimum fault-tolerant realizations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 11
%D November 1976
%P 1078-1088

%A Barry K. Gilbert
%A Martin T. Storma
%A Carl E. James
%A Leon W. Hobrock
%A Edwards S. Yang
%A Keith C. Ballard
%A Earl H. Wood
%T A real-time hardware system for digital processing of wide-band video images
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 11
%D November 1976
%P 1089-1100

%A Barry K. Gilbert
%A Martin T. Storma
%A Keith C. Ballard
%A Leon W. Hobrock
%A Carl E. James
%A Earl H. Wood
%T A programmable dynamic memory allocation system for input-output
of digital data into standard computer memories at 40 megasamples/s
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 11
%D November 1976
%P 1101-1109

%A Riichiro Mizoguchi
%A Masamichi Shimura
%T Nonparametric learning without a teacher based on mode estimation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 11
%D November 1976
%P 1109-1117

%A Der Tsai Lee
%A Se June Hong
%T An algorithm for transformation of an arbitrary switching function
to a completely symmetric function
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 11
%D November 1976
%P 1117-1123

%A Harry D. Huskey
%A Velma R. Huskey
%T Chronology of computing devices
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1190-1199

%A C.V. Ramamoorthy
%T Computer science and engineering education
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1200-1206

%A Peter Wegner
%T Programming languages - the first 25 years
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1207-1225

%A Barry W. Boehm
%T Software engineering
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1226-1241

%A Stephen A. Szygenda
%A Edward W. Thompson
%T Modeling and digital simulation for design verification and diagnosis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1242-1253

%A Richard I. Baum
%A David K. Hsiao
%T Database computers - a step towards data utilities
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1254-1259

%A David Nitzan
%A Charles A. Rosen
%T Programmable industrial automation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1259-1270

%A Jean-Loup Bare
%T Multiprocessing systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1271-1277

%A Harvey L. Garner
%T A survey of some recent contributions to computer arithmetic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1277-1282

%A Albert S. Hoagland
%T Magnetic recording storage
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1283-1288

%A Robert A. Henle
%A Irving T. Ho
%A William S. Johnson
%A W. David Pricer
%A James L. Walsh
%T The application of transistor technology to computers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1289-1303

%A Algirdas Avizienis
%T Fault-tolerant systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1304-1312

%A Granino A. Korn
%A Robert Vichnevetsky
%T Analog/hybrid computation and digital simulation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1312-1320

%A William M. Newman
%T Trends in graphic display design
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1321-1325

%A Leonard Kleinrock
%T On communications and networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1326-1335

%A King-Sun Fu
%A Azriel Rosenfeld
%T Pattern recognition and image processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1336-1346

%A Michael A. Arbib
%T Artificial intelligence: cooperative computation and man-management symbiosis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1346-1352

%A Rein Turn
%A Willis H. Ware
%T Privacy and security issues in information systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-25
%N 12
%D December 1976
%P 1353-1361

%A Louis G. Birta
%A Ratilal R. Shah
%T The minimization of inverters in analog computer programming
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 1
%D January 1977
%P 2-12

%A Stephen H. Unger
%T The generation of completion signals in iterative combinational circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 1
%D January 1977
%P 13-18

%A Simon H. Lavington
%A Gareth Thomas
%A David R.G. Edwards
%T The MU5 multicomputer communication system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 1
%D January 1977
%P 19-28

%A Sharad C. Seth
%A K.L. Kodandapani
%T Diagnosis of faults in linear tree networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 1
%D January 1977
%P 29-33

%A Alexander A. Sawchuk
%T Real-time correction of intensity nonlinearities in imaging systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 1
%D January 1977
%P 34-39

%A Sahibsingh A. Dudani
%A Kenneth J. Breeding
%A Robert B. McGhee
%T Aircraft identification by moment invariants
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 1
%D January 1977
%P 39-46

%A James M. Garnett,\ III
%A Stephen S. Yau
%T Nonparametric estimation of the Bayes error of feature extractors
using ordered nearest neighbor sets
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 1
%D January 1977
%P 46-54

%A Michael J. Corinthos
%T A Fast Z transformation algorithm for system identification
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 1
%D January 1977
%P 55-67

%A J.R. Brandsma
%A B.L.A. Waumans
%T The hardware simulator: a tool for evaluating computer systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 1
%D January 1977
%P 68-72

%A Tse-Yun Feng
%T Parallel processors and processing: an introduction
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 2
%D February 1977
%P 97-98

%A Richard D. Fennell
%A Victor R. Lesser
%T Parallelism in artificial intelligence problem solving:
a case study of Hearsay II
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 2
%D February 1977
%P 98-111

%A Charles A. Finnila
%A Hubert H. Love,\ Jr.
%T The associative linear array processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 2
%D February 1977
%P 112-125

%A G. Jack Lipovski
%T On a varistructured array of microprocessors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 2
%D February 1977
%P 125-138

%A James Runbaugh
%T A data flow multiprocessor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 2
%D February 1977
%P 138-146

%A Ahmed R. Sameh
%A David J. Kuck
%T A parallel QR algorithm for symmetric tridiagonal matrices
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 2
%D February 1977
%P 147-153

%A Howard Jay Siegel
%T Analysis techniques for SIMD machine interconnection networks
and the effects of processor address masks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 2
%D February 1977
%P 153-161

%A Faye A. Briggs
%A Edwards S. Davidson
%T Organization of semiconductor memories for parallel-pipelined processors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 2
%D February 1977
%P 162-169

%A Art Lew
%T On analog computer generation of continuous functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 3
%D March 1977
%P 193-195

%A Bernard J. Nordmann,\ Jr.
%A Bruce H. McCormick
%T Modular asynchronous control design
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 3
%D March 1977
%P 196-207

%A Mark G. Karpovsky
%T Error detection in digital devices and computer programs
with the aid of linear recurrent equations over finite commutative groups
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 3
%D March 1977
%P 208-218

%A R.R. Hunt
%T Bayesian methods in nonlinear digital image restoration
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 3
%D March 1977
%P 219-229

%A DeWitt Landis
%T Multiple-response resolution in associative systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 3
%D March 1977
%P 230-235

%A Larry S. Davis
%T Understanding shape: angles and sides
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 3
%D March 1977
%P 236-242

%A Brian W. Unger
%T A computer resource allocation model with som measured and simulation results
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 3
%D March 1977
%P 243-259

%A Michael R. Garey
%A Frank K. Hwang
%A Davis S. Johnson
%T Algorithms for a set partitioning problem
arising in the design of multipurpose units
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 4
%D April 1977
%P 321-328

%A Chung-Kwong Yuen
%T Testing random number generators by Walsh transform
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 4
%D April 1977
%P 329-333

%A Israel Koren
%A Zvi Kohavi
%T Sequential fault diagnosis in combinational networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 4
%D April 1977
%P 334-342

%A Anil K. Jain
%T A semicausal model for recursive filtering of two-dimensional images
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 4
%D April 1977
%P 343-350

%A Stephen J. Wernecke
%A Larry R. D'Addario
%T Maximum entropy image reconstruction
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 4
%D April 1977
%P 351-364

%A Stephen H. Unger
%T Tree realizations of iterative circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 4
%D April 1977
%P 365-383

%A Gordon J. Vandenburg
%A Azriel Rosenfeld
%T Two-stage template matching
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 4
%D April 1977
%P 384-393

%A Steven W. Zucker
%A Robert A. Hummel
%A Azriel Rosenfeld
%T An application of relaxation labeling to line and curve enhancement
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 4
%D April 1977
%P 394-403

%A Raymond P. Voith
%T ULM implicants for minimization of universal logic module circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 5
%D May 1977
%P 417-424

%A A.N.C. Kang
%A Richard C.T. Lee
%A Chin-Lian Chang
%A Shi-Kou Chang
%T Storage reduction through minimal spanning trees and spanning forests
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 5
%D May 1977
%P 425-434

%A Youssef A. Geadah
%A Michael J.G. Corinthios
%T Natural, dyadicm and sequency order algorithms and processors
for the Walsh-Hadamard transform
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 5
%D May 1977
%P 435-442

%A Ali Habibi
%T Fast suboptimal Wiener filtering of Markov sequences
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 5
%D May 1977
%P 443-449

%A H.C. Torng
%A Neil C. Wilhelm
%T The optimal interconnection of circuit modules
in microprocessor and digital system design
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 5
%D May 1977
%P 450-457

%A Marshall C. Pease,\ III
%T The indirect binary n-cube microprocessor array
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 5
%D May 1977
%P 458-473

%A Franco P. Preparata
%A David E. Muller
%A Amnon B. Barak
%T Reduction of depth of boolean networks with fan-in constraint
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 5
%D May 1977
%P 474-479

%A Donald Y. Chang
%A David J. Kuck
%A Duncan H. Lawrie
%T On the effective bandwidth of parallel memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 5
%D May 1977
%P 480-490

%A Fredrick J. Hill
%A Ben Huey
%T SCIRTSS: a search system for sequential circuit test sequences
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 5
%D May 1977
%P 490-502

%A Gary J. Nutt
%T Memory and bus conflict in an array processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 6
%D June 1977
%P 514-521

%A Fred J. Maryanski
%A Taylor L. Booth
%T Inference of finite-state probabilistic grammars
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 6
%D June 1977
%P 521-536

%A Frank B. Manning
%T An approach to highly integrated, computer-maintained cellular arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 6
%D June 1977
%P 536-552

%A Spiros G. Papaioannou
%T Optimal test generation in combinational networks
by pseudo-boolean programming
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 6
%D June 1977
%P 553-560

%A Anil K. Jain
%T A fast Karhunnen-Loeve transform for digital restoration
of images degraded by white and colored noise
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 6
%D June 1977
%P 560-571

%A William K. Pratt
%A Faramarz Davarian
%T Fast computational techniques for pseudoinverse and Wiener image restoration
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 6
%D June 1977
%P 571-580

%A Tso-Kai Liu
%T Synthesis of multilevel feed-forward MOS networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 6
%D June 1977
%P 581-588

%A Roger W. Ehrich
%T Detection of global edges in textured images
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 6
%D June 1977
%P 589-603

%A Ulrich Kulisch
%T Mathematical foundation of computer arithmetic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 7
%D July 1977
%P 610-621

%A Gerd Bohlender
%T Floating-point computation of functions with maximum accuracy
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 7
%D July 1977
%P 621-632

%A E.V. Krishnamurthy
%T Matrix processors using p-adic arithmetic for exact linear computations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 7
%D July 1977
%P 633-639

%A Robert L. Bivins
%A Nicholas C. Metropolis
%T Significance arithmetic: application to a partial differential equation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 7
%D July 1977
%P 639-642

%A David J. Kuck
%A Douglass S. Parker,\ Jr.
%A Ahmed H. Sameh
%T Analysis of rounding methods in floating-point arithmetic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 7
%D July 1977
%P 643-650

%A Peter Kornerup
%A Bruce D. Shriver
%T A unified numeric representation arithmetic unit and its language support
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 7
%D July 1977
%P 651-659

%A Han G. Kent
%T Highlights of a study of floating-point instructions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 7
%D July 1977
%P 660-666

%A Milos D. Ercegovac
%T A general hardware-oriented method
for evaluation of functions and computations in a digital computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 7
%D July 1977
%P 667-680

%A Kishor S. Trivedi
%A Milos D. Ergegovac
%T On-line algorithms for division and multiplication
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 7
%D July 1977
%P 681-687

%A Jan Gecsei
%T Interconnection networks from three-state cells
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 705-711

%A Shyh-Ching Chen
%A David J. Kuck
%T Combinational circuit synthesis with time and component bounds
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 712-726

%A Rene David
%T Modular design of asynchronous circuits defined by graphs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 727-737

%A Mohammad Javad Ashjaee
%A Sudhakar M. Reddy
%T On totally self-checking checkers for separable codes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 737-744

%A Eduard Cerny
%A Miguel A. Marin
%T An approach to unified methodology of combinational switching circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 745-756

%A V. Thomas Rhyne
%A Philip S. Noe
%A Melvin H. McKinney
%A Udo W. Pooch
%T A new technique for the fast minimization of switching functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 757-764

%A Tetsuo Asano
%A Tadahiro Kitahashi
%A Kokichi Tanaka
%A Hiroshi Horino
%A Nobutaka Amano
%T A wire-routing scheme based on trunk-division methods
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 764-772

%A Nasser E. Nahi
%A Mohammad H. Janashahi
%T Image boundary estimation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 772-781

%A Madhu A. Mehta
%A William Bridges Smith
%T Synthesis of optimal ambiguity resolver functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 782-789

%A James W. McKee
%A J.K. Aggarwal
%T Computer recognition of partial views of curved objects
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 790-800

%A Theodosios Pavlidis
%T Polygonal approximations by Newton's method
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 800-807

%A Anthony J. Miller
%A Angus W. Brown
%A Philip Mars
%T A simple technique for the determination
of delayed maximal length linear binary sequences
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 808-811

%A Edward W. Page
%A Peter N. Marinos
%T Programmable array realizations of synchronous sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 811-818

%A R.D. Brown
%T A recursive algorithm for sequency-ordered fast Walsh transforms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 8
%D August 1977
%P 819-822

%A Victor Conrad
%A Yehuda Wallach
%T Iterative solution of linear equations on a parallel processor system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 9
%D September 1977
%P 838-847

%A Jacques Lenfant
%T Fast random and sequential access to dynamic memories of any size
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 9
%D September 1977
%P 847-855

%A Hsieh S. Hou
%A Harry C. Andrews
%T Least squares image restoration using spline basis functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 9
%D September 1977
%P 856-873

%A Irving S. Reed
%A T.K. Truong
%A Yik S. Kwoh
%A Ernest L. Hall
%T Image processing by transforms over a finite field
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 9
%D September 1977
%P 874-881

%A Masahiko Yachida
%A Saburo Tsuji
%T A versatile machine vision system for complex industrial parts
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 9
%D September 1977
%P 882-894

%A Roger N. Nagel
%A Azriel Rosenfeld
%T Computer detection of freehand forgeries
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 9
%D September 1977
%P 895-905

%A Harold J. Payne
%A William S. Meisel
%T An algorithm for constructing optimal binary decision trees
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 9
%D September 1977
%P 905-916

%A Marc Snir
%A Amnon B. Barak
%T A direct approach to the parallel evaluation of rational expressions
with a small number of processors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 933-937

%A Kishor S. Trivedi
%T On the paging performance of array algorithms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 938-947

%A William J. Stenzel
%A William J. Kubitz
%T A compact high-speed parallel multiplication scheme
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 948-957

%A Abe R. Shliferstein
%A Y.T. Chien
%T Some properties of image-processing operations
on projection sets obtained from digital pictures
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 958-970

%A H.R. Keshavan
%A Mandyam D. Srinath
%T Sequential estimation technique for enhancement of noisy images
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 971-987

%A Werner Frei
%A Chung-Ching Chen
%T Fast boundary detection: a generalization and a new algorithm
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 988-998

%A Cornelis H. Hoogendoorn
%T A general model for memory interference in multiprocessors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 999-1005

%A Richard K. Mitchell
%A C.R. Stone
%T Table-lookup methods for generating arbitrary random numbers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 1006-1008

%A Mohamad Adnan Al-alaoui
%T A new weighted generalized inverse algorithm for pattern recognition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 1009-1017

%A Robert W. Keyes
%T Physical uncertainty and information
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 10
%D October 1977
%P 1017-1025

%A Anil K. Jain
%T An operator factorization method for restoration of blurred images
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 11
%D November 1977
%P 1061-1071

%A Hanoch Brafman
%A Benjamin J. Reuter
%T An incremental computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 11
%D November 1977
%P 1072-1081

%A Leonard R. Marino
%T The effect of asynchronous inputs on sequential network reliability
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 11
%D November 1977
%P 1082-1090

%A Wolfgang Doster
%T Contextual postprocessing system
for cooperation with a multiple-choice character-recognition system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 11
%D November 1977
%P 1090-1101

%A Hon F. Li
%T Scheduling trees in parallel/pipelined processing environments
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 11
%D November 1977
%P 1101-1112

%A Werner E. Kluge
%T Traversing binary tree structures with shift-register memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 11
%D November 1977
%P 1112-1122

%A Richard G. Cooper
%T The distributed pipeline
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 11
%D November 1977
%P 1123-1132

%A Zvonko G. Vranesic
%T Multiple-valued logic: an introduction and overview
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1181-1182

%A Ebrahim H. Mamdani
%T Application of fuzzy logic to approximate reasoning
using linguistic synthesis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1182-1191

%A J.A. Bate
%A Jon C. Muzio
%T Three cell structures for ternary cellular arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1191-1202

%A Andre Thayse
%A Jean-Pierre Deschamps
%T Logic properties of unate discrete and switching functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1202-1212

%A Tatsuo Higuchi
%A Michitaka Kameyama
%T Static-hazard-free T-gate for ternary memory element
and its application to ternary counters
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1212-1221

%A Daniel Etienble
%A Michel Israel
%T Implementation of ternary circuits with binary integrated circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1222-1233

%A T. Tich Dao
%A Edward J. McCluskey
%A Lewis K. Russell
%T Multivalued integrated injection logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1233-1241

%A Richard J. Spillman
%A Stephen Y.H. Su
%T Detection of single, stuck-type failures
in multivalued combinational networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1242-1251

%A Okihiko Ishizuka
%T On multivalued multithreshold networks
composed of conventional threshold elements
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1251-1257

%A William H. Stellhorn
%T An inverted file processor for information retrieval
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1258-1267

%A Shin-Yee Lu
%A King-Sun Fu
%T Stochastic error-correcting syntax analysis for recognition of noisy patterns
%J IEEE Transactions on Computers
%K ieee_tc
%V C-26
%N 12
%D December 1977
%P 1268-1276

%A S.S. Reddi
%A Edward A. Feustel
%T A restructurable computer system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 1
%D January 1978
%P 1-20

%A Earl E. Swartzlander,\ Jr.
%A Barry K. Gilbert
%A Irving S. Reed
%T Inner product computers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 1
%D January 1978
%P 21-31

%A Morton Kanefsky
%A Michael G. Strintzis
%T A decision theory approach to picture smoothing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 1
%D January 1978
%P 32-36

%A John P. Hayes
%T Generation of optimal transition count tests
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 1
%D January 1978
%P 36-41

%A Masateru Harao
%A Shoichi Noguchi
%T On some dynamical properties of finite cellular automaton
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 1
%D January 1978
%P 42-52

%A Richard A. Thompson
%A F. Gail Gray
%T Universal modular trees: a design procedure
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 1
%D January 1978
%P 53-63

%A R.C. Pearce
%A Jayani C. Majithia
%T Analysis of a shared resource MIMD computer organization
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 1
%D January 1978
%P 64-67

%A Efim A. Galperin
%T Loop properties and controllability of linear congruential sequences
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 1
%D January 1978
%P 68-76

%A Jon Louis Bentley
%A Jerome H. Friedman
%T Fast algorithms for constructing minimal spanning trees
in coordinate spaces
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 2
%D February 1978
%P 97-105

%A John J. Shedletsky
%T Error correction by alternate-data retry
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 2
%D February 1978
%P 106-112

%A David C. van\ Voorhis
%A Thomas H. Morrin
%T Memory systems for image processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 2
%D February 1978
%P 113-125

%A W.A. Perkins
%T A model-based vision system for industrial parts
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 2
%D February 1978
%P 126-143

%A Robert P. Roesser
%T Two-dimensional microprocessor pipelines for image processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 2
%D February 1978
%P 144-156

%A Charles W. Cha
%A William E. Donath
%A Fusun Ozguner
%T 9-V algorithm for test generation of combinational digital circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 3
%D March 1978
%P 193-200

%A Douglas C. Bossen
%A Lih C. Chang
%A Chih-Long Chen
%T Measurement and generation of error correcting codes for package failures
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 3
%D March 1978
%P 201-204

%A Edwards S. Deutch
%A Jerry R. Fram
%T A quantitative study of the orientation bias
of some edge detector schemes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 3
%D March 1978
%P 205-213

%A Tsutomu Sasao
%A Kozo Kinoshita
%T Cascade realization of 3-input 3-output conservative logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 3
%D March 1978
%P 214-221

%A Kenneth P. Parker
%T Sequential circuit output probabilistic from regular expressions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 3
%D March 1978
%P 222-231

%A T.C. Wesselkamper
%T Divided difference methods for Galois switching functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 3
%D March 1978
%P 232-238

%A Dhiraj K. Pradhan
%T A theory of Galois switching functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 3
%D March 1978
%P 239-248

%A Daniel P. Friedman
%A David S. Wise
%T Aspects of application programming for parallel processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 289-296

%A Harvey L. Garner
%T Theory of computer addition and overflows
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 297-301

%A Behrooz Parhami
%A Algirdas Avizienis
%T Detection of storage errors in mass memories
using low-cost arithmetic error codes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 302-308

%A K.L. Kodandapani
%A Sharad C. Seth
%T On combinational networks with restricted fan-out
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 309-318

%A Tsuneyo Chiba
%T Impact of the LSI on high-speed computer packaging
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 319-325

%A G.A. Jullien
%T Residue number scaling and other operations using ROM arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 325-336

%A David H. Hartke
%A Warren M. Sterling
%A Jack E. Shemer
%T Design of a raster display processor for office applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 337-348

%A Vason P. Srini
%T Fault location in a semiconductor random-access memory unit
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 349-358

%A Robert Y. Wong
%A Ernest L. Hall
%T Sequential hierarchical scene matching
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 359-366

%A Josef Kittler
%T Classification of incomplete pattern vectors
using modified discriminant functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 4
%D April 1978
%P 367-375

%A Fabrizio Luccio
%A Linda Pagli
%T Rebalancing height balanced trees
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 5
%D May 1978
%P 386-396

%A Dhiraj K. Pradhan
%T Asynchronous state assignments
with unateness properties and fault-secure design
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 5
%D May 1978
%P 396-404

%A Malcolm C. Easton
%T Computation of col-start miss ratios
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 5
%D May 1978
%P 404-408

%A Terry A. Welch
%T Memory hierarchy configuration analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 5
%D May 1978
%P 408-413

%A Mark A. Franklin
%T Parallel solution of ordinary differential equations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 5
%D May 1978
%P 413-420

%A Henry D. Shapiro
%T Theoretical limitations on the efficient use of parallel memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 5
%D May 1978
%P 421-428

%A Edward J. Wilkens
%T Realizations of sequential machines using random access memory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 5
%D May 1978
%P 429-441

%A R.L. Kashyap
%A Mahesh C. Mittal
%T Recognition of spoken words and phrases in multitalker environments
using syntactic methods
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 5
%D May 1978
%P 442-452

%A Sudhakar M. Reddy
%T Fault-tolerant computing: an introduction
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 481-482

%A Mohamed Abdelaziz Marouf
%A Arthur D. Friedman
%T Efficient design of self-checking checker for any m-out-of-n code
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 482-490

%A James E. Smith
%A Gernot Metze
%T Strongly fault secure logic networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 491-499

%A John J. Shedletsky
%T A rollback interval for networks with an imperfect self-checking property
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 500-508

%A Sheldon B. Akers
%T Binary decision diagrams
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 509-516

%A Jacques Losq
%T Efficiency of random compact testing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 516-525

%A J.J. Stiffler
%T Coding for random-access memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 526-531

%A Daniel Davies
%A John F. Wakerly
%T Synchronization and matching in redundant systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 531-539

%A M. Danielle Beaudry
%T Performance-related reliability measures for computing systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 540-547

%A A. Costes
%A C. Landrault
%A J.C. Laprie
%T Reliability and availability models for maintained systems
featuring hardware failures and design faults
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 548-560

%A Sivanarayana Mallela
%A Gerald M. Masson
%T Diagnosable systems for intermittent faults
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 6
%D June 1978
%P 560-566

%A Eric Dubois
%A Anastasios N. Venetsanopoulos
%T The discrete Fourier transform over finite rings
with application to fast convolution
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 586-593

%A Donald T. Tang
%A Lis S. Woo
%A Lalit R. Bahl
%T Optimization of teleprocessing networks
with concentrators and multiconnected terminals
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 594-604

%A Eiichi Tanaka
%A King-Sun Fu
%T Error-correcting parsers for formal languages
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 605-616

%A Chantal Robach
%A Gabriele Saucier
%T Dynamic testing of control units
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 617-623

%A Paulo T. de\ Sousa
%A Francis P. Mathur
%T Sift-out modular redundancy
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 624-627

%A William F. Appelbe
%A Mabo R. Ito
%T Scheduling heuristics in a multiprogramming environment
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 628-637

%A Jacques Lenfant
%T Parallel permutations of data: a Benes network control algorithm
for frequently used permutations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 637-647

%A Hai Do-Tu
%A Michel Installe
%T Learning algorithms for nonparametric solution
to the minimum error classification problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 648-659

%A Dimitris G. Maritsas
%A Alexis C. Arvillias
%A Adam C. Bounas
%T Phase-shift analysis of linear feedback shift register structures
generating pseudorandom sequences
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 660-669

%A Franco P. Preparata
%T New parallel-sorting schemes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 7
%D July 1978
%P 669-673

%A Ronald E. Prather
%A Harold T. Casstevens,\ II
%T Realization of boolean expressions by atomic digraphs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 8
%D August 1978
%P 681-688

%A Premachandran R. Menon
%A Stephen G. Chappell
%T Deductive fault simulation with functional blocks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 8
%D August 1978
%P 689-695

%A Carl-Erik W. Sundberg
%T Erasure and error decoding for semiconductor memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 8
%D August 1978
%P 696-705

%A Ram K. Gupta
%A Mark A. Franklin
%T Working set and page fault frequency paging algorithms:
a performance comparison
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 8
%D August 1978
%P 706-712

%A Andre Thayse
%T Meet and join derivatives and their use in switching theory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 8
%D August 1978
%P 713-720

%A Jurgen Schurmann
%T A multifont word recognition system for postal address reading
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 8
%D August 1978
%P 721-732

%A David Casasent
%A Peter D. Rapp
%T System functions for an optical/digital processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 8
%D August 1978
%P 732-738

%A Jon T. Butler
%T Tandem networks of universal cells
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 9
%D September 1978
%P 785-799

%A C.V. Ramamoorthy
%A James L. Turner
%A Benjamin W. Wah
%T A design of a fast cellular associative memory for ordered retrieval
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 9
%D September 1978
%P 800-815

%A Philip S. Liu
%A Frederick J. Mowle
%T Techniques of program execution with a writable control memory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 9
%D September 1978
%P 816-827

%A Siu-Chong Si
%T Dynamic testing of redundant logic networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 9
%D September 1978
%P 828-832

%A Mabo R. Ito
%A Robert D. Cameron
%T Combined binary code translation and parallel-to-serial conversion
using stored logic arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 9
%D September 1978
%P 833-841

%A Ruth Shapira
%A Herbert Freeman
%T Computer description of bodies bounded by quadric surfaces
from a set of imperfect projections
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 9
%D September 1978
%P 841-854

%A J. Robert Jump
%A Sudhir R. Ahuja
%T Effective pipelining of digital systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 9
%D September 1978
%P 855-865

%A Hideo Fujiwara
%A Kozo Kinoshita
%T On the computational complexity of system diagnosis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 881-885

%A Abhaya Ashtana
%T Design and control of a three-stage switch matrix
in the presence of fan-out
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 886-895

%A Eduard Cerny
%T Controllability and fault observability in modular combinational circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 896-903

%A Luigi P. Cordella
%A Michael J.B. Duff
%A Stefano Levialdi
%T An analysis of computational cost in image processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 904-910

%A Yacoub M. El-ziq
%A Stephen Y.H. Su
%T Computer-aided logic design of two-level MOS combinational networks
with statistical results
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 911-923

%A Jack Sklansky
%T On the Hough technique for curve detection
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 923-926

%A Jon G. Kuhjl
%A Sudhakar M. Reddy
%T A multicode single transition-time state assignment
for asynchronous sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 927-934

%A Nenad Marovac
%T Sieve method for real-time computer-aided extraction
of multivalued analog signals in the presence of noise
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 935-944

%A Martin L. Griss
%T Using and efficient sparse minor expansion algorithm
to compute polynomial subresultants and the greatest common denominator
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 945-950

%A A.E.A. Almaini
%T Sequential machine implementations using universal logic modules
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 10
%D October 1978
%P 951-960

%A Chao-Kai Liu
%A Tse Lin Wang
%T Error-correcting codes in binary-coded-decimal arithmetic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 11
%D November 1978
%P 977-984

%A Colin R. Edwards
%A S.L. Hurst
%T A digital synthesis procedure under function symmetries and mapping methods
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 11
%D November 1978
%P 985-997

%A S. Karunanithgi
%A Arthur D. Friedman
%T Some new types of logical completeness
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 11
%D November 1978
%P 998-1005

%A Tomlinson G. Rauscher
%A Ashok K. Agrawala
%T Dynamic problem-oriented redefinition of computer architecture
via microprogramming
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 11
%D November 1978
%P 1006-1014

%A Mario R. Schaffner
%T Processing by data and program blocks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 11
%D November 1978
%P 1015-1028

%A Zosimo Arevalo
%A Jon G. Bredeson
%T A method to simplify a boolean function
into a near minimal sum-of-products for programmable logic arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 11
%D November 1978
%P 1028-1039

%A Shin-Yee Lu
%A King-Sun Fu
%T Error-correcting tree automata for syntactic pattern recognition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 11
%D November 1978
%P 1040-1053

%A Dennis A. Reynolds
%A Gernot Metze
%T Fault detection capabilities of alternating logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 12
%D December 1978
%P 1093-1098

%A Christos A. Papachristou
%T An algorithm for optimal NAN cascade logic synthesis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 12
%D December 1978
%P 1099-1111

%A Lucien M. Censier
%A Paul Feautrier
%T A new solution to coherence problems in multicache systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 12
%D December 1978
%P 1112-1118

%A Clark D. Thompson
%T Generalized connection networks for parallel processor intercommunication
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 12
%D December 1978
%P 1119-1125

%A Jan M. van\ Campenhout
%A Paul Notredame
%T A stochastic model
for closed-loop preemptive microprocessor I/O organizations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 12
%D December 1978
%P 1126-1136

%A Nicolaos Gaitanis
%A Constantine Halatsis
%T A new double-rank realization of sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 12
%D December 1978
%P 1137-1143

%A Constantine Halatsis
%A Maria Scala
%A George Philokyprou
%T Polylinear decomposition of synchronous sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 12
%D December 1978
%P 1144-1152

%A Svetlana P. Kartashev
%A Steven I. Kartashev
%T On modular networks satisfying the shift-register rule
%J IEEE Transactions on Computers
%K ieee_tc
%V C-27
%N 12
%D December 1978
%P 1153-1176

%A David Nassimi
%A Sartaj Sahni
%T Bitonic sort on a mesh-connected parallel computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 1
%D January 1979
%P 2-7

%A Ashok K. Chandra
%A C.K. Wong
%T The movement and permutation of columns in magnetic bubble lattice files
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 1
%D January 1979
%P 8-15

%A John A. McPherson
%A Charles R. Kime
%T A two-level diagnostic model for digital systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 1
%D January 1979
%P 16-27

%A Kwok-Tung Fung
%A H.C. Torng
%T On the analysis of memory conflicts and bus contentions
in a multiple-microprocessor system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 1
%D January 1979
%P 28-37

%A Alan Jay Smith
%T An analytic and experimental study of multiple channel controllers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 1
%D January 1979
%P 38-49

%A Alexis C. Arvillias
%A Dimitris G. Maritsas
%T Toggle-registers generating in parallel
k kth decimations of m-sequences x^p + x^k + 1 design tables
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 2
%D February 1979
%P 89-101

%A Yaohan Chu
%T Architecture of a hardware data interpreter
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 2
%D February 1979
%P 101-109

%A Charles B. Silio,\ Jr.
%T An efficient simplex coverability algorithm in E^2
with application to stochastic sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 2
%D February 1979
%P 109-120

%A S. Karunanithi
%A Arthur D. Friedman
%T Analysis of digital systems using a new measure of system diagnosis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 2
%D February 1979
%P 121-133

%A Malcolm C. Easton
%A Peter A. Franaszek
%T Use bit scanning in replacement decisions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 2
%D February 1979
%P 133-141

%A Janusz A. Brzozowski
%A Michael Yoeli
%T On a ternary model of gate networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 3
%D March 1979
%P 178-184

%A I-Ngo Chen
%A Paul Y. Chen
%A Tse-Yun Feng
%T Associative processing of network flow problems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 3
%D March 1979
%P 184-190

%A B. Ramakrishna Rau
%T Program behavior and the performance of interleaved memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 3
%D March 1979
%P 191-199

%A K. Wayne Current
%A Douglas A. Mow
%T Implementing parallel counters with four-valued threshold logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 3
%D March 1979
%P 200-204

%A Paul W. Baker
%T The solution of differential equations on short-word-length computing devices
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 3
%D March 1979
%P 205-214

%A Dharma P. Agrawal
%T High-speed arithmetic arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 3
%D March 1979
%P 215-224

%A S. Brent Morris
%A Arthur Valliere,\ III
%A Richard A. Wisniewski
%T Processes for random and sequential accessing in dynamic memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 3
%D March 1979
%P 225-237

%A R. Peter Dube
%T Preliminary specification of spline curves
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 4
%D April 1979
%P 286-290

%A Gururaj S. Rao
%A Harold S. Stone
%A T.C. Hu
%T Assignment of tasks in a distributed processor system with limited memory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 4
%D April 1979
%P 291-299

%A Alvin M. Despain
%T Very fast Fourier transform algorithms hardware for implementation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 5
%D May 1979
%P 333-341

%A F. Gail Gray
%A Lionel C.C. Shih
%A Richard A. Thompson
%T Diagnosis of faults in modular trees
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 5
%D May 1979
%P 342-353

%A Yuan-Chieh Chow
%A Walter H. Kohler
%T Models for dynamic load balancing
in a heterogeneous multiple processor system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 5
%D May 1979
%P 354-361

%A Glen G. Langdon,\ Jr.
%T Database machines: an introduction
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 6
%D June 1979
%P 381-383

%A Amar Mukhopadhyay
%T Hardware algorithms for nonnumeric computation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 6
%D June 1979
%P 384-394

%A Davud J. de\ Witt
%T DIRECT - a multiprocessor organization
for supporting relational database management systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 6
%D June 1979
%P 395-406

%A Lee A. Holaar
%T A design for a list merging network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 6
%D June 1979
%P 406-413

%A Jayanta Banerjee
%A David K. Hsiao
%A Krishnamurthi Kannan
%T DBC - a database computer for very large databases
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 6
%D June 1979
%P 414-429

%A Stanleyu Y.W. Su
%A Le Huu Nguyen
%A Ahmed Emam
%A G.J. Lipovski
%T The architectural features and implementation techniques
of the multicell CASSM
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 6
%D June 1979
%P 430-445

%A Stewart A. Schuster
%A H.B. Nguyen
%A Esen A. Ozkarahan
%A Kenneth C. Smith
%T RAP.2 - an associative processor for databases and its applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 6
%D June 1979
%P 446-458

%A G. Robert Redinbo
%T Finite field arithmetic on an array processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 7
%D July 1979
%P 461-471

%A Eduard Cerny
%A Danielk Mange
%A Eduardo Sanchez
%T Synthesis of minimal binary decision trees
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 7
%D July 1979
%P 472-482

%A Frank Rubin
%T Decrypting a stream cipher based on J-K flip-flops
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 7
%D July 1979
%P 483-487

%A Irving S. Reed
%A T.K. Truong
%T A new hybrid algorithm for computing a fast discrete Fourier transform
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 7
%D July 1979
%P 487-492

%A William K.S. Walker
%A Carl-Erik W. Sundberg
%A Colin J. Black
%T A reliable spaceborne memory
with a single error and erasure correction scheme
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 7
%D July 1979
%P 493-500

%A Kin-Man Chung
%A C.K. Wong
%T Asymptotically optimal interconnection networks from two-state cells
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 7
%D July 1979
%P 500-505

%A Maria-Ana Necula
%T An algorithm for fast evaluation of time functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 7
%D July 1979
%P 506-513

%A Israel Koren
%A Stephen Y.H. Su
%T Reliability analysis of N-modular redundancy systems
with intermittent and permanent faults
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 7
%D July 1979
%P 514-520

%A Edward J. McCluskey
%T Logic design of multivalued I2L logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 8
%D August 1979
%P 546-559

%A Graziano Frosini
%A Francesco M. Viterbo
%T An algorithm for evaluating the frequency of a rotating vector
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 8
%D August 1979
%P 560-566

%A Earl E. Swartzlander
%A Douglas J. Heath
%T A routing algorithm for signal processing networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 8
%D August 1979
%P 567-572

%A Thomas S. Heines
%T Buffer behavior in computer communication systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 8
%D August 1979
%P 573-576

%A Suhas S. Patil
%A Terry A. Welch
%T A programmable logic approach for VLSI
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 594-601

%A Roy A. Wood
%T A high density programmable logic array chip
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 602-608

%A Yahiko Kambayashi
%T Logic design of programmable logic arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 609-617

%A Daniel L. Ostapko
%A Se June Hong
%T Fault analysis and test generation for programmable logic arrays (PLA's)
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 617-627

%A Share Young Lee
%A Hsu Chang
%T Associative-search bubble devices for content-addressable memory
and array logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 627-636

%A Heinrich Pangratz
%A Hans Weinrichter
%T Pseudo-random number generator
based on binary and quinary maximal-length sequences
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 637-642

%A Jon L. Bentley
%A Thomas A. Ottmann
%T Algorithms for reporting and counting geometric intersections
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 643-647

%A Hung Chi Lai
%A Saburo Muroga
%T Minimum parallel binary adders with NOR (NAND) gates
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 648-659

%A Utpal Banerjee
%A Shyh-Ching Chen
%A David J. Kuck
%A Ross A. Towle
%T Time and parallel processor bounds for fortran-like loops
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 660-670

%A Joseph Y.-T. Leung
%A Edmund K. Lai
%T On minimum cost recovery from system deadlock
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 671-677

%A B. Ramakrishna Rau
%T Interleaved memory bandwidth in a model of a multiprocessor computer system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 9
%D September 1979
%P 678-681

%A Andrew Hopper
%A David J. Wheeler
%T Binary routing networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 699-703

%A Steven L. Kartashev
%A Svetlana P. Kartashev
%T A multicomputer system with dynamic architecture
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 704-721

%A I-Ngo Chen
%A Robert Willoner
%T An O(n) parallel multiplier with bit-sequential input and output
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 721-727

%A Yasuhito Suenaga
%A Takahiko Kamae
%A Tomonori Kobayashi
%T A high-speed algorithm for the generation of straight lines and circular arcs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 728-736

%A Erol Gelenbe
%A Ken Sevcik
%T Analysis of update synchronization for multiple copy data bases
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 737-747

%A John B. Kam
%A George I. Davida
%T Structured design of substitution-permutation encryption networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 747-753

%A Charles R. Kime
%T An abstract model for digital system fault diagnosis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 754-767

%A Keijiro Nakamura
%T Synthesis of gate-minimum multi-output two-level negative gate networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 768-772

%A Edmund A. Lamagna
%T The complexity of monotone networks
for certain bilinear forms, routing problems, sorting, and merging
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 773-782

%A Teofilo Gonzalez
%T A note on open shop preemptive schedules
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 10
%D October 1979
%P 782-786

%A Udaiprakash I. Gupta
%A D.T. Lee
%A Joseph Y.-T. Leung
%T An optimal solution for the channel-assignment problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 11
%D November 1979
%P 807-810

%A Takashi Nanya
%A Yoshihiro Tohma
%T Universal multicode STT state assignments
for asynchronous sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 11
%D November 1979
%P 811-818

%A Paolo Corsini
%A Graziano Frosini
%T Properties of the multidimensional generalized discrete Fourier transform
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 11
%D November 1979
%P 819-830

%A Ben-Dau Tseng
%A G.A Jullien
%A William C. Miller
%T Implementation of FFT structures using the residue number system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 11
%D November 1979
%P 831-845

%A James E. Smith
%T Detection of faults in programmable logic arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 11
%D November 1979
%P 845-853

%A Joseph G. Tront
%A Donald D. Givone
%T A design for multiple-valued logic gates based on MESFETs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 11
%D November 1979
%P 854-862

%A Vojin M. Plavsic
%A Per E. Danielsson
%T Sequential evaluation of boolean functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 12
%D December 1979
%P 879-887

%A Jane W.S. Liu
%A Mario Jino
%T Intelligent magnetic bubble memories
and their applications in data base management systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 12
%D December 1979
%P 888-906

%A Howard Jay Siegel
%T A model of SIMD machines and a comparison of various interconnection networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 12
%D December 1979
%P 907-917

%A Daniel E. Atkins
%A Shau-Chi Ong
%T Time-component complexity of two approaches to multioperand binary addition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-28
%N 12
%D December 1979
%P 918-926

%A Tomlinson G. Rauscher
%A Phillip M. Adams
%T Microprogramming: a tutorial and survey of recent developments
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 1
%D January 1980
%P 2-20

%A C.R. Jesshope
%T The implementation of fast radix 2 transforms on array processors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 1
%D January 1980
%P 20-27

%A Hanan Samet
%T Efficient on-line proofs of equalities and inequalities of formulas
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 1
%D January 1980
%P 28-32

%A Ayee Goundan
%A John P. Hayes
%T Design of totally fault locatable combinational networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 1
%D January 1980
%P 33-44

%A S.K. Mehra
%A J.W. Wong
%A J.C. Majitha
%T A comparative study of some two-processor organizations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 1
%D January 1980
%P 44-49

%A Gene L. Haviland
%A Al. A. Tuszynski
%T A CORDIC arithmetic processor chip
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 68-79

%A Michel C. Rahier
%A Paul G.A. Jespers
%T Dedicated LSI for microprocessor-controlled hand-carried OCR system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 79-88

%A Yuzo Kita
%A Noboru Yamaguchi
%A Shigeru Yoshizawa
%T The development of a bubble memory controller for low-cost file use
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 89-96

%A Matt Townsend
%A Marcian E. Hoff,\ Jr.
%A Robert E. Holm
%T An NMOS microprocessor for analog signal processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 97-102

%A Tsuneo Funabashi
%A Katsuaki Takagi
%A Toshiro Tsukada
%A Hideo Nakamura
%A Michio Hara
%T An NMOS microcomputer peripheral interface unit
incorporating an analog-to-digital converter
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 102-107

%A David A. Patterson
%A Carlo H. Sequin
%T Design considerations for single-chip computers of the future
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 108-116

%A Alan J. Weissberger
%T An LSI implementation of an intelligent CRC computer
and programmable character comparator
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 116-124

%A Rodger A. Cliff
%T Acceptable testing of VLSI components which contain error correctors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 125-134

%A Jan Zeman
%A H. Troy Nagle,\ Jr.
%T A high-speed microprogrammable digital signal processor
employing distributed arithmetic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 135-144

%A Ayakannu Mathialagan
%A Nripendra N. Biswas
%T Optimal interconnections
in the design of microprocessors and digital systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 145-149

%A Jega A. Arulpragasam
%A Robert A. Giggi
%A Richard F. Lary
%A Daniel T. Sullivan
%A Chin-Chang Wu
%T Modular minicomputers using microprocessors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 149-160

%A John J. Lenahan
%A Fergus K. Fung
%T Performance of cooperative loosely coupled microprocessor architectures
in an interactive data base task
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 161-180

%A Daniel Tabak
%A G.J. Lipovski
%T MOVE architecture in digital controllers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 2
%D February 1980
%P 180-190

%A D. Stott Parker,\ Jr.
%T Notes on shuffle/exchange-type switching networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 3
%D March 1980
%P 213-222

%A Melvin A. Breuer
%A Arthur D. Friedman
%T Functional level primitives in test generation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 3
%D March 1980
%P 223-235

%A Jean Davies Lesser
%A John J. Shedletsky
%T An experimental delay test generator for LSI logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 3
%D March 1980
%P 235-248

%A Meghanad D. Wagh
%A H. Ganesh
%T A new algorithm for the discrete cosine transform
of arbitrary number of points
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 4
%D April 1980
%P 269-277

%A Anthony P. Reeves
%T A systematically designed binary array processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 4
%D April 1980
%P 278-287

%A Vinod K. Agarwal
%A Gerald M. Masson
%T Generic fault characterizations for table look-up coverage bounding
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 4
%D April 1980
%P 288-299

%A Jesse H. Jenkins
%A James A. Howard
%T Control overhead - a performance metric for evaluating control-unit designs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 4
%D April 1980
%P 300-308

%A John Bruno
%A John W. Jones,\ III
%A Kimming So
%T Deterministic scheduling with pipelined processors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 4
%D April 1980
%P 309-316

%A Hideo Kitajima
%T A symmetric cosine transform
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 4
%D April 1980
%P 317-323

%A Mark R. Brown
%A David P. Dobkin
%T An improved lower bound on polynomial multiplication
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 5
%D May 1980
%P 337-340

%A Earl E. Swartzlander,\ Jr.
%A Barry K. Gilbert
%T Arithmetic for ultra-high-speed tomography
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 5
%D May 1980
%P 341-353

%A Yehuda Wallach
%A Victor Konrad
%T On block-parallel methods for solving linear equations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 5
%D May 1980
%P 354-359

%A Raphael A. Finkel
%A Marvin H. Solomon
%T Processor interconnection strategies
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 5
%D May 1980
%P 360-371
%K snowflake

%A Chin-Hwa Lee
%T Queueing analysis of global locking synchronization schemes
for multicopy databases
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 5
%D May 1980
%P 371-384

%A Hossein Jafari
%A T.G. Lewis
%A John D. Spragins
%T Simulation of a class of ring-structured networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 5
%D May 1980
%P 385-392

%A Dong S. Suk
%A Sudharak M. Reddy
%T Test procedures for a class of pattern-sensitive faults
in semiconductor random-access memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 6
%D June 1980
%P 419-429

%A Satish M. Thatte
%A Jacob A. Abraham
%T Test generation for microprocessors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 6
%D June 1980
%P 429-441

%A Jacob Savir
%T Syndrome-testable design of combinational circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 6
%D June 1980
%P 442-451

%A Miron Abramovici
%A Melvin A. Breuer
%T Multiple fault diagnosis in combinational circuits
based on an effect-cause analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 6
%D June 1980
%P 451-460

%A Sivanarayana Mallela
%A Gerald M. Masson
%T Diagnosis without repair for hybrid fault situations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 6
%D June 1980
%P 461-470

%A Dhiraj K. Pradhan
%T A new class of error-correcting/detecting codes
for fault-tolerant computer applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 6
%D June 1980
%P 471-481

%A Bengt E. Ossfeldt
%A Ingmar Johnsson
%T Recovery and diagnostics in the central control of the AXE switching system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 6
%D June 1980
%P 482-491

%A Richard M. Sedmak
%A Harris L. Liebergot
%T Fault tolerance of a general purpose computer
implemented by very large scale integration
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 6
%D June 1980
%P 492-500

%A John F. Meyer
%A David G. Furchgott
%A Liang T. Wu
%T Performability evaluation of the SIFT computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 6
%D June 1980
%P 501-509

%A Kin-Man Chung
%A Fabrizio Luccio
%A C.K. Wong
%T On the complexity of sorting in magnetic bubble memory systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 553-563

%A Frances L. van\ Scoy
%T The parallel recognition of classes of graphs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 563-570

%A Jon Louis Bentley
%A Derick Wood
%T An optimal worst case algorithm for reporting intersections of rectangles
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 571-577

%A Hiroshi Hagiwara
%A Shinji Tomita
%A Shigeru Oyanagi
%A Kiyoshi Shibayama
%T A dynamically microprogrammable computer with low-level parallelism
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 577-595
%K QA-1

%A Simon S. Lam
%T Packet broadcast networks - a performance analysis of the R-ALOHA protocol
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 596-603

%A Tich T. Dao
%A Marc Davio
%A Colette Gossart
%T Complex number arithmetic with odd-valued logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 604-611

%A Samuel T. Chanson
%A Prem S. Sinha
%T Optimization of memory hierarchies
in multiprogrammed computer systems with fixed cost restraint
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 611-618

%A Francis Y. Chin
%A K. Samson Fok
%T Fast sorting algorithms on uniform ladders (multiple shift-register loops)
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 618-631

%A Omar Wing
%A John W. Huang
%T A computation model of parallel solution of linear equations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 632-638

%A Bulent T. Dervisoglu
%A Howard A. Sholl
%T Theory and design of mixed-mode sequential machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 639-648

%A John C. Sutton
%A Jon G. Bredeson
%T Minimal redundant logic for high reliability and irredundant testability
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 7
%D July 1980
%P 648-656

%A Ikou Nishioka
%A Takuji Kurimoto
%A Seiji Yamamoto
%A Toru Chiba
%A Isao Shirakawa
%A Hiroshi Ozaki
%T An approach to gate assignment and module placement for printed wiring boards
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 8
%D August 1980
%P 681-688

%A Sheldon S.L. Chang
%T Multiple-read single-write memory and its applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 8
%D August 1980
%P 689-694

%A Chuan-Lin Wu
%A Tse-Yun Feng
%T On a class of multistage interconnection networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 8
%D August 1980
%P 694-702

%A Jan Weglarz
%T Multiprocessor scheduling with memory allocation - a deterministic approach
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 8
%D August 1980
%P 703-709

%A George P. Engelberg
%A James A. Howard
%A Duncan A. Mellichamp
%T Job scheduling in a single-node hierarchical network for process control
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 8
%D August 1980
%P 710-719

%A John F. Meyer
%T On evaluating the performability of degradable computing systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 8
%D August 1980
%P 720-731

%A David A. Padua
%A David J. Kuck
%A Duncan H. Lawrie
%T High-speed multiprocessors and compilation techniques
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 9
%D September 1980
%P 763-776

%A Shiraj K. Pradhan
%A Kolar L. Kodandapani
%T A uniform representation of single- and multistage interconnection networks
used in SIMD machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 9
%D September 1980
%P 777-791

%A Howard Jay Siegel
%T The theory underlying the partitioning permutation networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 9
%D September 1980
%P 791-801

%A Chuan-Lin Wu
%A Tse-Yun Feng
%T The reverse-exchange interconnection network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 9
%D September 1980
%P 801-811

%A Carla Schlatter Ellis
%T Concurrent search and insertion in AVL trees
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 9
%D September 1980
%P 811-817

%A Ossama Ibrahim El-Dessouki
%A Wing H. Huen
%T Distributed enumeration on between computers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 9
%D September 1980
%P 818-825

%A King-Sun Fu
%T Recent developments in pattern recognition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 10
%D October 1980
%P 845-854

%A Giancarlo Bongiovanni
%A Fabrizio Luccio
%T Maintaining sorted files in a magnetic bubble memory
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 10
%D October 1980
%P 855-863

%A K.M. Chung
%A Fabrizio Luccio
%A C.K. Wong
%T A tree storage scheme for magnetic bubble memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 10
%D October 1980
%P 864-874

%A Robert Bruce Tilove
%T Set membership classification:
a unified approach to geometric intersection problems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 10
%D October 1980
%P 874-883

%A Pierre G. Jansen
%A Joep W. Kessels
%T The DIMOND: a component for the modular construction of switching networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 10
%D October 1980
%P 884-889

%A Anthony S. Wojcik
%A Kwang-Ya Fang
%T On the design of three-valued asynchronous modules
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 10
%D October 1980
%P 889-898

%A G.A. Jullien
%T Implementation of multiplication, modulo a prime number,
with applications to number theoretic transforms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 10
%D October 1980
%P 899-905

%A Kim P. Gostelow
%A Robert E. Thomas
%T Performance of a simulated dataflow computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 10
%D October 1980
%P 905-919

%A Keith L. Doty
%A Joel D. Greenblatt
%A Stanley Y.W. Su
%T Magnetic bubble memory architectures
for supporting associative searching of relational databases
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 11
%D November 1980
%P 957-970

%A Wesley W. Chu
%A Michael Yih-Chung Shen
%T A hierarchical routing and flow control policy (HRFC)
for packet switched networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 11
%D November 1980
%P 971-977

%A Ayee Goundan
%A John P. Hayes
%T Identification of equivalent faults in logic networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 11
%D November 1980
%P 978-985

%A Abraham Kandel
%A Joan M. Francioni
%T On the properties and applications of fuzzy-valued switching functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 11
%D November 1980
%P 986-994

%A N.K. Samari
%A Michael Schneider
%T A queueing theory-based analytic model of a distributed computer network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 11
%D November 1980
%P 994-1001

%A Ying W. Ng
%A Algirdas A. Avizienis
%T A unified reliability model for fault-tolerant computers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 11
%D November 1980
%P 1002-1011

%A Rami R. Razouk
%A Gerald Estrin
%T Modeling and verification of communication protocols in SARA:
the X.21 interface
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1038-1052

%A Parviz Kermani
%A Leonard Kleinrock
%T A tradeoff study of switching systems in computer communication networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1052-1060

%A Georges Gardarin
%A Wesley W. Chu
%T A distributed control algorithm
for reliably and consistently updating replicated databases
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1060-1068

%A Peter Pin-Shan Chen
%A Jacob Akoka
%T Optimal design of distributed information systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1068-1080

%A Michael J. Flynn
%A John L. Hennessy
%T Parallelism and representation problems in distributed systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1080-1086

%A Mario J. Gonzalez,\ Jr.
%A Bernard W. Jordan,\ Jr.
%T A framework for the quantitative evaluation of distributed computer systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1087-1094

%A James R. McGraw
%T Data flow computing - software development
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1095-1103
%K VAL

%A Reid G. Smith
%T The contract net protocol:
high-level communication and control in a distributed problem solver
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1104-1113

%A Steven I. Kartashev
%A Svetlana P. Kartashev
%T Problems of designing supersystems with dynamic architectures
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1114-1132

%A Larry D. Wittie
%A Andre M. van\ Tilborg
%T MICROS, a distributed operating system
for MICRONET, a reconfigurable network computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1133-1144

%A Victor R. Lesser
%A Lee D. Erman
%T Distributed interpretation: a model and experiment
%J IEEE Transactions on Computers
%K ieee_tc
%V C-29
%N 12
%D December 1980
%P 1144-1163

%A Eugen I. Muehldorf
%A Anil D. Savkar
%T LSI logic testing - an overview
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 1
%D January 1981
%P 1-17

%A John P. Robinson
%A Martin Cohn
%T Counting sequences
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 1
%D January 1981
%P 17-23

%A Mario R. Barbacci
%T Instruction set processor specifications (ISPS):
the notation and its applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 1
%D January 1981
%P 24-40

%A Bryan D. Ackland
%A Neil H. Weste
%T The edge flag algorithm - a fill method for raster scan displays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 1
%D January 1981
%P 41-48

%A Donald E. Thomas
%A Daniel P. Siewiorek
%T Measuring designer performance to verify design automation systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 1
%D January 1981
%P 48-61

%A Mark A. Franklin
%A Norman L. Soong
%T One-dimensional optimization on multiprocessor systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 1
%D January 1981
%P 61-66

%A Simeon C. Ntafos
%A S. Louis Hakimi
%T On structured digraphs and program testing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 1
%D January 1981
%P 67-77

%A Gavriela Freund Lev
%A Nicholas Pippenger
%A Leslie G. Valiant
%T A fast parallel algorithm for routing in permutation networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 2
%D February 1981
%P 93-100

%A David Nassimi
%A Sartaj Sahni
%T Data broadcasting in SIMD computers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 2
%D February 1981
%P 101-107

%A Leonard R. Marino
%T General theory of metastable operation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 2
%D February 1981
%P 107-115

%A Marc Davio
%T Kronecker products and shuffle algebra
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 2
%D February 1981
%P 116-125

%A Andre Thayse
%T P-functions: a new tool
for the analysis and synthesis of binary programs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 2
%D February 1981
%P 126-134

%A Leslie G. Valiant
%T Universality considerations in VLSI circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 2
%D February 1981
%P 135-140

%A Lawrence Snyder
%T Formal models of capability-based protection systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 3
%D March 1981
%P 172-181

%A Toshihide Ibaraki
%A Tsunehiko Kameda
%A Shunichi Toida
%T On minimal test sets for locating single link failures in networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 3
%D March 1981
%P 182-190

%A Daniel D. Gajski
%T An algorithm for solving linear recurrence systems
on parallel and pipelined systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 3
%D March 1981
%P 190-206

%A Shahid H. Bokhari
%T On the mapping problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 3
%D March 1981
%P 207-214

%A Prabhakar Goel
%T An implicit enumeration algorithm to generate tests
for combinatorial logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 3
%D March 1981
%P 215-222

%A Howard Jay Siegel
%T Interconnection networks for parallel and distributed processing:
an overview
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 4
%D April 1981
%P 245-246

%A Ellis Horowitz
%A Alessandro Zorat
%T The binary tree as an interconnection network:
applications to multiprocessor systems and VLSI
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 4
%D April 1981
%P 247-253

%A Shyue B. Wu
%A Ming T. Liu
%T A cluster structure as an interconnection network
for large multimicrocomputer systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 4
%D April 1981
%P 254-264

%A Larry D. Wittie
%T Communication structures for large networks of microcomputers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 4
%D April 1981
%P 264-273

%A Daniel M. Dias
%A J. Robert Jump
%T Analysis and simulation of buffered delta networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 4
%D April 1981
%P 273-282

%A Mark A. Franklin
%T VLSI performance comparison
of Banyan and crossbar communications networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 4
%D April 1981
%P 283-291

%A Takao Uehara
%A William M. vanCleemput
%T Optimal layout of CMOS functional arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 5
%D May 1981
%P 305-312

%A Israel Koren
%A Yoram Maliniak
%T On classes of positive, negative, and imaginary radix number systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 5
%D May 1981
%P 312-317

%A Wesley W. Chu
%A Guy Fayolle
%A David G. Hibbits
%T An analysis of a tandem queueing system
for flow control in computer networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 5
%D May 1981
%P 318-324

%A Chuan-Lin Wu
%A Tse-Yun Feng
%T The universality of the shuffle-exchange network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 5
%D May 1981
%P 324-332

%A David Nassimi
%A Sartaj Sahni
%T A self-routing Benes network and parallel permutation algorithms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 5
%D May 1981
%P 332-340

%A Walid Abu-Sufah
%A David J. Kuck
%A Duncan H. Lawrie
%T On the performance enhancement of paging systems
through program analysis and transformations
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 5
%D May 1981
%P 341-356

%A Takanobu Baba
%A Hiroshi Hagiwara
%T The MPG system:
a machine-independent efficient microprogram generator
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 6
%D June 1981
%P 373-395

%A D.T. Lee
%A Hsu Chang
%A C.K. Wong
%T An on-chip compare/steer bubble sorter
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 6
%D June 1981
%P 396-405

%A Jacques Labetoulle
%A Guy Pujolle
%T HDLC throughput and response time for bidirectional data flow
with nonuniform frame sizes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 6
%D June 1981
%P 405-413

%A Kyung_Yong Chwa
%A S. Louis Hakimi
%T On fault identification in diagnosable systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 6
%D June 1981
%P 414-422

%A Alice C. Parker
%A John J. Wallace
%T SLIDE: an I/O hardware descriptive language
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 6
%D June 1981
%P 423-439

%A Makoto Imase
%A Masaki Itoh
%T Design to minimize diameter on building-block network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 6
%D June 1981
%P 439-442

%A Scott Davidson
%A David Lanskov
%A Bruce D. Shriver
%A Patrick W. Mallett
%T Some experiments in local microcode compaction
for horizontal machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 7
%D July 1981
%P 460-477

%A Joseph A. Fisher
%T Trace scheduling: a technique for global microcode compaction
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 7
%D July 1981
%P 478-490

%A Mario Tokoro
%A Eiji Tamura
%A Takashi Takizuka
%T Optimization of microprograms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 7
%D July 1981
%P 491-504

%A John A. Stankovic
%T The types and interactions of vertical migrations of functions
in a multilevel interpretive system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 7
%D July 1981
%P 505-513

%A Jerry R. Vanaken
%A Gregory L. Zick
%T The expression processor:
a pipelined, multiple-processor architecture
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 8
%D August 1981
%P 525-536

%A Giancarlo Bongiovanni
%A C.K. Wong
%T Tree search in major/minor loop magnetic bubble memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 8
%D August 1981
%P 537-545

%A Suchai Thanawastien
%A Victor P. Nelson
%T Interference analysis of shuffle/exchange networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 8
%D August 1981
%P 545-556

%A Hideo Fujiwara
%T On closedness and test complexity of logic circuits
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 8
%D August 1981
%P 556-562

%A Thirumalai Sridhar
%A John P. Hayes
%T A functional approach to testing bit-sliced microprocessors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 8
%D August 1981
%P 563-571

%A Isao Shirakawa
%A Noboru Okuda
%A Takashi Harada
%A Sadahiro Tani
%A Hiroshi Ozaki
%T A layout system for the random logic portion of an MOS LSI chip
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 8
%D August 1981
%P 572-581

%A K.C. Smith
%T The prospects for multivalued logic:
a technology and applications view
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 9
%D September 1981
%P 619-634

%A Tsutomu Sasao
%T Multiple-valued decomposition of generalized boolean functions
and the complexity of programmable logic arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 9
%D September 1981
%P 635-643

%A Hans G. Kerkhoff
%A Marius L. Tervoert
%T Multiple-valued logic charge-coupled devices
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 9
%D September 1981
%P 644-661

%A Craig S. Holt
%A James E. Smith
%T Diagnosis of systems with asymmetric invalidation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 9
%D September 1981
%P 679-690

%A J.H.P. Zurawski
%A J.B. Gosling
%T Design of high-speed digital divider units
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 9
%D September 1981
%P 691-699

%A David Gelernter
%T A DAG-based algorithm for prevention of store-and-forward deadlock
in packet networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 10
%D October 1981
%P 709-715

%A Douglas W. Clark
%A Butler W. Lampson
%A Kenneth A. Pier
%T The memory system of a high-performance personal computer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 10
%D October 1981
%P 715-733
%K Dorado

%A Simon S. Lam
%A Y.C. Luke Lien
%T Congestion control of packet communication networks
by input buffer limits - a simulation study
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 10
%D October 1981
%P 733-742

%A Tse-Yun Feng
%A Chuan-Lin Wu
%T Fault-diagnosis for a class of multistage interconnection networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 10
%D October 1981
%P 743-758

%A Nai-Kuan Tsao
%T Error complexity analysis of algorithms
for matrix multiplication and matrix chain product
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 10
%D October 1981
%P 758-771

%A Janak H. Patel
%T Performance of processor-memory interconnections for multiprocessors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 10
%D October 1981
%P 771-780

%A J.G. Shanthikumar
%T On the buffer behavior with
Poisson arrivals, priority service, and random server interruptions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 10
%D October 1981
%P 781-786

%A C.V. Ramamoorthy
%A Benjamin W. Wah
%T An optimal algorithm for scheduling requests on interleaved memories
for a pipelined processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 10
%D October 1981
%P 787-800

%A Bulent I. Dervisoglu
%A Donald J. Criscone
%T A hard programmable control unit design using VLSI technology
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 10
%D October 1981
%P 800-810

%A Hideo Fujiwara
%A Kozo Kinoshita
%T A design of programmable logic arrays with universal tests
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 823-828

%A Wilfried Daehn
%A Joachim Mucha
%T A hardware approach to self-testing
of large programmable logic arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 829-833

%A R. Parthasarathy
%A Sudhakar M. Reddy
%T A testable design of iterative logic arrays
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 833-841

%A Thirumalai Sridhar
%A John P. Hayes
%T Design of easily testable bit-sliced systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 842-854

%A Vinod K. Agarwal
%A Andy S.F. Fung
%T Multiple fault testing of large circuits by single fault test sets
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 855-865

%A Edward J. McCluskey
%A Saied Bozorgui-Nesbat
%T Design for autonomous test
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 866-875

%A Jacob A. Abraham
%A Daniel D. Gajski
%T Design of testable structures defined by simple loops
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 875-884

%A Robert W. Priester
%A James B. Clary
%T New measures of testability and test complexity
for linear analog failure analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 884-888

%A V. Visvanathan
%A Alberto Sangiovanni-Vincentelli
%T Diagnosability of nonlinear circuits and systems
- part I: the dc case
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 889-898

%A Richard Saeks
%A Alberto Sangiovanni-Vincentelli
%A V. Visvanathan
%T Diagnosability of nonlinear circuits and systems
- part II: dynamical systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 11
%D November 1981
%P 899-904

%A David Avis
%A Godfried T. Toussaint
%T An optimal algorithm for determining
the visibility of a polygon from an edge
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 12
%D December 1981
%P 910-914

%A Gita Gopal
%A J.W. Wong
%T Delay analysis of broadcast routing in packet-switching networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 12
%D December 1981
%P 915-922

%A James R. Goodman
%A Carlo H. Sequin
%T Hypertree: a multiprocessor interconnection topology
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 12
%D December 1981
%P 923-933

%A Howard Jay Siegel
%A Leah J. Siegel
%A Frederick C. Kemmerer
%A Philip T. Mueller,\ Jr.
%A Harold E. Smalley,\ Jr.
%A Diane Smith
%T PASM: a partitionable SIMD/MIMD system
for image processing and pattern recognition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 12
%D December 1981
%P 934-947

%A Mark Karpovsky
%T An approach for error detection and error correction
in distributed systems computing numerical functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 12
%D December 1981
%P 947-953

%A Stephen M. Walters
%A F. Gail Gray
%A Richard A. Thompson
%T Self-diagnosing cellular implementations of finite-state machines
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 12
%D December 1981
%P 953-959

%A Raphael A. Finkel
%A Marvin Solomon
%T The lens interconnection strategy
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 12
%D December 1981
%P 960-965

%A Yih-Chyun Jenq
%T Digital convolution algorithm for pipelining multiprocessor systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-30
%N 12
%D December 1981
%P 966-973

%A Thomas W. Williams
%A Kenneth P. Parker
%T Design for testability - a survey
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 1
%D January 1982
%P 2-15

%A Richard R. Shively
%T Architecture of a programmable digital signal processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 1
%D January 1982
%P 16-22

%A Vijay K. Vaishnavi
%T Computing point enclosures
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 1
%D January 1982
%P 22-29

%A Michael Feuer
%T Connectivity of random logic
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 1
%D January 1982
%P 29-33

%A Andre Thayse
%T Synthesis and optimization of programs by means of P-functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 1
%D January 1982
%P 34-40

%A Perng-Yi Richard Ma
%A Edward Y.S. Lee
%A Masahiro Tsuchiya
%T A task allocation model for distributed computing systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 1
%D January 1982
%P 41-47

%A Hector Garcia-Molina
%T Elections in a distributed computing system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 1
%D January 1982
%P 48-59

%A Bruce W. Arden
%A Hikyu Lee
%T A regular network for multicomputer systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 1
%D January 1982
%P 60-69

%A Louis J. Hafer
%A Alice C. Parker
%T Automated synthesis of digital hardware
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 2
%D February 1982
%P 93-109

%A David D. Riley
%A Robert J. Baron
%T Design and evaluation of a synchronous
triangular interconnection scheme for interprocessor communications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 2
%D February 1982
%P 110-118

%A Stefano Ceri
%A Giuseppe Pelagatti
%T Allocation of operations in distributed database access
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 2
%D February 1982
%P 119-129

%A Yacoub M. El-Ziq
%A Stephen Y.H. Su
%T Fault diagnosis of MOS combinational networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 2
%D February 1982
%P 129-139

%A X. Chen
%A S.L. Hurst
%T A comparison of universal-logic-module realizations
and their application in the synthesis of combinatorial and sequential
logic networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 2
%D February 1982
%P 140-147

%A David Nassimi
%A Sartaj Sahni
%T Parallel algorithms to set up the Benes permutation network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 2
%D February 1982
%P 148-154

%A Martin de\ Prycker
%T A performance analysis of the implementation of addressing methods
in block-structured languages
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 2
%D February 1982
%P 155-163

%A Hans W. Six
%A Derick Wood
%T Counting and reporting intersections of d-ranges
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 181-187

%A Toshihide Ibaraki
%A Tsunehiko Kameda
%T Deadlock-free systems for abounded number of processes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 188-193

%A Werner E. Kluge
%T The orderly resolution of memory access conflicts
among competing channel processes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 194-207
%K Petri nets

%A Leah J. Siegel
%A Howard Jay Siegel
%A Arthur E. Feather
%T Parallel processing approaches to image correlation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 208-218

%A Will E. Leland
%A Marvin H. Solomon
%T Dense trivalent graphs for processor interconnection
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 219-222

%A Gregor V. Bochmann
%T Hardware specification with temporal logic: an example
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 223-231

%A Jochen A.G. Jess
%A H.G.M. Kees
%T A data structure for parallel L/U decomposition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 231-239

%A Marco Ajmone Marsan
%A Mario Gerla
%T Markov models for multiple bus multiprocessor systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 239-248

%A Robert M. Geist
%A Kishor S. Trivedi
%T Optimal design of multilevel storage hierarchies
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 249-260

%A Richard P. Brent
%A H.T. Kung
%T A regular layout for parallel adders
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 3
%D March 1982
%P 260-264

%A George B. Adams,\ III
%A Howard Jay Siegel
%T On the number of permutations performable
by the augmented data manipulator network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 4
%D April 1982
%P 270-277

%A Jarek Deminet
%T Experience with multiprocessor algorithms
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 4
%D April 1982
%P 278-288

%A John P. Fishburn
%A Raphael A. Finkel
%T Quotient networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 4
%D April 1982
%P 288-296

%A Janak H. Patel
%T Analysis of multiprocessors with private cache memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 4
%D April 1982
%P 296-304

%A Gabriel M. Silberman
%T Determining fault ratios
in multilevel delayed-staging storage hierarchies
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 4
%D April 1982
%P 305-310

%A Catherine Bellon
%A Gabriele Saucier
%T Protection against external error in a dedicated system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 4
%D April 1982
%P 311-317

%A Svetlana P. Kartashev
%T Supersystems: current state-of-the-art
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 345-348

%A Neil R. Lincoln
%T Technology and design tradeoffs
in the creation of a modern supercomputer
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 349-362

%A David J. Kuck
%A Richard A. Stokes
%T The Burroughs scientific processor (BSP)
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 363-376

%A Kenneth E. Batcher
%T Bit-serial parallel processing systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 377-384

%A Robert G. Arnold
%A Robert O. Berg
%A James W. Thomas
%T A modular approach to real-time supersystems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 385-398

%A Earl E. Swartzlander,\ Jr.
%A Barry K. Gilbert
%T Supersystems: technology and architecture
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 399-409

%A James P. Ignizio
%A David E. Palmer
%A Catherine M. Murphy
%T A multicriteria approach to supersystem architecture definition
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 410-418

%A Keki B. Irani
%A Nicholas G. Khabbaz
%T A methodology for the design of communication networks
and the distribution of data in distributed supercomputer systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 419-434

%A Duncan H. Lawrie
%A Chandra R. Vora
%T The prime memory system for array access
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 435-442

%A George B. Adams,\ III
%A Howard Jay Siegel
%T The extra stage cube:
a fault-tolerant interconnection network for supersystems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 443-454

%A Bruce W. Arden
%A Ran Ginosar
%T MP/C: a multiprocessor/computer architecture
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 5
%D May 1982
%P 455-473

%A Der-Tsai Lee
%T On k-nearest neighbor Voronoi diagrams in the plane
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 6
%D June 1982
%P 478-487

%A Svetlana P. Kartashev
%A Steven I. Kartashev
%T Distribution of programs for a system with dynamic architecture
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 6
%D June 1982
%P 488-514

%A Howard W. Trickey
%T Good layouts for pattern recognizers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 6
%D June 1982
%P 514-520

%A Bella Bose
%A Thammavaram R.N. Rao
%T Theory of unidirectional error correcting/detecting codes
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 6
%D June 1982
%P 521-530

%A Flaviu Cristian
%T Exception handling and software fault tolerance
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 6
%D June 1982
%P 531-540

%A Fred J. Taylor
%T A VLSI residue arithmetic multiplier
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 6
%D June 1982
%P 540-546

%A Se June Hong
%T Reliable and fault-tolerant computing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 575-577

%A Ytzhak H. Levendel
%A Premachandran R. Menon
%T Test generation algorithms
for computer hardware description languages
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 577-588

%A Janak H. Patel
%A Leona Y. Fung
%T Concurrent error detection in ALU's
by recomputing with shifted operands
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 589-595

%A Shigeo Kaneda
%A Eiji Fujiwara
%T SIngle byte error correcting-double byte error detecting
codes for memory systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 596-602

%A David J. Taylor
%A James P. Black
%T Principles of data structure error correction
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 602-608

%A Tulin Erdim Mangir
%A Algirdas Avizienis
%T Fault-tolerant design for VLSI:
effect of interconnect requirements on yield improvement of VLSI designs
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 609-616

%A P. Michael Melliar-Smith
%A Richard L. Schwartz
%T Formal specification and mechanical verification of SIFT:
a fault-tolerant flight control system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 616-630

%A Harry Rudin
%A Colin H. West
%T A validation technique for tightly coupled protocols
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 630-636

%A Jean-Michel Ayache
%A Jean-Pierre Courtiat
%A Michel Diaz
%T REBUS, a fault-tolerant distributed system
for industrial real-time control
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 637-647

%A John F. Meyer
%T Closed-form solutions of performability
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 648-657

%A Xavier Castillo
%A Stephen R. McConnel
%A Daniel P. Siewiorek
%T Derivation and calibration of a transient error reliability model
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 7
%D July 1982
%P 658-671

%A George W. Gerrity
%T Computer representation of real numbers
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 8
%D August 1982
%P 709-714

%A Don Towsley
%A G. Venkatesh
%T Window random access protocols for local computer networks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 8
%D August 1982
%P 715-722

%A Paul D. Amer
%T A measurement centre for the NBS local area computer network
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 8
%D August 1982
%P 723-729

%A Gerard J. Holzmann
%T A theory for protocol validation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 8
%D August 1982
%P 730-738

%A Jinpo Wang
%T Delay and throughput analysis for computer communications
with balanced HDLC procedures
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 8
%D August 1982
%P 739-746

%A To-Yat Cheung
%T A method for equijoin queries in distributed relational databases
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 8
%D August 1982
%P 746-751

%A Vittal Kini
%A Daniel P. Siewiorek
%T Automatic generation of symbolic reliability functions
for processor-memory-switch structures
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 8
%D August 1982
%P 752-771

%A Edmund M. Clarke
%A Christos N. Nikolaou
%T Distributed reconfiguration strategies
for fault-tolerant multiprocessor systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 8
%D August 1982
%P 771-784

%A Gerard Memmi
%A Yves Raillard
%T Some new results about the (d,k) graph problem
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 8
%D August 1982
%P 784-791

%A Peter M. Flanders
%T A unified approach to a class of data movements
on an array processor
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 9
%D September 1982
%P 809-819

%A Masahiro Sowa
%A Tadao Murata
%T A data flow computer architecture with program and token memories
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 9
%D September 1982
%P 820-824

%A Forbes J. Burkowski
%T A hardware hashing scheme
in the design of a multiterm string comparator
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 9
%D September 1982
%P 825-834

%A Wesley W. Chu
%A Paul Hurley
%T Optimal query processing for distributed database systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 9
%D September 1982
%P 835-850

%A Martin C. Wei
%A Howard A. Sholl
%T An expression model
for extraction and evaluation of parallelism in control structures
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 9
%D September 1982
%P 851-863

%A Dhiraj K. Pradhan
%A Sufhakar M. Reddy
%T A fault-tolerant communication architecture for distributed systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 9
%D September 1982
%P 863-870

%A Hung Chi Lai
%A Saburo Muroga
%T Logic networks of carry-save adders
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 9
%D September 1982
%P 870-882

%A Martin de\ Prycker
%T On the development of measurement system
for high level language program statistics
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 9
%D September 1982
%P 883-891

%A Thomas A. Ottmann
%A Arnold L. Rosenberg
%A Larry J. Stockmeyer
%T A dictionary machine (for VLSI)
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 9
%D September 1982
%P 892-897

%A Chuan-Lin Wu
%A Tse-Yun Feng
%A Min-Chang Lin
%T Star: a local network system for real-time management of imagery data
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 10
%D October 1982
%P 923-933

%A Michael R. Warpenburg
%A Leah J. Siegel
%T SIMD image resampling
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 10
%D October 1982
%P 934-942

%A Todd Kushner
%A Angela Y. Wu
%A Azriel Rosenfeld
%T Image processing on ZMOB
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 10
%D October 1982
%P 943-951

%A Dharma P. Agrawal
%A Ramesh Jain
%T A pipelined pseudoparallel system architecture
for real-time dynamic scene analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 10
%D October 1982
%P 952-962

%A Wesley E. Snyder
%A Carla D. Savage
%T Content-addressable read/write memories for image analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 10
%D October 1982
%P 963-968

%A Faye A. Briggs
%A King-Sun Fu
%A Kai Hwang
%A Benjamin W. Wah
%T PUMPS architecture
for pattern analysis and image database management
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 10
%D October 1982
%P 969-983

%A Kazunori Yamaguchi
%A Tosiyasu L. Kunii
%T PICCOLO logic for a picture database computer and its implementation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 10
%D October 1982
%P 983-996

%A Ming T. Liu
%A Jerome Rothestein
%T Parallel and distributed processing
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 11
%D November 1982
%P 1033-1035

%A Richard E. Buehrer
%A Hans-Joerg Brundiers
%A Hans Benz
%A Bernard Bron
%A Hansmartin Friess
%A Walter Haelg
%A Hans Juergen Halin
%A Anders Isacson
%A Milan Tadian
%T The TEH-multiprocessor EMPRESS:
a dynamically configurable MIMD system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 11
%D November 1982
%P 1035-1044

%A Kang G. Shin
%A Yann-Hang Lee
%A J. Sasidhar
%T Design of HM^2p -
a hierarchical multimicroprocessor for general-purpose applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 11
%D November 1982
%P 1045-1053

%A Sun-Yuan Kung
%A K.S. Arun
%A Ron J. Gal-Ezer
%A D.V. Bhaskar Rao
%T Wavefront array processor: language, architecture, and applications
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 11
%D November 1982
%P 1054-1067

%A Keki B. Irani
%A Kuo-Wei Chen
%T Minimization of interprocessor communication
for parallel computation
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 11
%D November 1982
%P 1067-1075

%A Robert K. Montoye
%A Duncan H. Lawrie
%T A practical algorithm for the solution of triangular systems
on a parallel processing system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 11
%D November 1982
%P 1076-1082

%A Michel Dubois
%A Faye A. Briggs
%T Effects of cache coherency in multiprocessors
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 11
%D November 1982
%P 1083-1099

%A Philip Heidelberger
%A Kishor S. Trivedi
%T Queueing network models
for parallel processing with asynchronous tasks
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 11
%D November 1982
%P 1099-1109

%A Lee A. Hollaar
%T Direct implementation of asynchronous control units
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 12
%D December 1982
%P 1133-1141

%A Takanobu Baba
%A Ken Ishikawa
%A Kenzo Okuda
%T A two-level microprogrammed multiprocessor computer
with nonnumeric functions
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 12
%D December 1982
%P 1142-1156

%A Erol Gelenbe
%A Alain Lichnewsky
%A Andreas Staphylopatis
%T Experience with the parallel solution
of partial differential equations on a distributed computing system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 12
%D December 1982
%P 1157-1164

%A Miron Abramovici
%A Melvin A. Breuer
%T Fault diagnosis in synchronous sequential circuits
based on an effect-cause analysis
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 12
%D December 1982
%P 1165-1172

%A Shinji Nakamura
%A Gerald M. Masson
%T Lower bounds on crosspoints in concentrators
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 12
%D December 1982
%P 1173-1179

%A Marco Ajmone Marsan
%A Gianfranco Balbo
%A Gianni Conte
%T Comparative performance analysis
of single bus multiprocessor architectures
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 12
%D December 1982
%P 1179-1191

%A Hiroto Yasuura
%A Naofumi Takagi
%A Shuzo Yajima
%T The parallel enumeration sorting scheme for VLSI
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 12
%D December 1982
%P 1192-1201

%A Robert J. McMillen
%A Howard Jay Siegel
%T Routing schemes for the augmented data manipulator network
in an MIMD system
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 12
%D December 1982
%P 1202-1214

%A Kai Hwang
%A Yeng-Heng Cheng
%T Partitioned matrix algorithms for VLSI arithmetic systems
%J IEEE Transactions on Computers
%K ieee_tc
%V C-31
%N 12
%D December 1982
%P 1215-1224