default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Computers, Volume 25
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 - Hampapuram 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, William D. Ryan:
Improved Simulation of Pulse Propagation Between Digital Circuits. 221-228 - 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, José 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 - 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 - Robert 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, Stanislaw 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 - José 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 - Colin 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. IEEE Trans. Computers 25(9): 945-949 (1976)
- Richard E. Twogood, Michael 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, Joseph J. Talavage:
A Realization Algorithm for Multiple Preset Experiments. 1130-1132 - Jayanti C. Majithia:
Some Comments Concerning Design of Pipeline Arithmetic Arrays. 1132-1134 - Paul 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 - Richard 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
