Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Computers, Volume 35
Volume 35, Number 1, January 1986
- Dan I. Moldovan, José A. B. Fortes:
Partitioning and Mapping Algorithms into Fixed Size Systolic Arrays. 1-12 - Anastasios Vergis, Kenneth Steiglitz:
Testability Conditions for Bilateral Arrays of Combinational Cells. 13-22 - Iiro Hartimo, Klaus Kronlöf, Olli Simula, Jorma Skyttä:
DFSP: A Data Flow Signal Processor. 23-33 - Avinoam Bilgory, Daniel Gajski:
A Heuristic for Suffix Solutions. 34-42 - David Lee Tuomenoksa, Howard Jay Siegel:
Determining an Optimal Secondary Storage Service Rate for the PASM Control System. 43-53 - Peter G. Harrison
:
An Enhanced Approximation by Pair-Wise Analysis of Servers for Time Delay Distributions in Queueing Networks. 54-61
- Alok Aggarwal:
Optimal Bounds for Finding Maximum on Array of Processors with k Global Buses. 62-64 - Jacob Savir:
The Bidirectional Double Latch (BDDL). 65-66 - J. Calvo, José I. Acha, Manuel Valencia-Barrero:
Asynchronous Modular Arbiter. 67-70 - Füsun Özgüner:
Deductive Fault Simulation of Internal Faults of Inverter-Free Circuits and Programmable Logic Arrays. 70-73 - Michael Journeau:
A Note on the Restricted Range Cutting Algorithm. 73 - Concettina Guerra:
Systolic Algorithms for Local Operations on Images. 73-77 - Louise Trevillyan, William H. Joyner Jr., C. Leonard Berman:
Global Flow Analysis in Automatic Logic Design. 77-81 - Janusz Rajski, Jerzy Tyszer:
The Influence of Masking Phenomenon on Coverage Capability of Single Fault Test Sets in PLA's. 81-85 - Bhargab B. Bhattacharya, Bidyut Gupta:
On the Impossible Class of Faulty Functions in Logic Networks Under Short Circuit Faults. 85-90 - Abhijit Sengupta, Arunabha Sen, Subir Bandyopadhyay:
On System Diagnosability in the Presence of Hybrid Faults. 90-93 - Israel Koren:
Comments on "The Diogenes Approach to Testable Fault-Tolerant Arrays of Processors". 93-94
Volume 35, Number 2, February 1986
- David A. Rich:
A Survey of Multivalued Memories. 99-106 - John P. Hayes:
Uncertainty, Energy, and Multiple-Valued Logics. 107-114 - Akira Maruoka:
Complexity Based on Partitioning of Boolean Circuits and Their Relation to Multivalued Circuits. 115-123 - Mostafa I. H. Abd-El-Barr, Safwat G. Zaky, Zvonko G. Vranesic:
Synthesis of Multivalued Multithreshold Functions for CCD Implementation. 124-133 - Philipp W. Besslich:
Heuristic Minimization of MVL Functions: A Direct Cover Approach. 134-144 - Terrance L. Huntsberger, Chandraleka Rangarajan, Sadali N. Jayaramamurthy:
Representation of Uncertainty in Computer Vision Using Fuzzy Sets. 145-156
- James L. Mangin, K. Wayne Current:
Characteristics of Prototype CMOS Quaternary Logic Encoder-Decoder Circuits. 157-161 - Takeshi Yamakawa, Tsutomu Miki:
The Current Mode Fuzzy Logic Integrated Circuits Fabricated by the Standard CMOS Process. 161-167 - Mou Hu, Kenneth C. Smith:
Ternary Scan Design for VLSI Testability. 167-170 - Abhijit Sengupta, Arunabha Sen:
On the Diagnosability of a General Model of System with Three-Valued Test Outcomes. 170-173 - Corina Reischer, Dan A. Simovici:
Iteration Properties of Multivalued Switching Functions. 173-178 - Masao Mukaidono:
Regular Ternary Logic Functions - Ternary Logic Functions Suitable for Treating Ambiguity. 179-183 - Claudio Moraga:
Design of a Multiple-Valued Systolic System for the Computation of the Chrestenson Spectrum. 183-188
Volume 35, Number 3, March 1986
- I. V. Ramakrishnan, Donald S. Fussell, Abraham Silberschatz:
Mapping Homogeneous Graphs on Linear Arrays. 189-209 - Rina Dechter, Leonard Kleinrock:
Broadcast Communications and Distributed Algorithms. 210-219 - Donald F. Towsley:
Approximate Models of Multiple Bus Multiprocessor Systems. 220-228 - Lalit M. Patnaik, R. Govindarajan, N. S. Ramadoss:
Design and Performance Evaluation of EXMAN: An EXtended MANchester Data Flow Computer. 229-244 - François Baccelli, Philippe Mussi:
An Asynchronous Parallel Interpreter for Arithmetic Expressions and Its Evaluation. 245-256 - Svetlana P. Kartashev, Steven I. Kartashev:
Data Exchange Optimization in Reconfigurable Binary Trees. 257-273
- Daniel Brand:
Detecting Sneak Paths in Transistor Networks. 274-278 - C. V. Ramamoorthy, Y. W. Eva Ma:
Optimal Recopnfiguration Strategies for Reconfigurable Computer Systems with no Repair. 278-280 - Sumanta Guha, Arunabha Sen:
On Fault-Tolerant Distributor Communication Architecure. 281-283 - Liam M. Casey:
Comments on "The Design of a Reliable Remote Procedure Call Mechanism". 283-284
Volume 35, Number 4, April 1986
- David J. Taylor, Carl-Johan H. Seger:
Robust Storage Structures for Crash Recovery. 288-295 - Prithviraj Banerjee, Jacob A. Abraham:
Bounds on Algorithm-Based Fault Tolerance in Multiple Processor Systems. 296-306 - Cauligi S. Raghavendra, Anujan Varma:
Fault-Tolerant Multiprocessors with Redundant-Path Interconnection Networks. 307-316 - Nirmal R. Saxena, John P. Robinson:
Accumulator Compression Testing. 317-321 - Edmundo de Souza e Silva, H. Richard Gail:
Calculating Cumulative Operational Time Distributions of Rpairable Computer Systems. 302-332 - Mark Smotherman, Robert Geist, Kishor S. Trivedi:
Provably Conservative Approximations to Complex Reliability Models. 333-338 - Thijs Krol:
(N, K) Concept Fault Tolerance. 339-349
- Bella Bose:
Burst Unidirectional Error-Detecting Codes. 350-353 - Anton T. Dahbura:
An Efficient Algorithm for Identifying the Most Likely Fault Set in a Probabilistically Diagnosable System. 354-356 - A. S. Mahmudul Hassan, Vinod K. Agarwal:
A Fault-Tolerant Modular Architecture for Binary Trees. 356-361 - Magdy S. Abadir, Melvin A. Breuer:
Test Schedules for VLSI Circuits Having Built-In Test Hardware. 361-367 - Laung-Terng Wang, Edward J. McCluskey:
Condensed Linear Feedback Shift Register (LFSR) Testing - A Pseudoexhaustive Test Technique. 367-370 - Kang G. Shin, Yann-Hang Lee:
Measurement and Application of Fault Latency. 370-375 - Magdy S. Abadir, Hassan K. Reghbati:
Functional Test Generation for Digital Circuits Described Using Binary Decision Diagrams. 375-379 - Saied Bozorgui-Nesbat, Edward J. McCluskey:
Lower Overhead Design for Testability of Programmable Logic Arrays. 379-383 - Kewal K. Saluja, Ramaswami Dandapani:
An Alternative to Scan Design Methods for Sequential Machines. 384-388
Volume 35, Number 5, May 1986
- Jacek Blazewicz, Mieczyslaw Drabowski, Jan Weglarz:
Scheduling Multiprocessor Tasks to Minimize Schedule Length. 389-393 - Dimitris Nikolos, Nikolaos Gaitanis, George Philokyprou:
Systematic t-Error Correcting/All Unidirectional Error Detecting Codes. 394-402 - Jeffrey Scott Vitter, Roger A. Simons:
New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P. 403-418 - Edmundo de Souza e Silva, Stephen S. Lavenberg, Richard R. Muntz:
A Clustering Approximation Technique for Queueing Network Models with a Large Number of Chains. 419-430 - H. V. Jagadish, Robert G. Mathews, Thomas Kailath, John A. Newkirk:
A Study of Pipelining in Computing Arrays. 431-440 - Ivor P. Page, Jeff Hagins:
Improving the Performance of Buddy Systems. 441-447 - C. Mani Krishna, Kang G. Shin:
On Scheduling Tasks with a Quick Recovery from Failure. 448-455 - Wayne A. Davis, De-Lei Lee:
Fas Search Algorithms for Associative Memories. 456-461 - Vijaya Ramachandran:
Algorithmic Aspects of MOS VLSI Switch-Level Simulation with Race Detection. 462-475
- J. Paul Roth:
Minimization by the D Algorithm. 476-478 - J. J. Thomas, James M. Keller, G. N. Larsen:
The Calculation of Multiplicative Inverses Over GF(P) Efficiently Where P is a Mersenne Prime. 478-482 - Hongyuan Wang, Samuel C. Lee:
Comments on "Sign/Logarithm Arithmetic for FFT Implementation''. 482-484
Volume 35, Number 6, June 1986
- Jean-Luc Gaudiot:
Structure Handling in Data-Flow Systems. 489-502 - Che-Liang Yang, Gerald M. Masson:
A Fault Identification Algorithm for ti-Diagnosable Systems. 503-510 - Ravishankar K. Iyer, David J. Rossetti:
A Measurement-Based Model for Workload Dependence of CPU Errors. 511-519 - Walid A. Abu-Sufah, Harlan E. Husmann, David J. Kuck:
On Input/Output Speedup in Tightly Coupled Multiprocessors. 520-530 - Oscar H. Ibarra, Sam M. Kim, Michael A. Palis:
Designing Systolic Algorithms Using Sequential Machines. 531-542 - Teofilo F. Gonzalez, Sing-Ling Lee:
Routing Multiterminal Nets Around a Rectangle. 543-549 - Yahiko Kambayashi, Saburo Muroga:
Properties of Wired Logic. 550-563
- Timothy C. K. Chou, Jacob A. Abraham:
Distributed Control of Computer Systems. 564-567 - Guo-Jie Li, Benjamin W. Wah:
Coping with Anomalies in Parallel Branch-and-Bound Algorithms. 568-573 - Manoj Kumar, J. Robert Jump:
Performance of Unbuffered Shuffle-Exchange Networks. 573-578 - Luigi Ciminiera, Angelo Serra:
A Connecting Network with Fault Tolerance Capabilities. 578-580
Volume 35, Number 7, July 1986
- Bezalel Gavish, Hasan Pirkul:
Computer and Database Location in Distributed Computer Systems. 583-590 - Shing-Tsaan Huang, Satish K. Tripathi:
Finite State Model and Compatibility Theory: New Analysis Tools for Permutation Networks. 591-601 - John P. Hayes:
Pseudo-Boolean Logic Circuits. 602-612 - Tony Cheung, James Smith:
A Simulation Study of the CRAY X-MP Memory System. 613-622 - Wil J. van Gils:
A Triple Modular Redundancy Technique Providing Multiple-Bit Error Protection Without Using Extra Redundancy. 623-631 - Charles E. McDowell, William F. Appelbe:
Processor Scheduling for Linearly Connected Parallel Processors. 632-638
- Che-Liang Yang, Gerald M. Masson, Richard A. Leonetti:
On Fault Isolation and Identification in t1/t1-Diagnosable Systems. 639-643 - Lindsay Kleeman, Antonio Cantoni:
Can Redundancy and Masking Improve the Performance of Synchronizers? 643-646 - C. L. Chen:
Byte-Oriented Error-Correcting Codes for Semiconductor Memory Systems. 646-648 - Mike Sousa, Fred J. Taylor:
Complex Integer to Complex Residue Encoding. 648-650 - Victor Konrad:
Efficient Computation of the Maximum of the Sum of Two Sequences and Applications. 651-653 - Paul H. Bardell, William H. McAnney:
Pseudorandom Arrays for Built-In Tests. 653-658 - Kewal K. Saluja, Ramaswami Dandapani:
Testable Design of Single-Output Sequential Machines Using Checking Experiments. 658-662 - Cauligi S. Raghavendra, Viktor K. Prasanna:
Permutations on Illiac IV-Type Networks. 663-669 - Jong Won Park:
An Efficient Memory System for Image Processing. 669-674
Volume 35, Number 8, August 1986
- Randal E. Bryant:
Graph-Based Algorithms for Boolean Function Manipulation. 677-691 - James E. Smith, Shlomo Weiss, Nicholas Y. Pang:
A Simulation Study of Decoupled Architecture Computers. 692-702 - Israel Koren, Zahava Koren, Stephen Y. H. Su:
Analysis of a Class of Recovery Procedures. 703-712 - Shinji Nakamura:
Algorithms for Iterative Array Multiplication. 713-719 - Makoto Kobayashi:
An Empirical Study of Task Switching Locality in MVS. 720-731 - Andrzej Hlawiczka:
Compression of Three-State Data Serial Streams by Means of a Parallel LFSR Signature Analyzer. 732-741 - Sudhakar M. Reddy, Madhukar K. Reddy:
Testable Realizations for FET Stuck-Open Faults CMOS Combinational Logic Circuits. 742-754
- Ajit Pal:
An Algorithm for Optimal Logic Design Using Multiplexers. 755-757 - Shahid H. Bokhari, A. D. Raza:
Reducing the Diameters of Computer Networks. 757-761 - Curtis T. McMullen, J. Shearer:
Prime Implicants, Minimum Covers, and the Complexity of Logic Simplification. 761-762 - N. B. Chakraborti, John S. Soundararajan, A. L. Narasimha Reddy:
An Implementation of Mixed-Radix Conversion for Residue Number Applications. 762-764 - Yung H. Tsin:
Finding Lowest Common Ancestors in Parallel. 764-769 - Miron Abramovici, Prem R. Menon, David T. Miller:
Checkpoint Faults are not Sufficient Target Faults for Test Generation. 769-771
Volume 35, Number 9, September 1986
- Vijay K. Vaishnavi:
On the Height of Multidimensional Height-Balanced Trees. 773-780 - Irving S. Reed, Trieu-Kien Truong, Jørn M. Jensen, In-Shek Hsu:
The VLSI Design of an Error-Trellis Syndrome Decoder for Certain Convolutional Codes. 781-789 - Chaitanya K. Baru, Stanley Y. W. Su:
The Architecture of SM3: A Dynamically Partitionable Multicomputer System. 790-802 - Andrea Bobbio, Kishor S. Trivedi:
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains. 803-814 - Ramón D. Acosta, Jacob Kjelstrup, Hwa C. Torng:
An Instruction Issuing Approach to Enhancing Performance in Multiple Functional Unit Processors. 815-828
- M. M. Mirsalehi, Thomas K. Gaylord:
Comments on "Direct Implementation of Discrete and Residue-Based Functions Via Optimal Encoding: A Programmable Array Logic Approach". 829-830 - René David:
Signature Analysis for Multiple-Output Circuits. 830-837 - Nicholas F. Maxemchuk, Anton T. Dahbura:
Optimal Diagnosable System Design Using Full-Difference Triangles. 837-839 - Robert B. Hagmann:
Crash Recovery Scheme for a Memory-Resident Database System. 839-843 - Mikhail J. Atallah, Susanne E. Hambrusch:
Optimal Rotation Problems in Channel Routing. 843-847 - Tang Jian:
An O(20.304n) Algorithm for Solving Maximum Independent Set Problem. 847-851
Volume 35, Number 10, October 1986
- Dominique Snyers, André Thayse:
Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity. 853-861 - Kozo Kinoshita, Kewal K. Saluja:
Built-In Testing of Memory Using an On-Chip Compact Testing Scheme. 862-870 - Raif M. Yanney, John P. Hayes:
Distributed Recovery in Fault-Tolerant Multiprocessor Networks. 871-879 - Stephen H. Unger, Chung-Jen Tan:
Clocking Schemes for High-Speed Digital Systems. 880-895 - Tom Rhyne, Noel R. Strader II:
A Signed Bit-Sequential Multiplier. 896-901
- Balakrishna R. Iyer, Lorenzo Donatiello, Philip Heidelberger:
Analysis of Performability for Stochastic Models of Fault-Tolerant Systems. 902-907 - James R. Goodman, Honesty C. Young:
Comments on "A Massive Memory Machine". 907-910 - Woei Lin, Chuan-lin Wu:
Reconfiguration Procedures for a Polymorphic and Partitionable Multiprocessor. 910-916 - Gregory E. Bridges, Werner Pries, Robert D. McLeod, M. Yunik, P. Glenn Gulak, Howard C. Card:
Dual Systolic Architectures for VLSI Digital Signal Processing Systems. 916-923 - Elena Lodi, Linda Pagli:
A VLSI Solution to the Vertical Segment Visibility Problem. 923-928 - Raouf N. Gorgui-Naguib, Robert A. King:
Comments on "Matrix Processors Using p-Adic Arithmetic for Exact Linear Computations". 928-931
Volume 35, Number 11, November 1986
- Melvin A. Breuer, Asad A. Ismaeel:
Roving Emulation as a Fault Detection Mechanism. 933-939 - Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat:
A Formal Definition of Data Flow Graph Models. 940-948 - Vincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo:
A LOTOS Specification of the PROWAY Highway Service. 949-968 - Tony F. Chan, Yousef Saad:
Multigrid Algorithms on the Hypercube Multiprocessor. 969-977 - Michelle Y. Kim:
Synchronized Disk Interleaving. 978-988
- Peter J. Varman, I. V. Ramakrishnan:
Synthesis of an Optimal Family of Matrix Multiplication Algorithms on Linear Arrays. 989-996 - Thomas E. Fuja, Chris Heegard:
Row/Column Replacement for the Control of Hard Defects in Semiconductor RAM's. 996-1000 - Bhabani P. Sinha, Bhargab B. Bhattacharya, Suranjan Ghose, Pradip K. Srimani:
A Parallel Algorithm to Compute the Shortest Paths and Diameter of a Graph and Its VLSI Implementation. 1000-1004 - Jagannathan Narasimhan, Kazuo Nakajima:
An Algorithm for Determining the Fault Diagnosability of a System. 1004-1008 - Trieu-Kien Truong, Jaw John Chang, In-Shek Hsu, D. Y. Pei, Irving S. Reed:
Techniques for Computing the Discrete Fourier Transform Using the Quadratic Residue Fermat Number Systems. 1008-1012
Volume 35, Number 12, December 1986
- Werner Pries, Adonios Thanailakis, Howard C. Card:
Group Properties of Cellular Automata and VLSI Applications. 1013-1024 - Chin-Tau A. Lea:
The Load-Sharing Banyan Network. 1025-1034 - Michael C. Browne, Edmund M. Clarke, David L. Dill, Bud Mishra:
Automatic Verification of Sequential Circuits Using Temporal Logic. 1035-1044 - Alexander Thomasian, Paul F. Bay:
Analytic Queueing Network Models for Parallel Processing of Task Systems. 1045-1054 - Musaravakkam S. Krishnan, John P. Hayes:
An Array Layout Methodology for VLlSI Circuits. 1055-1067
- Chuen-Liang Chen, Min-Wen Du:
Multiple Stuck-Fault Detection and Location in Multivalued Linear Circuits. 1068-1071 - Louiqa Raschid, Tinghe Fei, Herman Lam, Stanley Y. W. Su:
A Special-Function Unit for Sorting and Sort-Based Database Operations. 1071-1077 - Sakti Pramanik:
Performance Analysis of a Database Filter Search Hardware. 1077-1082 - Kaiyuan Huang, Tinghuai Chen:
On the Diagnosis of System Faults with Propagation. 1082-1086 - C. L. Chen:
Linear Dependencies in Linear Feedback Shift Registers. 1086-1092
a service of 
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-04-18 20:20 CEST 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:
