Volume 25, Number 1, January 1976

• 
  Stephen Williams, Ivor R. Smith: SCR Bridge Convertor Computation Using Tensor Methods. 1-6
• 
  Arnold K. Griffith: Empirical Exploration of the Performance of the Alpha Beta Tree-Searching Heuristic. 6-11
• 
  Chia-Hsiaing Sung: Testable Sequential Cellular Arrays. 11-18
• 
  Jeffrey H. Hoel: Some Variations of Lee's Algorithm. 19-24
• 
  L. C. Higbie: Vector Floating-Point Data Format. 25-32
• 
  Yoram Koren: Interpolator for a Computer Numerical Control System. 32-37
• 
  Harold Warner, Charles L. Bell, Duane M. Rumbaugh, Timothy V. Gill: Computer-Controlled Teaching Instrumentation for Linguistic Studies with the Great Apes. 38-43
• 
  Melvin A. Breuer, Shih-Jeh Chang, Stephen Y. H. Su: Identification of Multiple Stuck-Type Faults in Combinational Networks. 44-54
• 
  Tomás Lang, Harold S. Stone: A Shuffle-Exchange Network with Simplified Control. 55-65
• 
  H. K. Ramapriyan: A Multilevel Approach to Sequential Detection of Pictorial Features. 66-78
• 
  Boonsieng Benjauthrit, Irving S. Reed: Galois Switching Functions and Their Applications. 78-86

• 
  Fabrizio Luccio, Linda Pagli: On the Height of Height-Balanced Trees. 87-91
• 
  Eugene D. Denman: An Additional Algorithm for a System of Coupled Algebraic Matrix Riccati Equations. 91-93
• 
  George K. Papakonstantinou: Cascade Transformation. 93-95
• 
  J. Roger Jagoe, Keith A. Paton: Measurement of Pneumoconiosis by Computer. 95-97
• 
  V. V. Bapeswara Rao, V. K. Aatre: Reliability Index of Teleprocessing Tree Networks. 97-98
• 
  Fanya S. Montalvo, Caxton C. Foster: An Algorithm for Intercell Communication in a Tesselated Automaton. 99-102
• 
  Eduard Cerny: Comments on ``Equational Logic''. 102-103
• 
  Frank Rubin: Generation of Nonparametric Curves. 103
• 
  Karl Belser: Comment on ``An Improved Algorithm for the Generation of Nonparametric Curves''. 103
• 
  J. Ramot: Nonparametric Curves. 103-104

Volume 25, Number 2, February 1976

• 
  Vinot K. Malhotra, Robert D. Fisher: A Double Error-Correction Scheme for Peripheral Systems. 105-115
• 
  Ashok D. Ingle, Daniel P. Siewiorek: A Reliability Model for Various Switch Designs in Hybrid Redundancy. 115-133
• 
  Miroslav Pechoucek: Anomalous Response Times of Input Synchronizers. 133-139
• 
  Harry C. Andrews, Claude L. Patterson III: Outer Product Expansions and Their Uses in Digital Image Processing. 140-148
• 
  Carl H. Smith, Larry D. Wittie: Memory Hardware for High Speed Job Selection. 148-156
• 
  C. K. Chow: Determination of Cache's Capacity and its Matching Storage Hierarchy. 157-164
• 
  Gerard V. Trunk: Statistical Estimation of the Intrinsic Dimensionality of a Noisy Signal Collection. 165-171
• 
  Teruo Okuda, Eiichi Tanaka, Tamotsu Kasai: A Method for the Correction of Garbled Words Based on the Levenshtein Metric. 172-178
• 
  Chris E. van Haersma Buma, Robert P. W. Duin: Computation of Concave Piecewise Linear Discriminant Functions Using Chebyshev Polynomials. 178-186
• 
  Jack Sklansky, Luigi P. Cordella, Stefano Levialdi: Parallel Detection of Concavities in Cellular Blobs. 187-196

• 
  Harry C. Andrews, Claude L. Patterson III: Digital Interpolation of Discrete Images. 196-202
