External Links

Journal: IEEE Transactions on Computers

Volume 44, Issue 9

1073 -- 1084Prasant Mohapatra, Chita R. Das. On Dependability Evaluation of Mesh-Connected Processors
1085 -- 1095Tsang-Ling Sheu, Woei Lin, Chita R. Das. Distributed Fault Diagnosis in Multistage Network-Based Multiprocessors
1096 -- 1107Neal J. Alewine, Shyh-Kwei Chen, W. Kent Fuchs, Wen-mei W. Hwu. Compiler-Assisted Multiple Instruction Rollback Recovery Using a Read Buffer
1108 -- 1120Yeimkuan Chang, Laxmi N. Bhuyan. Subcube Fault Tolerance in Hypercube Multiprocessors
1121 -- 1130Jermy C. Smith, Fred J. Taylor. A Fault-Tolerant GEQRNS Processing Element for Linear Systolic Array DSP Applications
1131 -- 1139Howard M. Heys, Stafford E. Tavares. Avalanche Characteristics of Substitution-Permutation Encryption Networks
1140 -- 1144Daniel I. Katcher, Shirish S. Sathaye, Jay K. Strosnider. Fixed Priority Scheduling with Limited Priority Levels
1144 -- 1149Xiaojun Shen. An Optimal O(NlgN) Algorithm for Permutation Admissibility to Extra-Stage Cube-Type Networks
1150 -- 1152Luke O Connor. A Differential Cryptananlysis of Tree-Structured Substitution-Permutation Networks
1152 -- 1157C. S. Raghavendra, Pei-Ji Yang, Sing-Ban Tien. Free Dimensions-An Effective Approach to Achieving Fault Tolerance in Hypercubes
1157 -- 1162Choong Gun Oh, Hee Yong Youn, Vijay K. Raj. An Efficient Algorithm-Based Concurrent Error Detection for FFT Networks
1162 -- 1167Jie Wu, Kejun Yao. A Limited-Global-Informatin-Based Multicasting Scheme for Faulty Hypercubes

Volume 44, Issue 8

962 -- 970Zhongde Wang, Graham A. Jullien, William C. Miller. A New Design Technique for Column Compression Multipliers
971 -- 982Stephen E. McQuillan, John V. McCanny. A Systematic Methodology for the Design of High Performance Recursive Digital Filters
983 -- 989Markus A. Hitz, Erich Kaltofen. Integer Division in Residue Number Systems
990 -- 1001Shen-Fu Hsiao, Jean-Marc Delosme. Householder CORDIC Algorithms
1002 -- 1011Jun-Woo Kang, Chin-Long Wey, P. David Fisher. Application of Bipartite Graphs for Achieving Race-Free State Assignment
1012 -- 1020Zeljko Zilic, Zvonko G. Vranesic. A Multiple-Valued Reed-Muller Transform for Incompletely Specified Functions
1021 -- 1030Bella Bose, Bob Broeg, Younggeun Kwon, Yaagoub Ashir. Lee Distance and Topological Properties of k-ary n-cubes
1031 -- 1046Yao Li, C. Murray Woodside. Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks (Corrected Version)
1047 -- 1051Giuseppe A. De Biase, Claudia Ferrone, Annalisa Massini. An O(log::2:: N) Depth Asymptotically Nonblocking Self-Routing Permutation Network
1051 -- 1055Stephen W. Turner, Lionel M. Ni, Betty H. C. Cheng. Contention-Free 2D-Mesh Cluster Allocation in Hypercubes
1055 -- 1059Vassilios V. Dimakopoulos, G. Sourtziotis, Antonis M. Paschalis, Dimitris Nikolos. On TSC Checkers for m-out-n Codes
1059 -- 1063Patrick T. Gaughan, Sudhakar Yalamanchili. A Performance Model of Pipelined K-ary n-cubes
1064 -- 1065Burton S. Kaliski Jr.. The Montgomery Inverse and Its Applications
1066 -- 1069Ahmed El-Amawy, Yi Chang Tseng. Maximum Performance Pipelines With Switchable Reservation Tables

Volume 44, Issue 7

