2003-11-20 Determining an Optimal Secondary Storage Service Rate for the PASM Control System. 43-53 1986 35 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc35.html#TuomenoksaS86 2003-11-20 Decoding of DBEC-TBED Reed-Solomon Codes. 1359-1363 1987 36 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc36.html#DengC87 2003-11-20 A Simple Model of Processor - Resource Utilization in Networks of Communicating Modules. 927-929 1979 28 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc28.html#SpeelpenningN79 2003-11-20 On Models for Diagnosable Systems and Probabilistic Fault Diagnosis. 228-236 1976 25 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc25.html#MaheshwariH76 2003-11-20 Corrections and Comments on ``On Models for Diagnosable Systems and Probabilistic Fault Diagnosis''. 287 1978 27 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc27.html#MaheshwariH78 2005-02-15 Progressive Refinement of Raster Images. 871-874 1979 28 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc28.html#SloanT79 2003-11-20 Crash Recovery Scheme for a Memory-Resident Database System. 839-843 1986 35 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc35.html#Hagmann86 2003-11-20 Asymtotically Optimal Circuit for a Storage Access Function. 737-738 1980 29 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc29.html#KleinP80 2003-11-20 Fast Simulation of Highly Dependable Systems with General Failure and Repair Processes. 1440-1452 1993 42 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc42.html#NicolaNHG93 2005-09-28 Fault-Tolerant 256K Memory Designs. 314-322 1984 33 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc33.html#Tanner84 2003-11-20 Multiple Fault Detection in Parity Checkers. 1096-1099 1994 43 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc43.html#JoneW94 2003-11-20 Test Pattern Generation for API Faults in RAM. 1426-1428 1988 37 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc37.html#JongG88 2003-11-20 The Arithmetic Cube. 1342-1348 1987 36 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc36.html#OwensI87 2003-11-20 Being Stingy with Multipliers. 809-818 1990 39 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc39.html#OwensI90 2003-11-20 Parallel Sorting with Serial Momories. 379-383 1985 34 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc34.html#OwensJ85 2003-11-20 Efficient Function Implementation for Bit-Serial Parallel. 841-844 1980 29 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc29.html#ReevesB80 2003-11-20 On Binary Multiplication Using the Quarter Square Algorithm. 957-960 1976 25 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc25.html#JayashreeB76 2003-11-20 Synthesis of Communication Protocols: Survey and Assessment. 468-476 1991 40 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc40.html#ProbertS91 2003-11-20 A Method for the Generation and Processing of Dyadic Indexed Data. 487-494 1983 32 IEEE Trans. Computers 5 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc32.html#Besslich83 2003-11-20 Heuristic Minimization of MVL Functions: A Direct Cover Approach. 134-144 1986 35 IEEE Trans. Computers 2 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc35.html#Besslich86 2003-11-20 Multivariate Statistical Analysis of Audit Trails for Host-Based Intrusion Detection. 810-820 2002 51 IEEE Trans. Computers 7 http://www.computer.org:80/tc/tc2002/t0810abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc51.html#YeECV02 2003-11-20 Structural Preserving Morphisms of Finite Automata and an Application to Graph Isomorphism. 1133-1139 1975 24 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc24.html#Yang75a 2003-11-20 Comments on ``Closure Partition Method for Minimizing Incomplete Sequential Machines''. 106-108 1975 24 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc24.html#YangB75 2003-11-20 Analysis of Packet-Switched Multiple-Bus Multiprocessor Systems. 352-356 1991 40 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc40.html#YangB91 2003-11-20 Redundant Logarithmic Arithmetic. 1077-1086 1990 39 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc39.html#ArnoldBCC90 2004-12-30 The Reliability of Systems with Two Levels of Fault Tolerance: The Return of the "Birthday Surprise". 1490-1496 1992 41 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc41.html#YangF92 2003-11-20 _<i>m</i><i>t</i>-EC/AUED Codes. 492 1998 47 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc47.html#YangL98 2003-11-20 A Correction and Some Comments Concerning Graph Isomorphism by Finite Automata. 95-96 1978 27 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc27.html#YangM78 2003-11-20 <i>_i</i>-Diagnosable Systems. 503-510 1986 35 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc35.html#YangM86 2003-11-20 A Generalization of Hybrid Fault Diagnosability. 1369-1374 1987 36 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc36.html#YangM87 2003-11-20 A Distributed Algorithm for Fault Diagnosis in Systems with Soft Failures. 1476-1480 1988 37 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc37.html#YangM88 2003-11-20 Nonblocking Broadcast Switching Networks. 1005-1015 1991 40 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc40.html#YangM91 2003-11-20 Broadcast Ring Sandwich Networks. 1169-1180 1995 44 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc44.html#YangM95 2003-11-20 The Necessary Conditions for Clos-Type Nonblocking Multicast Networks. 1214-1227 1999 48 IEEE Trans. Computers 11 http://www.computer.org:80/tc/tc1999/t1214abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc48.html#YangM99 2003-11-20 An Algorithm for Deriving All Pairs of Compatible States by Closure Classes. 202-207 1976 25 IEEE Trans. Computers 2 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc25.html#YangT76 2003-11-20 Pipelined All-to-All Broadcast in All-Port Meshes and Tori. 1020-1032 2001 50 IEEE Trans. Computers 10 http://www.computer.org/tc/tc2001/t1020abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc50.html#YangW01 2003-11-20 Wide-Sense Nonblocking Clos Networks Under Packing Strategy. 265-284 1999 48 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc48.html#YangW99 2003-11-20 Applying Features of IEEE 754 to Sign/Logarithm Arithmetic. 1040-1050 1992 41 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc41.html#ArnoldBCW92 2003-11-20 Arithmetic Co-Transformations in the Real and Complex Logarithmic Number Systems. 777-786 1998 47 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc47.html#ArnoldBCW98 2003-11-20 An Instruction Set for Evaluating Expressions. 476-478 1983 32 IEEE Trans. Computers 5 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc32.html#Keedy83 2003-11-20 An Efficient Routing Algorithm for Realizing Linear Permutations on p^t-Shuffle-Exchange Networks. 1292-1298 1991 40 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc40.html#HuangTCT91 2003-11-20 Fault Detection in Combinational Networks by Reed-Muller Transforms. 788-797 1989 38 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc38.html#DamarlaK89 2003-11-20 The Effects of Latent Faults on Highly Reliable Computer Systems. 1000-1005 1987 36 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc36.html#SwernBMM87 2003-11-20 Comments on ``Design and Analysis of Arbitration Protocols''. 348-351 1992 41 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc41.html#Wilkinson92 2003-11-20 Adaptive Optimal Load Balancing in a Nonhomogeneous Multiserver System with a Central Job Scheduler. 1232-1250 1990 39 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc39.html#BonomiK90 2003-11-20 An Efficient Coordinate Rotation Algorithm. 1178-1180 1978 27 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc27.html#EschenbachO78 2003-11-20 Performance Analysis of Multilevel Bus Networks for Hierarchical Multiprocessors. 789-805 1994 43 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc43.html#Mahmud94a 2003-11-20 On-Line Scheduling Policies for a Class of IRIS (Increasing Reward with Increasing Service) Real-Time Tasks. 802-813 1996 45 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc45.html#DeyKT96 2003-11-20 Parallel Algorithms for Force Directed Scheduling of Flattened and Hierarchical Signal Flow Graphs. 762-768 1999 48 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc48.html#PrabhakaranB99 2003-11-20 Comments on ``Discrete Cosine Transform''. 759 1975 24 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc24.html#Shanmugam75 2003-11-20 A Readily Computable Decision Rule with Variable Dimensionality. 539-542 1976 25 IEEE Trans. Computers 5 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc25.html#Ehrich76 2003-11-20 Detection of Global Edges in Textured Images. 589-603 1977 26 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#Ehrich77 2003-11-20 Parallel Computer Architectures and Problem Solving Strategies for the Consistent Labeling Problem. 973-980 1985 34 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc34.html#McCallTGHM85 2003-11-20 On the Analysis and Synthesis of VLSI Algorithms. 1121-1126 1982 31 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc31.html#Moldovan82 2003-11-20 Static and Dynamic Configurable Systems. 556-564 1999 48 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc48.html#SanchezSHBSP99 2003-11-20 Testable Design of Single-Output Sequential Machines Using Checking Experiments. 658-662 1986 35 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc35.html#SalujaD86a 2003-11-20 Measuring the Parallelism Available for Very Long Instruction Word Architectures. 968-976 1984 33 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc33.html#NicolauF84 2003-11-20 Heuristic Algorithms for Broadcasting in Point-to-Point Computer Networks. 804-811 1984 33 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc33.html#ScheuermannW84 2003-11-20 An Easily Testable Design of Programmable Logic Arrays for Multiple Faults. 1038-1046 1983 32 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc32.html#SalujaKF83 2003-11-20 Heuristic Technique for Processor and Link Assignment in Multicomputers. 325-333 1991 40 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc40.html#BollingerM91 2003-11-20 Time-Component Complexity of Two Approaches to Multioperand Binary Addition. 918-926 1979 28 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc28.html#AtkinsO79 2003-11-20 An Optimization Technique for the Design of Multiple Valued PLA's. 118-122 1994 43 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc43.html#AsariE94 2003-11-20 Comments on ``An Additional Algorithm for a System of Coupled Algebraic Matrix Riccati Equations''. 320 1977 26 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#Gourishankar77 2003-11-20 On the Fractal Dimension of Computer Programs and its Application to the Prediction of the Cache Miss Ratio. 1012-1026 1989 38 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc38.html#Thiebaut89 2004-09-16 Scattering and Gathering Messages in Networks of Processors. 938-949 1993 42 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc42.html#BhattPR93 2003-11-20 <i>n</i><i>n</i>Parallel Redundant Systems''. 681 1984 33 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc33.html#Nilsson84 2003-11-20 <i>L</i><sub>2</sub>Approximation of Functions of One and Two Variables. 98-102 1975 24 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc24.html#Pavlidis75 2003-11-20 Polygonal Approximations by Newton's Method. 800-807 1977 26 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#Pavlidis77 2003-11-20 An Analysis of Instruction-Fetching Strategies in Pipelined Computers. 325-329 1980 29 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc29.html#HolgateI80 2003-11-20 Optimal Left-to-Right Binary Signed-Digit Recoding. 740-748 2000 49 IEEE Trans. Computers 7 http://www.computer.org/tc/tc2000/t0740abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc49.html#JoyeY00 2003-11-20 Modular Error Detection for Bit-Serial Multiplication. 1043-1052 1988 37 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc37.html#BrosnanS88 2003-11-20 A High-Speed Threshold Gate Multiplier. 1279-1283 1977 26 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#Kent77a 2003-11-20 Hardware Algorithms for Nonnumeric Computation. 384-394 1979 28 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc28.html#Mukhopadhyay79 2003-11-20 A Solution to the Polynomial Hensel Code Conversion Problem. 634-637 1987 36 IEEE Trans. Computers 5 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc36.html#Mukhopadhyay87 2003-11-20 Coverage Estimation Methods for Stratified Fault Injection. 707-723 1999 48 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc48.html#CukierPA99 2003-11-20 Asynchronous Modular Arbiter. 67-70 1986 35 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc35.html#CalvoAV86 2003-11-20 Trends in Graphic Display Design. 1321-1325 1976 25 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc25.html#Newman76 2003-11-20 CPAC - Concurrent Processor Architecture for Control. 163-169 1985 34 IEEE Trans. Computers 2 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc34.html#JaswaTP85 2003-11-20 Design Verification at the Register Transfer Language Level. 861-867 1975 24 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc24.html#HoehneP75 2003-11-20 On Crossbar Switch and Multiple Bus Interconnection Networks with Overlapping Connectivity. 738-746 1992 41 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc41.html#Wilkinson92a 2004-12-08 ROC-1: Hardware Support for Recovery-Oriented Computing. 100-107 2002 51 IEEE Trans. Computers 2 http://www.computer.org:80/tc/tc2002/t0100abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc51.html#OppenheimerBBHKTPY02 2003-11-24 Masking of Unknown Output Values during Output Response Compression byUsing Comparison Units. 83-88 2004 53 IEEE Trans. Computers 1 http://csdl.computer.org/comp/trans/tc/2004/01/t0083abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc53.html#PomeranzKR04 2003-11-20 A Microprocessor-Based Office Image Processing System-An Extension of Work. 379-384 1992 41 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc41.html#AtiquzzamanS92 2006-03-29 Comments on "The Anomalous Behavior of Flip-Flops in Synchronizer Circuits". 77-78 1982 31 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc31.html#LacroixMP82 2003-11-20 On the Use of Fully Specified Initial States for Testing of Synchronous Sequential Circuits. 175-181 2000 49 IEEE Trans. Computers 2 http://www.computer.org:80/tc/tc2000/t0175abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc49.html#PomeranzR00a 2003-11-20 Procedures for Static Compaction of Test Sequences for Synchronous Sequential Circuits. 596-607 2000 49 IEEE Trans. Computers 6 http://www.computer.org/tc/tc2000/t0596abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc49.html#PomeranzR00b 2003-11-20 Enumeration of Test Sequences in Increasing Chronological Order to Improve the Levels of Compaction Achieved by Vector Omission. 866-872 2002 51 IEEE Trans. Computers 7 http://www.computer.org:80/tc/tc2002/t0866abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc51.html#PomeranzR02a 2003-11-20 A Storage-Based Built-In Test Pattern Generation Method for Scan Circuits Based on Partitioning and Reduction of a Precomputed Test Set. 1282-1293 2002 51 IEEE Trans. Computers 11 http://www.computer.org:80/tc/tc2002/t1282abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc51.html#PomeranzR02b 2003-11-20 Testing of Fault-Tolerant Hardware Through Partial Control of Inputs. 1267-1271 1993 42 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc42.html#PomeranzR93a 2003-11-20 On the Role of Hardware Reset in Synchronous Sequential Circuit Test Generation. 1100-1105 1994 43 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc43.html#PomeranzR94a 2003-11-20 On Fault Simulation for Synchronous Sequential Circuits. 335-340 1995 44 IEEE Trans. Computers 2 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc44.html#PomeranzR95a 2003-11-20 INCREDYBLE: A New Search Strategy for Design Automation Problems with Applications to Testing. 792-804 1995 44 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc44.html#PomeranzR95b 2003-11-20 On the Number of Tests to Detect All Path Delay Faults in Combinational Logic Circuits. 50-62 1996 45 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc45.html#PomeranzR96a 2003-11-20 Test Generation for Multiple State-Table Faults in Finite-State Machines. 783-794 1997 46 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc46.html#PomeranzR97a 2003-11-20 Bounding Availability of Repairable Computer Systems. 1714-1723 1989 38 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc38.html#MuntzSG89 2003-11-20 Architectural Support for System Protection and Database Security. 767-771 1978 27 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc27.html#FernandezSLC78 2003-11-20 A Class of Redundant Path Multistage Interconnection Networks. 1099-1108 1983 32 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc32.html#PadmanabhanL83 2003-11-20 Computation of Cold-Start Miss Ratios. 404-408 1978 27 IEEE Trans. Computers 5 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc27.html#Easton78 2003-11-20 On Easily Diagnosable Sequential Machines. 159-162 1978 27 IEEE Trans. Computers 2 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc27.html#Joseph78 2003-11-20 A LOTOS Specification of the PROWAY Highway Service. 949-968 1986 35 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc35.html#CarchioloFMPS86 2003-11-20 Synthesis of Combinational Logic Using Decomposition and Probability. 1013-1016 1980 29 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc29.html#Crist80 2003-11-20 The Effect of Code Expanding Optimizations on Instruction Cache Design. 1045-1057 1993 42 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc42.html#ChenCCH93 2003-11-20 Synchronizing Hypercube Networks in the Presence of Faults. 1175-1183 1994 43 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc43.html#HarringtonS94 2003-11-20 Complete Solution of Boolean Equations. 662-665 1980 29 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc29.html#TapiaT80 2003-11-20 Lazy Arithmetic. 961-975 1997 46 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc46.html#MichelucciM97 2003-11-20 Performance Evaluation of Hierarchical Ring-Based Shared Memory Multiprocessors. 52-67 1994 43 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc43.html#HollidayS94 2003-11-20 Exact Performance Estimates for Multiprocessor Memory and Bus Interference. 76-85 1987 36 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc36.html#HollidayV87 2003-11-20 A Digital Synthesis Procedure Under Function Symmetries and Mapping Methods. 985-997 1978 27 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc27.html#EdwardsH78 2003-11-20 Two VLSI Structures for the Discrete Fourier Transform. 750-754 1983 32 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc32.html#Bongiovanni83 2003-11-20 Tolerance to Multiple Transient Faults for Aperiodic Tasks in Hard Real-Time Systems. 906-914 2000 49 IEEE Trans. Computers 9 http://www.computer.org/tc/tc2000/t0906abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc49.html#LiberatoMM00 2003-11-20 Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions. 374-389 1976 25 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc25.html#JoshiW76 2003-11-20 The Size of Reduced OBDD's and Optimal Read-Once Branching Programs for Almost All Boolean Functions. 1262-1269 1994 43 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc43.html#Wegener94a 2003-11-20 A Note on t-Unidirectional Error Correcting and d(d>=t)-Unidirectional Error Detecting (t-UEC and d-UED) Codes. 987-988 1991 40 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc40.html#SakaniwaAR91 2003-11-20 Computer Analysis of Moving Polygonal Images. 966-976 1975 24 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc24.html#AggarwalD75 2003-11-20 Realization of Fault-Tolerant Machines - Linear Code Application. 237-240 1981 30 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc30.html#SenguptaCPBC81 2003-11-20 Routing Strategies for Fast Networks. 165-173 1996 45 IEEE Trans. Computers 2 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc45.html#AzarNR96 2003-11-20 An Approximation Algorithm for Scheduling Tasks on Varying Partition Sizes in Partitionable Multiprocessor Systems. 1572-1579 1992 41 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc41.html#Krishnamurti92 2003-11-20 Accurate Low-Cost Methods for Performance Evaluation of Cache Memory Systems. 1325-1336 1988 37 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc37.html#LahaPI88 2003-11-20 Some Parametric Techniques in the Analog Solution of Ordinary Differential Equation. 1-8 1975 24 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc24.html#Newton75 2003-11-20 Physical Uncertainty and Information. 1017-1025 1977 26 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#Keyes77 2003-11-20 A Note on Testing Logic Circuits by Transition Counting. 313-314 1977 26 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#Reddy77 2003-11-20 A Class of Linear Codes for Error Control in Byte-per-Card Organized Digital Systems. 455-459 1978 27 IEEE Trans. Computers 5 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc27.html#Reddy78 2003-11-20 A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages. 911-917 1985 34 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc34.html#Crammond85 2003-11-20 Iterative Solution of Large, Sparse Linear Systems on a Static Data Flow Architecture: Performance Studies. 874-880 1985 34 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc34.html#ReedP85 2003-11-20 Cost-Performance Bounds for Multimicrocomputer Networks. 83-95 1983 32 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc32.html#ReedS83 2004-10-04 A New Hybrid Algorithm for Computing a Fast Discrete Fourier Transform. 487-492 1979 28 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc28.html#ReedT79 2003-11-20 Performance Analysis of Multibuffered Packet-Switching Networks in Multiprocessor Systems. 319-327 1990 39 IEEE Trans. Computers 3 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc39.html#YoonLL90 2003-11-20 An IEEE Compliant Floating-Point Adder that Conforms with the Pipelined Packet-Forwarding Paradigm. 33-47 2000 49 IEEE Trans. Computers 1 http://www.computer.org:80/tc/tc2000/t0033abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc49.html#NielsenMLE00 2003-11-20 Generalized Measures of Fault Tolerance with Application to N-Cube Networks. 1586-1591 1989 38 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc38.html#Esfahanian89 2003-11-20 Bounding of Performance Measures for Threshold-Based Queuing Systems: Theory and Application to Dynamic Resource Management in Video-on-Demand Servers. 353-372 2002 51 IEEE Trans. Computers 4 http://www.computer.org:80/tc/tc2002/t0353abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc51.html#GolubchikL02 2003-11-20 Representation of Random Waveforms by Relational Trees. 725-736 1976 25 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc25.html#EhrichF76 2003-11-20 Experiments in the Contextual Recognition of Cursive Script. 182-194 1975 24 IEEE Trans. Computers 2 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc24.html#EhrichK75 2003-11-20 Aircraft Identification by Moment Invariants. 39-46 1977 26 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#DudaniBM77 2003-11-20 Programming Language Support for Writing Fault-Tolerant Distributed Software. 203-212 1995 44 IEEE Trans. Computers 2 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc44.html#SchlichtingT95 2003-11-20 Analytic Models of Cyclic Service Systems and Their Application to Token-Passing Local Networks. 1224-1234 1988 37 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc37.html#RegoN88 2003-11-20 Automatic Recognition of Intermittent Failures: An Experimental Study of Field Data. 525-537 1990 39 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc39.html#YierYI90 2003-11-20 Automated Verification of Behavioral Equivalence for Microprocessors. 115-117 1994 43 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc43.html#Corella94 2003-11-20 A Compact High-Speed Parallel Multiplication Scheme. 948-957 1977 26 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#StenzelKG77 2003-11-20 Models for the Combined Logical and Physical Design of Databases. 955-967 1989 38 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc38.html#DewanG89 2003-11-20 Convergence in Iteratively Formed Correlation Matrix Memories. 827-830 1975 24 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc24.html#ReidF75 2003-11-20 Efficient Mapping of ANNs on Hypercube Massively Parallel Machines. 769-779 1995 44 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc44.html#MalluhiBR95 2003-11-20 Correction to "Efficient Mapping of ANNs on Hypercube Massively Parallel Machines". 511 1996 45 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc45.html#MalluhiBR96 2003-11-20 Comments on ``Inner Product Computers''. 944 1979 28 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc28.html#Blankenbaker79 2003-11-20 Multiple Fault Testing of Large Circuits by Single Fault Test Sets. 855-865 1981 30 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc30.html#AgarwalF81 2003-11-20 Resolution-Oriented Fault Interrelationships in Combinational Logic Networks. 1170-1175 1977 26 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#AgarwalM77 2003-11-20 Recursive Coverage Projection of Test Sets. 865-870 1979 28 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc28.html#AgarwalM79 2003-11-20 Generic Fault Characterizations for Table Look-Up Coverage Bounding. 288-299 1980 29 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc29.html#AgarwalM80 2003-11-20 A Branch and Bound Algorithm for Feature Subset Selection. 917-922 1977 26 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc26.html#NarendraF77 2003-11-20 Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. 1343-1360 1993 42 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc42.html#ChiolaDFH93 2003-11-20 Binary Search in a Multiprocessing Environment. 667-677 1983 32 IEEE Trans. Computers 7 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc32.html#BaerDL83 2003-11-20 Lossless Trace Compression. 158-173 2001 50 IEEE Trans. Computers 2 http://www.computer.org/tc/tc2001/t0158abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc50.html#JohnsonHZ01 2003-11-20 Longest Fault-Free Paths in Star Graphs with Edge Faults. 960-971 2001 50 IEEE Trans. Computers 9 http://www.computer.org/tc/tc2001/t0960abs.htm http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc50.html#HsiehCH01 2003-11-20 Implementation and Performance of Pipes in the V-System. 1174-1185 1985 34 IEEE Trans. Computers 12 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc34.html#Zwaenepoel85 2003-11-20 The Bottom-Left Bin-Packing Heuristic: An Efficient Implementation. 697-707 1983 32 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc32.html#Chazelle83 2003-11-20 Computational Geometry on a Systolic Chip. 774-785 1984 33 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc33.html#Chazelle84 2003-11-20 Analysis and Simulation of Buffered Delta Networks. 273-282 1981 30 IEEE Trans. Computers 4 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc30.html#DiasJ81 2003-11-20 Comments on ``Interference Analysis of Shuffle/Exchange Networks''. 546-547 1982 31 IEEE Trans. Computers 6 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc31.html#DiasK82 2003-11-20 Use of Fault Dropping for Multiple Fault Analysis. 98-103 1994 43 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc43.html#KarkouriACV94 2003-11-20 A VLIW Architecure for a Trace Scheduling Compiler. 967-979 1988 37 IEEE Trans. Computers 8 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc37.html#ColwellNOPR88 2003-11-20 Reconfigurable Tree Architectures Using Subtree Oriented Fault Tolerance. 1172-1182 1987 36 IEEE Trans. Computers 10 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc36.html#LowrieF87 2003-11-20 Systolic Architectures for the Computation of the Discrete Hartley and the Discrete Cosine Transforms Based on Prime Factor Decomposition. 1359-1368 1990 39 IEEE Trans. Computers 11 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc39.html#ChakrabartiJ90 2003-11-20 VLSI Architectures for Multidimensional Transforms. 1053-1057 1991 40 IEEE Trans. Computers 9 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc40.html#ChakrabartiJ91 2003-11-20 A Graph Partitioning Approach to Sequential Diagnosis. 39-47 1997 46 IEEE Trans. Computers 1 http://www.informatik.uni-trier.de/~ley/db/journals/tc/tc46.html#KhannaF97 2003-11-20