• 
  Chao-Chih Yang, Marilyn A. Tarpy: An Algorithm for Deriving All Pairs of Compatible States by Closure Classes. 202-207
• 
  Ying W. Ng, Algirdas Avizienis: Comments on ``Fault Folding for Irredundant and Redundant Combinational Circuits''. 207

Volume 25, Number 3, March 1976

• 
  James W. Bowra, Hwa C. Torng: The Modeling and Design of Multiple Function-Unit Processors. 210-221
• 
  N. B. Rabbat, S. Q. A. M. A. Hossain, W. D. Ryan: Improved Simulation of Pulse Propagation Between Digital Circuits. 221-228, (Correction: IEEE Transactions on Computers 25(10): 1056 (1976))
• 
  Shachindra N. Maheshwari, S. Louis Hakimi: On Models for Diagnosable Systems and Probabilistic Fault Diagnosis. 228-236
• 
  Thurman A. Irving Jr., Sajjan G. Shiva, H. Troy Nagle Jr.: Flip-Flops for Multiple-Valued Logic. 237-246
• 
  Kozo Kinoshita, Tsutomu Sasao, Jun Matsuda: On Magnetic Bubble Logic Circuits. 247-253
• 
  C. K. Wong, Don Coppersmith: The Generation of Permutations in Magnetic Bubble Memories. 254-262
• 
  Bijan Moayer, King-Sun Fu: A Tree System Approach for Fingerprint Pattern Recognition. 262-274
• 
  Richard A. Thompson: Language Correction Using Probabilistic Grammars. 275-286
• 
  Patrick C. Yip: Some Aspects of the Zoom Transform. 287-296

• 
  José L. Huertas, J. I. Acha: Self-Synchronization of Asynchronous Sequential Circutis Employing a General Clock Function. 297-300
• 
  Frank B. Manning, Robert Fenichel: Synchronous Counters Constructed Entirely of J-K Flip-Flops. 300-306
• 
  Philip S. Noe, V. Thomas Rhyne: Optimum State Assignment for the D Flip-Flop. 306-311
• 
  Edgar DuCasse, Gernot Metze: Rebuttal to the Authors' Reply to our Comments on ``The Relationship Between Multivalued Switching Algebra and Boolean Algebra Under Different Definitions of Complement.''. 311-312

Volume 25, Number 4, April 1976

• 
  Alistair D. C. Holden: Trends in Artificial Intelligence. 313-316
• 
  George W. Ernst: A Definition-Driven Theorem Prover. 317-322
• 
  David Gelperin: A Resolution-Based Proof Procedure Using Deletion-Directed Search. 323-327
• 
  Raymond Reiter: A Semantically Guided Deductive System for Automatic Theorem Proving. 328-334
• 
  Donald W. Loveland, Mark E. Stickel: A Hole in Goal Trees: Some Guidance from Resolution Theory. 335-341
• 
  Erik Sandewall: Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs. 342-346
• 
  Daniel G. Bobrow, Ben Wegbreit: A Model for Control Structures for Artificial Intelligence Programming Languages. 347-353
• 
  Warren Teitelman: Clisp: Conversational Lisp. 354-357
• 
  Kenneth Biss, Robert T. Chien, Fred A. Stahl, Steven J. Weissman: Semantic Modeling for Deductive Question-Answering. 358-366
• 
  Robert C. Moore: D-Script: A Computational Theory of Descriptions. 366-373
• 
  Aravind K. Joshi, Ralph M. Weischedel: Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions. 374-389
• 
  Chitoor V. Srinivasan: The Architecture of Coherent Information System: A General Problem Solving System. 390-402
• 
  Donald A. Waterman, Allen Newell: PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System. 402-413
• 
  Lee D. Erman, Richard D. Fennell, Victor R. Lesser, Raj Reddy: System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architectures for AI. 414-421
• 
  Raj Reddy, Lee D. Erman, Richard D. Fennell, Richard B. Neely: The Hearsay- I Speech Understanding System: An Example of the Recognition Process. 422-431
• 
  Donald E. Walker: Speech Understanding Through Syntactic and Semantic Analysis. 432-439
• 
  Gerald J. Agin, Thomas O. Binford: Computer Description of Curved Objects. 439-449
• 
  Frank O'Gorman, M. B. Clowes: Finding Picture Edges Through Collinearity of Feature Points. 449-456

Volume 25, Number 5, May 1976

• 
  Frank Neuman, Robert B. Merrick: Autocorrelation Peaks in Congruential Pseudorandom Number Generators. 457-460
• 
  Frank Neuman, Clyde F. Martin: The Autocorrelation Structure of Tausworthe Pseudorandom Number Generators. 460-464
• 
  Shalhav Zohar: Rounding and Truncation in Radix (-2) Systems. 464-469
• 
  Steven I. Kartashev: A Microcomputer with a Shift-Register Memory. 470-484
• 
  C. V. Ramamoorthy, Thomas F. Fox, Hon Fung Li: Scheduling Parallel Processable Tasks for a Uniprocessor. 485-495, (Correction: IEEE Transactions on Computers 27(3): 288 (1978))
• 
  Tomás Lang: Interconnections Between Processors and Memory Modules Using the Shuffle-Exchange Network. 496-503
• 
  Dana H. Ballard, Jack Sklansky: A Ladder-Structured Decision Tree for Recognizing Tumors in Chest Radiographs. 503-513
• 
  Totadri Jayasri, Dhruba Basu: An Approach to Organizing Microinstructions which Minimizes the Width of Control Store Words. 514-521
• 
  Ming-Lei Liou: Spline Fit Made Easy. 522-527
• 
  Sergiu Rudeanu: Square Roots and Functional Decompositions of Boolean Functions. 528-532

• 
  Ed Luczak, Azriel Rosenfeld: Distance on Hesagonal Grid. 532-533
• 
  R. J. Polge, B. K. Bhagavan: Efficient Fast Fourier Transform Programs for Arbitrary Factors with One Step Loop Unscrambling. 534-539
• 
  Roger W. Ehrich: A Readily Computable Decision Rule with Variable Dimensionality. 539-542
• 
  H. C. Ratz: Matrix Transformations for N-Tuple Analysis of Binary Patterns. 542-546
• 
  Lakshmi N. Goyal: A Note on Atrubin's Real-Time Iterative Multiplier. 546-548
• 
  Franco P. Preparata, David E. Muller: Efficient Parallel Evaluation of Boolean Expression. 548-549
• 
  Dharma P. Agrawal: Signed Modified Reflected Binary Code. 549-552

Volume 25, Number 6, June 1976

• 
  William C. Carter, Charles E. McCarthy: Implementation of an Experimental Fault-Tolerant Memory System. 557-568
• 
  Jacques Losq: A Highly Efficient Redundancy Scheme: Self-Purging Redundancy. 569-578
• 
  John F. Meyer: Computation-Based Reliability Analysis. 578-584
• 
  Ferruccio Barsi, Fabrizio Grandoni, Piero Maestrini: A Theory of Diagnosability of Digital Systems. 585-593
• 
  Ramachendra P. Batni, Charles R. Kime: A Module-Level Testing Approach for Combinational Networks. 594-604
• 
  Francisco J. O. Dias: Truth-Table Verification of an Iterative Logic Array. 605-613
• 
  John P. Hayes: Transition Count Testing of Combinational Logic Circuits. 613-620
• 
  Sheldon B. Akers Jr.: A Logic System for Fault Test Generation. 620-630
• 
  Peter Muth: A Nine-Valued Circuit Model for Test Generation. 630-636

• 
  Henry Y. H. Chuang: Fail-Safe Asynchronous Machines with Multiple-Input Changes. 637-642
• 
  P. Prusinkiewicz, S. Budkowski: A Double Track Error-Correction Code for Magnetic Tape. 642-645
• 
  Chantal Robach, Gabriele Saucier, J. Lebrun: Processor Testability and Design Consequences. 645-652
• 
  Claudine Turcat, André Verdillon: Recursion and Testing of Combinational Circuits. 652-659