833 -- 847Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson. Certification of Computational Results
848 -- 864Rajendra V. Boppana, Suresh Chalasani. Fault-Tolerant Wormhole Routing Algorithms for Mesh Networks
865 -- 877Srinivasan Tridandapani, Arun K. Somani, Upender R. Sandadi. Low Overhead Multiprocessor Allocation Strategies Exploiting System Space Capacity for Fault Detection and Location
878 -- 890Luiz André Barroso, Michel Dubois. Performance Evaluation of the Slotted Ring Multiprocessor
891 -- 902Yooichi Shintani, Kiyoshi Inoue, Eiki Kamada, Toru Shonai. A Performance and Cost Analysis of Applying Superscalar Method to Mainframe Computers
903 -- 913Youssef Saab. A Fast and Robust Network Bisection Algorithm
914 -- 922Mikhail J. Atallah, Danny Z. Chen. Optimal Parallel Hypercube Algorithms for Polygon Problems
923 -- 929Priyalal Kulasinghe, Saïd Bettayeb. Embedding Binary Trees into Crossed Cubes
930 -- 933Christopher J. Zarowski. Parallel Implementation of the Schur Belekamp-Massey Algorithm on a Linearly Connected Processor Array
933 -- 938Neil Burgess, Ted Williams. Choices of Operand Truncation in the SRT Division Algorithm
938 -- 942M. Anwarul Hasan, Vijay K. Bhargava. Architecture for a Low Complexity Rate-Adaptive Reed-Solomon Encoder
942 -- 946E. Dekker, Len Dekker. Parallel Minimal Norm Method of Tridiagonal Linear Systems
947 -- 951Steffen Paul, Jürgen Götze, Matthias Sauer. Error Analysis of CORDIC-Based Jacobi Algorithms
952 -- 956Yeimkuan Chang, Laxmi N. Bhuyan. A Combinatorial Analysis of Subcube Reliability in Hybercubes
957 -- 959Sung-Ming Yen, Chi-Sung Laih. Improved Digital Signature Suitable for Batch Verification

Volume 44, Issue 6

737 -- 754Janet Wu, Raja Das, Joel H. Saltz, Harry Berryman, Seema Hiranandani. Distributed Memory Compiler Design for Sparse Problems
754 -- 768Stephen H. Unger. Hazards, Critical Races, and Metastability
769 -- 779Qutaibah M. Malluhi, Magdy A. Bayoumi, T. R. N. Rao. Efficient Mapping of ANNs on Hypercube Massively Parallel Machines
780 -- 791Slawomir Pilarski, Kevin James Wiebe. Counter-Based Compaction: Delay and Stuck-Open Faults
792 -- 804Irith Pomeranz, Sudhakar M. Reddy. INCREDYBLE: A New Search Strategy for Design Automation Problems with Applications to Testing
805 -- 816Samir Boubezari, Bozena Kaminska. A Deterministic Built-In-Self-Test Generator Based on Cellular Automata Structures
817 -- 825Yuejian Wu, André Ivanov. Single-Reference Multiple Intermediate Signature (SREMIS) Analysis for BIST
826 -- 831Hosahalli R. Srinivas, Keshab K. Parhi. A Fast Radix-4 Division Algorithm and Its Architecture

Volume 44, Issue 5