• 
  René David, Gérard Blanchet: About Random Fault Detection of Combinational Networks. 659-664
• 
  Prathima Agrawal, Vishwani D. Agrawal: On Monte Carlo Testing of Logic Tree Networks. 664-667

Volume 25, Number 7, July 1976

• 
  Lawrence Yelowitz, Abraham Kandel: New Results and Techniques in Resolution Theory. 673-677
• 
  Kazue Sugino, Yasuyoshi Inagaki, Teruo Fukumura: A Note on the Linear Space Automata Stability Problem. 678-683
• 
  Theodore F. Tabloski, Frederic J. Mowle: A Numerical Expansion Technique and Its Application to Minimal Multiplexer Logic Circuits. 684-702
• 
  Joseph J. Capowski: The Matrix Transform Processor. 703-712
• 
  Parker R. Blevins, C. V. Ramamoorthy: Aspects of a Dynamically Adaptive Operating System. 713-725
• 
  Roger W. Ehrich, Jörgen P. Foith: Representation of Random Waveforms by Relational Trees. 725-736
• 
  Oleg I. Aven, Leonid B. Boguslavsky, Yakov A. Kogan: Some Results on Distribution-Free Analysis of Paging Algorithms. 737-745
• 
  Charles R. Baugh, Bruce A. Wooley: Statistical Analysis of a Differential Threshold Logic Circuit Configuration. 745-754

• 
  Ming-Duenn Ni, J. K. Aggarwal: Error Analysis of Two-Dimensional Recursive Digital Filters Employing Floating-Point Arithmetic. 755-759
• 
  J. I. Acha, José L. Huertas: On Input and Next-State Equations of the R-S Type M-Stable. 759-763
• 
  Marc L. Joliat: A Simple-Technique for Partial Elimination of Unit Productions from LR (k) Parsers. 763-764
• 
  Robert M. Harlick: A Storage Efficient Way to Implement the Discrete Cosine Transform. 764-767
• 
  C. K. Yuen: Comments on `` The Application of the Rademacher-Walsh Transform to Boolean Function Classification and Threshold Logic Synthesis''. 766-767
• 
  C. R. Edwards: Author's Reply. 767
• 
  C. V. S. Rao, Nripendra N. Biswas: Further Comments on ``Closure Partition Method for Minimizing Incomplete Sequential Machines. 767-768

Volume 25, Number 8, August 1976

• 
  Lawrence J. Henschen: Introduction: Tutorial on Resolution. 769-772
• 
  John D. McCharen, Ross A. Overbeek, Larry Wos: Problems and Experiments for and with Automated Theorem-Proving Programs. 773-782
• 
  Gerald A. Wilson, Jack Minker: Resolution, Refinements, and Search Strategies: A Comparative Study. 782-801
• 
  Peter B. Andrews: Refutations by Matings. 801-807
• 
  Daniel H. Fishman: A Problem-Oriented Search Procedure for Theorem Proving. 807-815
• 
  Lawrence J. Henschen: Semantic Resolution for Horn Sets. 816-822
• 
  Sharon Sickel: A Search Technique for Clause Interconnectivity Graphs. 823-835
• 
  Steven K. Winker: An Evaluation of an Implementation of Qualified Hyperresolution. 835-843
• 
  George W. Ernst, Raymond J. Hookway: The Use of Higher Order Logic in Program Verification. 844-851
• 
  Charles G. Morgan: Methods for Automated Theorem Proving in Nonclassical Logics. 852-862

Volume 25, Number 9, September 1976

• 
  Samuel C. Lee: Vector Boolean Algebra and Calculus. 865-874
• 
  John P. Hayes: A Graph Model for Fault-Tolerant Computing Systems. 875-884
• 
  John P. Hayes: On the Properties of Irredundant Logic Networks. 884-892
• 
  Saburo Muroga, Hung Chi Lai: Minimization of Logic Networks Under a Generalized Cost Function. 893-907
• 
  Alan Jay Smith: A Modified Working Set Paging Algorithm. 907-914
• 
  Kishor S. Trivedi: Prepaging and Applications to Array Algorithms. 915-921