609 -- 623Tien-Fu Chen, Jean-Loup Baer. Effective Hardware Based Data Prefetching for High-Performance Processors
624 -- 633Elio D. Di Claudio, Francesco Piazza, Gianni Orlandi. Fast Combinatorial RNS Processors for DSP Applications
634 -- 646Mateo Valero, Tomás Lang, Montse Peiron, Eduard Ayguadé. Conflict-Free Access for Streams in Multimodule Memories
647 -- 659Paul Cull, Shawn M. Larson. The Möbius Cubes
660 -- 668Mario Blaum, Jehoshua Bruck. Delay-Insensitive Pipelined Communicatioon on Parallel Buses
669 -- 682Kang G. Shin, Yi-Chieh Chang. A Coordinated Location Policy for Load Sharing in Hypercube-Connected Multicomputers
683 -- 694Jong-Chuang Tsay, Pen-Yuang Chang. Design of Space-Optimal Regular Arrays for Algorithms with Linear Schedules
695 -- 697Hasan Cam, José A. B. Fortes. Frames: A Simple Characterization of Permutations Realized by Frequently Used Networks
698 -- 702Ravi Nair. Optimal 2-Bit Branch Predictors
702 -- 706Jie Wu. Safety Levels-An Efficient Mechanism for Achieving Reliable Broadcasting in Hypercubes
707 -- 710Daniel Cohen-Or, Arie E. Kaufman. A 3D Skewing and De-skewing Scheme for Conflict-Free Access to Rays in Volume Rendering
710 -- 714Nitin H. Vaidya. Unidirectional Bit/Byte Error Control
714 -- 719Xiaojun Shen. Optimal Realization of Any BPC Permutation on K-Extra-Stage Omega Networks
719 -- 723Ching-Farn Eric Wu, Yarsun Hsu, Yew-Huey Liu. Efficient Stack Simulation for Set-Associative Virtual Address Cache with Real Tags
724 -- 728Claude Thibeault, Yvon Savaria, Jean-Louis Houle. Equivalence Proofs of Some Yield Modeling Methods for Defect-Tolerant Integrated Circuits
729 -- 730Sung-Ming Yen, Chi-Sung Laih. Improved Digital Signature Algorithm
730 -- 735Jae Young Lee, Hee Yong Youn, Adit D. Singh. Adaptive Unanimous Voting (UV) Scheme for Distributed Self-Diagnosis

Volume 44, Issue 4

481 -- 494Pohua P. Chang, Nancy J. Warter, Scott A. Mahlke, William Y. Chen, Wen-mei W. Hwu. Three Architecutral Models for Compiler-Controlled Speculative Execution
495 -- 502Paul E. S. Dunne, Paul H. Leng, Gerald F. Nwana. On the Complexity of Boolean Functions Computed by Lazy Oracles
503 -- 517Jyh-Charn Liu, Kang G. Shin. Efficient Implementation Techniques for Gracefully Degradable Multiprocessor Systems
518 -- 530Kay A. Robbins, Steven Robbins. Buffered Banks in Multiprocessor Systems
531 -- 545Valerie E. Taylor, Abhiram G. Ranade, David G. Messerschmitt. SPAR: A New Architecture for Large Finite Element Computations
546 -- 560Christos Faloutsos, Raymond T. Ng, Timos K. Sellis. Flexible and Adaptable Buffer Management Techniques for Database Management Systems
561 -- 576Paulo B. Goes, Ushio Sumita. Stochastic Models for Performance Analysis of Database Recovery Control
577 -- 592Yao Li, C. Murray Woodside. Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
593 -- 597Vincenzo Auletta, Adele Anna Rescigno, Vittorio Scarano. Embedding Graphs onto the Supercube
597 -- 601Mario Alberto López, Ramakrishna Thurimella. On Computing Connected Components of Line Segments
601 -- 604Yuen-Hsien Tseng, Ja-Ling Wu. On a Constant-Time, Low-Complexity Winner-Take-All Neural Network
604 -- 608Xiaojun Shen, Mao Xu, Xiangzu Wang. An Optimal Algorithm for Permutation Admissibility to Multistage Interconnection Networks

Volume 44, Issue 3