• 
  Judea Pearl: Memory Versus Error Characteristics for Inexact Representations of Linear Orders. 922-928
• 
  Samuel E. Orcutt: Implementation of Permutation Functions in Illiac IV-Type Computers. 929-936
• 
  Warren L. G. Koontz, Patrenahalli M. Narendra, Keinosuke Fukunaga: A Graph-Theoretic Approach to Nonparametric Cluster Analysis. 936-944
• 
  Dhiraj K. Pradhan, Sudhakar M. Reddy: Techniques to Construct (2, 1) Separating Systems from Linear Error-Correcting Codes. 945-949

• 
  R. E. Twogood, M. P. Ekstrom: An Extension of Eklundh's Matrix Transposition Algorithm and Its Application in Digital Image Processing. 950-952
• 
  Mohamed I. Elmasry: Logic Design Using EFL Structures. 952-956
• 
  Totadri Jayashree, Dhruba Basu: On Binary Multiplication Using the Quarter Square Algorithm. 957-960

Volume 25, Number 10, October 1976

• 
  Tilak Agerwala: Microprogram Optimization: A Survey. 962-973
• 
  David A. Patterson: Strum: Structured Microprogram Development System for Correct Firmware. 974-985
• 
  Subrata Dasgupta, John Tartar: The Identification of Maximal Parallelism in Straight-Line Microprograms. 986-992
• 
  Masahiro Tsuchiya, Mario J. Gonzalez: Toward Optimization of Horizontal Microprograms. 992-999
• 
  Samuel H. Fuller, Victor R. Lesser, Gordon Bell, Charles H. Kaman: The Effects of Emerging Technology and Emulation Requirements on Microprogramming. 1000-1009
• 
  David A. Huffman: Curvature and Creases: A Primer on Paper. 1010-1019
• 
  David B. Cooper, Nese Yalabik: On the Computational Cost of Approximating and Recognizing Noise-Perturbed Straight Lines and Quadratic Arcs in the Plane. 1020-1032
• 
  H. Allen Curtis: Simplified Decomposition of Boolean Functions. 1033-1044

• 
  Peter B. Worland: Parallel Methods for the Numerical Solution of Ordinary Differential Equations. 1045-1048
• 
  Shalhav Zohar: A Realization of the RAM Digital Filter. 1048-1053
• 
  S. R. Das, C. R. Datta, Pradip K. Srimani, K. Mandal: Comments on ``Derivation of Minimal Complete Sets of Test-Input Sequences Using Boolean Differences''. 1053-1056
• 
  Peter N. Marinos: Author's Reply. 1056

Volume 25, Number 11, November 1976

• 
  Stephen S. Yau, Jackson Chung: On the Design of Modulo Arithmetic Units Based on Cyclic Groups. 1057-1067
• 
  K. Vairavan, Richard A. DeMillo: On the Computational Complexity of a Generalized Scheduling Problem. 1967-1073
• 
  Geoff Hannington, Donald G. Whitehead: A Floating-Point Multiplexed DDA System. 1074-1077
• 
  F. Gail Gray, John F. Meyer: Algebraic Properties of Functions Affecting Optimum Fault-Tolerant Realizations. 1078-1088
• 
  Barry K. Gilbert, Martin T. Storma, Carl E. James, Leon W. Hobrock, Edward S. Yang, Keith C. Ballard, Earl H. Wood: A Real-Time Hardware System for Digital Processing of Wide-Band Video Images. 1089-1100
• 
  Barry K. Gilbert, Martin T. Storma, Keith C. Ballard, Leon W. Hobrock, Carl E. James, Earl H. Wood: A Programmable Dynamic Memory Allocation System for Input/Output of Digital Data into Standard Computer Memories at 40 Megasamples/s. 1101-1109
• 
  Riichiro Mizoguchi, Masamichi Shimura: Nonparametric Learning Without a Teacher Based on Mode Estimation. 1109-1117
• 
  Der-Tsai Lee, Se June Hong: An Algorithm for Transformation of an Arbitrary Switching Function to a Completely Symmetric Function. 1117-1123