353 -- 370Pohua P. Chang, Daniel M. Lavery, Scott A. Mahlke, William Y. Chen, Wen-mei W. Hwu. The Importance of Prepass Code Scheduling for Superscalar and Superpipelined Processors
371 -- 382Dipanwita Roy Chowdhury, Indranil Sengupta, Parimal Pal Chaudhuri. CA-Based Byte Error-Correcting Code
383 -- 393Mark G. Karpovsky, Tatyana D. Roziner, Claudio Moraga. Fault Detection in Multiprocessor Systems and Array Processors
394 -- 407Sedat Akyürek, Kenneth Salem. Management of Partially Safe Buffers
408 -- 418Nicholas S. Bowen, Dhiraj K. Pradhan. A Fault Tolerant Hybrid Memory Structure and Memory Management Algorithms
419 -- 433Arif Merchant, Philip S. Yu. Analytic Modeling and Comparisons of Striping Strategies for Replicated Disk Arrays
434 -- 447Debashis Bhattacharya, Prathima Agrawal, Vishwani D. Agrawal. Test Generation for Path Delay Faults Using Binary Decision Diagrams
448 -- 453Hasan Cam, José A. B. Fortes. A Fast VLSI-Efficient Self-Routing Permutation Network
453 -- 457Weng-Fai Wong, Eiichi Goto. Fast Evaluation of the Elementary Functions in Single Precision
458 -- 462Daniel C. McCrackin. Practical Delay Enforced Multistream (DEMUS) Control of Deeply Pipelined Processors
462 -- 466Sampath Rangarajan, Yennun Huang, Satish K. Tripathi. Computing Reliability Intervals for k-Resilient Protocols
466 -- 471Wei Kuan Shih, Jane W.-S. Liu. Algorithms for Scheduling Imprecise Computations with Timing Constraints to Minimize Maximum Error
471 -- 479Richard Gerber, William Pugh, Manas Saksena. Parametric Dispatching of Hard Real-Time Tasks

Volume 44, Issue 2

170 -- 180Nirmal R. Saxena, David Chih-Wei Chang, Kevin Dawallu, Jaspal Kohli, Pat Helland. Fault-Tolerant Features in the HaL Memory Management Unit
181 -- 191Stefan Poledna. Tolerating Sensor Timing Faults in Highly Responsive Hard Real-Time Systems
192 -- 202Mario Blaum, Jim Brady, Jehoshua Bruck, Jai Menon. EVENODD: An Efficient Scheme for Tolerating Double Disk Failures in RAID Architectures
203 -- 212Richard D. Schlichting, Vicraj T. Thomas. Programming Language Support for Writing Fault-Tolerant Distributed Software
213 -- 222Wuudiann Ke, Premachandran R. Menon. Synthesis of Delay-Verifiable Combinational Circuits
223 -- 233Sybille Hellebrand, Janusz Rajski, Steffen Tarnick, Srikanth Venkataraman, Bernard Courtois. Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers
234 -- 247Amitava Majumdar, Sarma B. K. Vrudhula. Fault Coverage and Test Length Estimation for Random Pattern Testing
248 -- 260Ghani A. Kanawati, Nasser A. Kanawati, Jacob A. Abraham. FERRARI: A Flexible Software-Based Fault and Error Injection System
261 -- 274David Powell, Eliane Martins, Jean Arlat, Yves Crouzet. Estimators for Fault Tolerance Coverage Evaluation
275 -- 285Suresh Rai. Evaluating FTRE s for Dependability Measures in Fault Tolerant Systems
286 -- 291Gerardo Rubino, Bruno Sericola. Interval Availability Analysis Using Denumerable Markov Processes: Application to Multiprocessor Subject to Breakdowns and Repair
292 -- 301Fuxing Wang, Krithi Ramamritham, John A. Stankovic. Determining Redundancy Levels for Fault Tolerant Real-Time Systems
302 -- 311Daniel Boley, Gene H. Golub, Samy Makar, Nirmal R. Saxena, Edward J. McCluskey. Floating Point Fault Tolerance with Backward Error Assertions
312 -- 334Sampath Rangarajan, Anton T. Dahbura, Eric A. Ziegler. A Distributed System-Level Diagnosis Algorithm for Arbitrary Network Topologies
335 -- 340Irith Pomeranz, Sudhakar M. Reddy. On Fault Simulation for Synchronous Sequential Circuits
340 -- 345Jie Xu, Shi-ze Huang. Sequentially t-Diagnosable Systems: A Characterization and Its Applications
346 -- 352Hong-Yi Tzeng, Kai-Yeung Siu. Message-Optimal Protocols for Fault-Tolerant Broadcasts/Multicasts in Distributed Systems with Crash Failures

Volume 44, Issue 12

1361 -- 1370Riccardo Sisto, Adriano Valenzano. Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions
1371 -- 1382John C. S. Lui, Richard R. Muntz, Donald F. Towsley. Bounding the Mean Response Time of the Minimum Expected Delay Routing Policy: An Algorithmic Approach
1383 -- 1393Barry S. Fagin, Amit Mital. The Performance of Counter- and Correlation-Based Schemes for Branch Target Buffers
1394 -- 1404Weibo Gong, Hong Yang. Rational Approximants for Some Performance Analysis Problems
1405 -- 1419Kang G. Shin, Yi-Chieh Chang. A Reservation-Based Algorithm for Scheduling Both Periodic and Aperiodic Real-Time Tasks
1420 -- 1428Moncef Hamdaoui, Parameswaran Ramanathan. Deferring Real-Time Traffic for Improved Non-Real-Time Communication in FDDI Networks
1429 -- 1442Almut Burchard, Jörg Liebeherr, Yingfeng Oh, Sang Hyuk Son. New Strategies for Assigning Real-Time Tasks to Multiprocessor Systems
1443 -- 1451Moncef Hamdaoui, Parameswaran Ramanathan. A Dynamic Priority Assignement Technique for Streams with (m, k)-Firm Deadlines
1452 -- 1456Krishnendu Mukhopadhyaya, Bhabani P. Sinha. Fault-Tolerant Routing in Distributed Loop Networks
1456 -- 1461Manuel Valencia, Manuel J. Bellido, José L. Huertas, Antonio J. Acosta, Santiago Sánchez-Solano. Modular Asynchronous Arbiter Insensitive to Metastability
1462 -- 1468K. Wendy Tang, Bruce W. Arden. Class-Congruence Property and Two-Phase Routing of Borel Cayley Graphs
1468 -- 1471Frank K. Hwang, Paul E. Wright. Survival Reliability of Some Double-Loop Networks and Chordal Rings
1472 -- 1473Rajendra S. Katti. Comments on A Systematic (16, 8) Code for Correcting Double Errors and Detecting Triple-Adjacent Errors
1473 -- 1474T. Aaron Gulliver, Vijay K. Bhargava. Authors Reply

Volume 44, Issue 11

1265 -- 1274Shou-ping Feng, Toru Fujiwara, Tadao Kasami, Kazuhiko Iwasaki. On the Maximum Value of Aliasing Probabilities for Single Input Signature Registers
1275 -- 1282Michal Kopec. Can Nonlinear Compactors Be Better than Linear Ones
1283 -- 1295Mody Lempel, Sandeep K. Gupta. Zero Aliasing for Modeled Faults
1296 -- 1305Kaushik Roy, Sudip Nag. On Routability for FPGAs under Faulty Conditions
1306 -- 1317Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello. An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
1318 -- 1322Th. Haniotakis, Antonis M. Paschalis, Dimitris Nikolos. Efficient Totally Self-Checking Checkers for a Class of Borden Codes
1322 -- 1326Bjørn Olstad, Fredrik Manne. Efficient Partitioning of Sequences
1326 -- 1330David M. Mandelbaum. Division Using a Logarithmic-Exponential Transform to Form a Short Reciprocal
1331 -- 1334Anders G. Skolleborg, Jos H. Weber. Construction of Systematic Codes for Unidirectional Error Control
1335 -- 1337Kuo-Liang Chung, Wen-Ming Yan. Fast Vectorization for Calculating a Moving Sum
1338 -- 1344Tsutomu Ishikawa. Hypercube Multiprocessors with Bus Connections for Improving Communication Performance
1344 -- 1348Ching Yu Hung, Behrooz Parhami. Error Analysis of Approximate Chinese-Reminder-Theorem Decoding
1348 -- 1351Roger A. Smith. A Continued-Fraction Analysis of Trigonometric Argument Reduction
1352 -- 1356Bapiraju Vinnakota. Implementing Multiplication with Split Read-Only Memory
1357 -- 1358Gihyun Jung. Comments on Some Additions to Solution of Switching Equations Based on a Tabular Algebra

Volume 44, Issue 10