• 
  Abraham Kandel: On the Decomposition of Fuzzy Functions. 1124-1130
• 
  D. Fraley, J. Talavage: A Realization Algorithm for Multiple Preset Experiments. 1130-1132
• 
  Jayanti C. Majithia: Some Comments Concerning Design of Pipeline Arithmetic Arrays. 1132-1134
• 
  P. W. Baker: Suggestion for a Fast Binary Sine/Cosine Generator. 1134-1136
• 
  Ryuzo Takiyama: A Relationship Between Two Types of Two-Layer Threshold-Element Pattern-Recognition Networks. 1136-1139
• 
  Jon T. Butler: Restricted Cellular Networks. 1139-1142
• 
  Bernard J. Fino, V. Ralph Algazi: Unified Matrix Treatment of the Fast Walsh-Hadamard Transform. 1142-1146
• 
  E. A. Parrish Jr., Eugene S. McVey: Implications of Charge-Coupled Devices for Pattern Recognition. 1146-1152
• 
  Meir Mor: On the Three-Valued Simulation of Digital Systems. 1152-1156
• 
  R. M. M. Oberman: The J-K Gate. 1156-1159
• 
  Y. Zisapel: A Simplified General Method for Static Hazard Detection. 1160-1164
• 
  Martin Charles Golumbic: Combinatorial Merging. 1164-1167
• 
  Shunichi Toida: System Diagnosis and Redundant Tests. 1167-1170
• 
  Ramakant Nevatia: Locating Object Boundaries in Textured Environments. 1170-1175
• 
  Robert P. W. Duin: On the Choice of Smoothing Parameters for Parzen Estimators of Probability Density Functions. 1175-1179
• 
  Graziano Frosini, Giovanni B. Gerace: Synchronous and Asynchronous Procedures for the Synthesis of Master-Slave Circuits. 1179-1184
• 
  M. Ikram, Donald A. Roy: A Simple Technique to Improve the Pi-Algorithm for Prime Implicant Determination. 1184-1187

Volume 25, Number 12, December 1976

• 
  Harry D. Huskey, Velma R. Huskey: Chronology of Computing Devices. 1190-1199
• 
  C. V. Ramamoorthy: Computer Science and Engineering Education. 1200-1206
• 
  Peter Wegner: Programming Languages - The First 25 Years. 1207-1225
• 
  Barry W. Boehm: Software Engineering. 1226-1241
• 
  Stephen A. Szygenda, Edward W. Thompson: Modeling and Digital Simulation for Design Verification and Diagnosis. 1242-1253
• 
  Richard I. Baum, David K. Hsiao: Database Computers - A Step Towards Data Utilities. 1254-1259
• 
  David Nitzan, Charles A. Rosen: Programmable Industrial Automation. 1259-1270
• 
  Jean-Loup Baer: Multiprocessing Systems. 1271-1277
• 
  Harvey L. Garner: A Survey of Some Recent Contributions to Computer Arithmetic. 1277-1282
• 
  Albert S. Hoagland: Magnetic Recording Storage. 1283-1288
• 
  Robert A. Henle, Irving T. Ho, William S. Johnson, W. David Pricer, James L. Walsh: The Application of Transistor Technology to Computers. 1289-1303
• 
  Algirdas Avizienis: Fault-Tolerant Systems. 1304-1312
• 
  Granino A. Korn, Robert Vichnevetsky: Analog/Hybrid Computation and Digital Simulation. 1312-1320
• 
  William M. Newman: Trends in Graphic Display Design. 1321-1325
• 
  Leonard Kleinrock: On Communications and Networks. 1326-1335
• 
  King-sun Fu, Azriel Rosenfeld: Pattern Recognition and Image Processing. 1336-1346
• 
  Michael A. Arbib: Artificial Intelligence: Cooperative Computation and Man-Machine Symbiosis. 1346-1352
• 
  Rein Turn, Willis H. Ware: Privacy and Security Issues in Information Systems. 1353-1361

last updated on Sat May 18 06:39:44 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page