1169 -- 1180Yuanyuan Yang, Gerald M. Masson. Broadcast Ring Sandwich Networks
1181 -- 1193Wei-Kuo Liao, Chung-Ta King. Valved Routing: Efficient Flow Control for Adaptive Nonminimal Routing in Interconnection Networks
1194 -- 1207Theodore Johnson. Characterizing the Performance of Algorithms for Lock-Free Objects
1208 -- 1215Frank T. Hady, Bernard L. Menezes. The Performance of Crossbar-Based Binary Hypercubes
1216 -- 1222Pierre Semal. Refinable Bounds for Large Markov Chains
1223 -- 1235Rafael H. Saavedra, Alan Jay Smith. Measuring Cache and TLB Performance and Their Effect on Benchmark Runtimes
1236 -- 1247Vincenzo Catania, Antonio Puliafito, Salvatore Riccobene, Lorenzo Vita. Design and Performance Analysis of a Disk Array System
1248 -- 1251Priyalal Kulasinghe, Ahmed El-Amawy. On the Complexity of Optimal Bused Interconnections
1251 -- 1256Mohamed Soufi, Yvon Savaria, F. Darlay, Bozena Kaminska. Producing Reliable Initialization and Test of Sequential Circuits with Pseudorandom Vectors
1256 -- 1260K. M. Sammut, S. R. Jones. Arithmetic Unit Design for Neural Accelerators: Cost Performance Issues
1260 -- 1264Dipanwita Roy Chowdhury, Idranil Sen Gupta, Parimal Pal Chaudhuri. A Low-Cost High-Capacity Associative Memory Design Using Cellular Automata

Volume 44, Issue 1

1 -- 12Andrés Takach, Wayne Wolf, Miriam Leeser. An Automaton Model for Scheduling Constraints in Synchronous Machines
13 -- 19Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee. New Public-Key Cipher System Based Upon the Diophantine Equations
20 -- 34C. Murray Woodside, John E. Neilson, Dorina C. Petriu, Shikharesh Majumdar. The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software
35 -- 46Chung-Chi Jim Li, Shyh-Kwei Chen, W. Kent Fuchs, Wen-mei W. Hwu. Compiler-Based Multiple Instruction Retry
47 -- 53S. Lennart Johnsson, Ching-Tien Ho. On the Conversion Between Binary Code and Binary-Reflected Gray Code on Binary Cubes
54 -- 72Phillip J. Windley. Formal Modeling and Verification of Microprocessors
73 -- 91Jay K. Strosnider, John P. Lehoczky, Lui Sha. The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments
92 -- 105Christine Fricker. On Memory Contention Problems in Vector Multiprocessors
106 -- 117Chao Chi Tong, Chuan-lin Wu. Routing in a Three-Dimensional Chip
118 -- 122Keiichi Iwamura, Yasunori Dohi, Hideki Imai. A Design of Reed-Solomon Decoder with Systolic Array Structure
123 -- 129Bernard L. Menezes, Umesh Bakhru. New Bounds on the Reliability of Augmented Shuffle-Exchange Networks
129 -- 131Shuenn-Shyang Wang, Ming-Yuan Shau. Single Residue Error Correction Based on K-Term m_j-Projection
131 -- 138Richard Mazzaferri, Teresa M. Murray. The Connection Network Class for Fault Tolerant Meshes
139 -- 144Irith Pomeranz, Sudhakar M. Reddy. Aliasing Computation Using Fault Simulation with Fault Dropping
144 -- 150Paolo Montuschi, Luigi Ciminiera. A Remark on Reducing Iteration Time when Result Digit is Zero for Radix-2 SRT Division and Square Root with Redundant Remainders
150 -- 155Jehoshua Bruck, Robert Cypher, Ching-Tien Ho. Wildcard Dimensions, Coding Theory and Fault-Tolerant Meshes and Hypercubes
155 -- 161Debasish Das, Krishnendu Mukhopadhyaya, Bhabani P. Sinha. Implementation of Four Common Functions on an LNS Co-Processor
162 -- 0Anton T. Dahbura, Gerald M. Masson. Large Response to Comments on An O(n^2.5) Fault Identification Algorithm for Diagnosable Systems
runs on