Journal: IEEE Transactions on Computers

Volume 46, Issue 9

961 -- 975Dominique Michelucci, Jean-Michel Moreau. Lazy Arithmetic
976 -- 985Avi Ziv, Jehoshua Bruck. An On-Line Algorithm for Checkpoint Placement
986 -- 996Ashish Mehra, Jennifer Rexford, Farnam Jahanian. Design and Evaluation of a Window-Consistent Replication Service
997 -- 1015Shantanu Dutt, Nihar R. Mahapatra. Node-Covering, Error-Correcting Codes and Multiprocessors with Very High Average Fault Tolerance
1016 -- 1027Hans Hansson, Harold W. Lawson, Olof Bridal, Christer Eriksson, Sven Larsson, Henrik Lön, Mikael Strömberg. BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems
1028 -- 1034Shyue-Kung Lu, Sy-Yen Kuo, Cheng-Wen Wu. Fault-Tolerant Interleaved Memory Systems with Two-Level Redundancy
1034 -- 1039Sanjoy K. Baruah, Jayant R. Haritsa. Scheduling for Overload in Real-Time Systems
1040 -- 1042Pao Hwa Sui, Sheng-De Wang. An Improved Algorithm for Fault-Tolerant Routing in Hypercubes
1042 -- 1049Qian-Ping Gu, Shietung Peng. k-Pairwise Cluster Fault Tolerant Routing in Hypercubes
1050 -- 1054Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghian. A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin s Asynchronous Design Methodology

Volume 46, Issue 8

833 -- 854Stuart F. Oberman, Michael J. Flynn. Division Algorithms and Implementations
855 -- 870Elisardo Antelo, Julio Villalba, Javier D. Bruguera, Emilio L. Zapata. High Performance Rotation Architectures Based on the Radix-4 CORDIC Algorithm
871 -- 879Hsing-Lung Chen, Nian-Feng Tzeng. Subcube Determination in Faulty Hypercubes
880 -- 889Xiaojun Shen, Weifa Liang, Qing Hu. On Embedding Between 2D Meshes of the Same Size
890 -- 904Andreas Alexander Albrecht, S. K. Cheung, K. C. Hui, Kwong-Sak Leung, C. K. Wong. Optimal Placements of Flexible Objects: Part I: Analytical Results for the Unbounded Case
905 -- 929Andreas Alexander Albrecht, S. K. Cheung, K. C. Hui, Kwong-Sak Leung, C. K. Wong. Optimal Placements of Flexible Objects: Part II: A Simulated Annealing Approach for the Bounded Case
930 -- 941C. D. Yang, D. T. Lee, C. K. Wong. The Smallest Pair of Noncrossing Paths in a Rectilinear Polygon
942 -- 947Nitin H. Vaidya. Impact of Checkpoint Latency on Overhead Ratio of a Checkpointing Scheme
947 -- 952Yu-Chee Tseng. A Dilated-Diagonal-Based Scheme for Broadcast in a Wormhole-Routed 2D Torus
953 -- 958Ge-Ming Chiu, Kai-Shung Chen. Use of Routing Capability for Fault-Tolerant Routing in Hypercube Multicomputers
958 -- 960Frank K. Hwang. A Modification to a Decomposition Algorithm of Gordon and Srikanthan

Volume 46, Issue 7

737 -- 748Yoram Ofek, Bülent Yener, Moti Yung. Concurrent Asynchronous Broadcast on the MetaNet
749 -- 755Seungjin Park, Bella Bose. All-to-All Broadcasting in Faulty Hypercubes
756 -- 767Ching-Chih Han, Chao-Ju Hou, Kang G. Shin. On Slot Allocation for Time-Constrained Messages in Dual-Bus Networks
779 -- 782Leslie Lamport. How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
783 -- 794Irith Pomeranz, Sudhakar M. Reddy. Test Generation for Multiple State-Table Faults in Finite-State Machines
795 -- 810Nilanjan Mukherjee, Janusz Rajski, Jerzy Tyszer. Design of Testable Multipliers for Fixed-Width Data Paths
811 -- 816Mitchell A. Thornton. Signed Binary Addition Circuitry with Inherent Even Parity Outputs
817 -- 820D. L. Tao. A Self-Testing Nonincreasing Order Checker
820 -- 823Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng. On the Correctness of Inside-Out Routing Algorithm
824 -- 829W. S. VanScheik, R. F. Tinder. High Speed Externally Asynchronous/Internally Clocked Systems

Volume 46, Issue 6

642 -- 658Özalp Babaoglu, Alberto Bartoli, Gianluca Dini. Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems
659 -- 672Jorge Arturo Cobb, Mohamed G. Gouda. The Request Reply Family of Group Routing Protocols
673 -- 686Mike P. Papazoglou, Alex Delis, Athman Bouguettaya, Mostafa Haghjoo. Class Library Support for Workflow Environments and Applications
687 -- 694Younes M. Boura, Chita R. Das. Performance Analysis of Buffering Schemes on Wormhole Routers
695 -- 701Guoping Liu, Kyungsook Y. Lee, Harry F. Jordan. TDM and TWDM de Bruijn Networks and ShuffleNets for Optical Communications
701 -- 704Takafumi Hamano, Naofumi Takagi, Shuzo Yajima, Franco P. Preparata. O(n)-Depth Modular Exponentiation Circuit Algorithm
705 -- 708M. Anwarul Hasan. Division-and-Accumulation over GF(2 )
709 -- 716Tsutomu Sasao. Easily Testable Realizations for Generalized Reed-Muller Expressions
716 -- 718Frank K. Hwang, P.-J. Wan. Comparing File Copies with at Most Three Disagreeing Pages
719 -- 724S. Kartik, C. Siva Ram Murthy. Task Allocation Algorithms for Maximizing Reliability of Distributed Computing Systems
725 -- 730D. L. Tao, Kamal Kantawala. Evaluating Reliability Improvements of Fault Tolerant Array Processors Using Algorithm-Based Fault Tolerance
731 -- 733Yuke Wang, Mostafa H. Abd-El-Barr, Carl McCrosky. An Algorithm for Total Symmetric OBDD Detection
734 -- 0Dan M. Marom, David Mendlovic. Comment on A New Routing Algorithm for a Class of Rearrangeable Networks

Volume 46, Issue 5

515 -- 529Patrick M. Lenders, Sanjay V. Rajopadhye. Multirate VLSI Arrays and Their Synthesis
530 -- 544François Bodin, André Seznec. Skewed Associativity Improves Program Performance and Enhances Predictability
545 -- 557Sandeep N. Bhatt, Fan R. K. Chung, Frank Thomson Leighton, Arnold L. Rosenberg. An Optimal Strategies for Cycle-Stealing in Networks of Workstations
558 -- 571Alain Mérigot. Associative Nets: A Graph-Based Parallel Computing Net
572 -- 587Amy W. Apon, Lawrence W. Dowdy. The Circulating Processor Model of Parallel Systems
588 -- 592Chung-Chin Lu. A Search of Minimal Key Functions for Normal Basis Multipliers
593 -- 599Yu-Chee Tseng, Jang-Ping Sheu. Toward Optimal Broadcast in a Star Graph Using Multiple Spanning Trees
600 -- 602Joseph L. Ganley, James P. Cohoon. Minimum-Congestion Hypergraph Embedding in a Cycle
603 -- 610Dimitrios Stiliadis, Anujan Varma. Selective Victim Caching: A Method to Improve the Performance of Direct-Mapped Caches
611 -- 616M. G. Parker, Mohammed Benaissa. Modular Arithmetic Using Low Order Redundant Bases
616 -- 622Suresh Chalasani, Rajendra V. Boppana. Communication in Multicomputers with Nonconvex Faults
623 -- 629Marc Daumas, David W. Matula. Validated Roundings of Dot Products by Sticky Accumulation
630 -- 636Keqin Li. Stochastic Bounds for Parallel Program Execution Times with Processor Constraints
637 -- 638Simon R. Blackburn, Sean Murphy, Kenneth G. Paterson. Comments on Theory and Applications of Cellular Automata in Cryptography
639 -- 0S. Nandi, Parimal Pal Chaudhuri. Reply to Comments on Theory and Application of Cellular Automata in Cryptography

Volume 46, Issue 4

385 -- 398J. V. Woods, P. Day, Stephen B. Furber, Jim D. Garside, N. C. Paver, Steve Temple. AMULET1: A Asynchronous ARM Microprocessor
399 -- 411Bernard K. Gunther. Multithreading with Distributed Functional Units
412 -- 424Kent D. Wilken, Timothy Kong. Concurrent Detection of Software and Hardware Data-Access Faults
425 -- 438Nirmal R. Saxena, Edward J. McCluskey. Parallel Signatur Analysis Design with Bounds on Aliasing
439 -- 455Hung-Kuei Ku, John P. Hayes. Systematic Design of Fault-Tolerant Multiprocessors with Shared Buses
469 -- 472David R. Kaeli, Philip G. Emma. Improving the Accuracy of History Based Branch Prediction
473 -- 476Dimitri Kazakos, Lazaros F. Merakos, Hakan Deliç. Random Multiple Access Algorithms Using a Control Mini-Slot
477 -- 483Stephen R. Tate. Band Ordering in Lossless Compression of Multispectral Images
484 -- 490Jie Wu, Ke Huang. The Balanced Hypercube: A Cube-Based System for Fault-Tolerant Applications
491 -- 494Jon T. Butler, David S. Herscovici, Tsutomu Sasao, Robert J. Barton III. Average an Worst Case Number of Nodes in Decision Diagrams of Symmetric Multiple-Valued Functions
495 -- 498Massayuki Ito, Naofumi Takagi, Shuzo Yajima. Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication with Operand Modification
499 -- 505Jong Kim, Heejo Lee, Sunggu Lee. Replicated Process Allocation for Load Distribution in Fault-Tolerant Multicomputers
505 -- 510Patrick Fitzpatrick. Extending Backward Error Assertions to Tolerance of Large Errors in Floating Point Computations
511 -- 0Chi-Sung Laih, M. J. Gau. Cryptanalysis if a Diophantine Equation Oriented Public Key Cryptosystem

Volume 46, Issue 3

257 -- 259Imrich Chlamtac, Yi-Bing Lin. Guest Editors Introduction-Mobile Computing: When Mobility Meets Computation
260 -- 278Ajay V. Bakre, B. R. Badrinath. Implementation and Performance Evaluation of Indirekt TCP
279 -- 289Michele Zorzi, Ramesh R. Rao. Error Control and Energy Consumption in Communications for Nomadic Computing
290 -- 298Rohit Dube, Cynthia D. Rais, Satish K. Tripathi. Improving NFS Performance Over Wireless Links
299 -- 311Qi Lu, Mahadev Satyanarayanan. Resource Conservation in a Mobile Transaction System
312 -- 325Kyungshik Lim, Yann-Hang Lai. Optimal Partitioning of Heterogeneous Traffic Sources in Mobile Communications Networks
326 -- 336Xuefeng Dong, Ten-Hwang Lai. An Efficient Protocol for Call Setyp and Path Migration in IEEE 802.6 Based Personal Communication Networks
337 -- 352Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek. Mobile Computing with the Rover Toolkit
353 -- 361Sridhar Alagar, Subbarayan Venkatesan. Causal Ordering in Distributed Mobile Systems
362 -- 367Kin K. Leung. An Update Algorithm for Replicated Signaling Databases in Wireless and Advanced Intelligent Networks
367 -- 370Bezalel Gavish, Suresh Sridhar. Threshold Priority Policy for Channel Assignment in Cellular Networks
372 -- 378Dhiraj K. Pradhan, Nitin H. Vaidya. Roll-Forward and Rollback Recovery: Performance-Reliability Trade-Off
379 -- 384Hsing-Lung Chen, Nian-Feng Tzeng. On-Line Task Migration in Hypercubes Through Double Disjoint Pats

Volume 46, Issue 2

129 -- 138Eisuke Kinoshita, Ki-Ja Lee. A Residue Arithmetic Extension for Reliable Scientific Computation
139 -- 141Colin D. Walter. Space/Time Trade-Offs for Higher Radix Modular Multiplication Using Repeated Addition
142 -- 153Ming-Bo Lin, A. Yavuz Oruç. The Design of an Optoelectronic Arithmetic Processor Based on Permutation Networks
154 -- 161Stuart F. Oberman, Michael J. Flynn. Design Issues in Division and Other Floating-Point Operations
162 -- 172Huapeng Wu, M. Anwarul Hasan. Efficient Exponentiation of a Primitive Root in GF(2^m)
173 -- 186Chien-Chung Tsai, Malgorzata Marek-Sadowska. Boolean Functions Classification via Fixed Polarity Reed-Muller Forms
187 -- 190Robert A. Rowley, Bella Bose. Distributed Ring Embedding in Faulty De Bruijn Networks
190 -- 197Jatin Upadhyay, Vara Varavithya, Prasant Mohapatra. A Traffic-Balanced Adaptive Wormhole-Routing Scheme for Two-Dimensional Meshes
198 -- 200Fred S. Annexstein. Generating De Bruijn Sequences: An Efficient Implementation
200 -- 204Krzysztof Diks, Andrzej Pelc. Globally Optimal Diagnosis in Systems with Random Faults
205 -- 209Kriss A. Schueller, Jon T. Butler. Complexity Analysis of the Cost-Table Approach to the Design of Multiple-Valued Logic Circuits
210 -- 215André Seznec. Decoupled Sectored Caches
216 -- 221Rong-Huei Hou, Sy-Yen Kuo, Yi-Ping Chang. Optimal Release Times for Software Systems with Scheduled Delivery Time Based on the HGDM
222 -- 228Jehn-Ruey Jiang, Shing-Tsaan Huang, Yu-Chen Kuo. Cohorts Structures for Fault-Tolerant k Entries to a Critical Section
229 -- 234José Fridman, Sampath Rangarajan. Maximizing Mean-Time to Failure in k-Resilient Systems with Repair
234 -- 240Peter A. Franaszek, John T. Robinson. On Variable Scope of Parity Protection in Disk Arrays
241 -- 247Jie Wu. Reliable Unicasting in Faulty Hypercubes Using Safety Levels
248 -- 253Jien-Chung Lo. A Fast Binary Adder with Conditional Carry Generation

Volume 46, Issue 12

1281 -- 1291Kevin Bolding, Melanie L. Fulgham, Lawrence Snyder. The Case for Chaotic Adaptive Routing
1293 -- 1303Chi-Chang Chen, Jianer Chen. Optimal Parallel Routing in Star Networks
1304 -- 1312Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson. A Formally Verified Sorting Certifier
1313 -- 1324Tei-Wei Kuo, Aloysius K. Mok. Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems
1325 -- 1337Moncef Hamdaoui, Parameswaran Ramanathan. Evaluating Dynamic Failure Probability for Streams with (m, k)-Firm Deadlines
1338 -- 1356Chao-Ju Hou, Kang G. Shin. Allocation of Periodic Task Modules with Precedence and Deadline Constraints
1357 -- 1362N. W. Lo, Bradley S. Carlson, D. L. Tao. Fault Tolerant Algorithms for Broadcasting on the Star Graph Network
1363 -- 1371Yung-Yuan Chen, Shambhu J. Upadhyaya, Ching-Hwa Cheng. A Comprehensive Reconfiguration Scheme for Fault-Tolerant VLSI/WSI Array Processors
1371 -- 1377Yiu-Wing Leung. Processor Assignment and Execution Sequence for Multiversion Software
1378 -- 1381M. V. Ramakrishna, E. Fu, E. Bahcekapili. Efficient Hardware Hashing Functions for High Performance Computers
1381 -- 1386Avi Ziv, Jehoshua Bruck. Performance Optimization of Checkpointing Schemes with Task Duplication
1387 -- 1395Suresh Chalasani. A New Parallel Algorithm for Time-Slot Assignment in Hierarchical Switching Systems

Volume 46, Issue 11

1155 -- 1173Sinisa Srbljic, Zvonko G. Vranesic, Michael Stumm, Leo Budin. Analytical Prediction of Performance for Cache Coherence Protocols
1174 -- 1186Vidyadhar Phalke, B. Gopinath. Compression-Based Program Characterization for Improving Cache Memory Performance
1187 -- 1201Hong Wang 0003, Tong Sun, Qing Yang. Minimizing Area Cost of On-Chip Cache Memories by Caching Address Tags
1202 -- 1207Shaoyun Wang, Vincenzo Piuri, Earl E. Swartzlander Jr.. Hybrid CORDIC Algorithms
1208 -- 1218Abhijit Chatterjee, Rabindra K. Roy. Concurrent Error Detection in Nonlinear Digital Circuits Using Time-Freeze Linearization
1219 -- 1229Danial J. Neebel, Charles R. Kime. Cellular Automata for Weighted Random Pattern Generation
1230 -- 1245Jawahar Jain, James R. Bitner, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell. Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions
1246 -- 1263Kuan Jen Lin, Chi-Wen Kuo, Chen-Shang Lin. Synthesis of Hazard-Free Asynchronous Circuits Based on Characteristic Graph
1264 -- 1271Elisardo Antelo, Javier D. Bruguera, Tomás Lang, Emilio L. Zapata. Error Analysis and Reduction for Angle Calculation Using the CORDIC Algorithm
1272 -- 1279Bogdan J. Falkowski, Chip-Hong Chang. Forward and Inverse Transformations Between Haar Spectra and Ordered Binary Decision Diagrams of Boolean Functions

Volume 46, Issue 10

1057 -- 1069Ted H. Szymanski. Design Principles for Practical Self-Routing Nonblocking Switching Networks with O(N log N) Bit-Complexity
1070 -- 1082Antonio Fernández, Kemal Efe. Efficient VLSI Layouts for Homogeneous Product Networks
1083 -- 1102Kunle Olukotun, Trevor N. Mudge, Richard B. Brown. Multilevel Optimization of Pipelined Caches
1083 -- 1092Myung M. Bae, Bella Bose. Resource Placement in Torus-Based Networks
1103 -- 1118Odysseas I. Pentakalos, Daniel A. Menascé, Milton Halem, Yelena Yesha. Analytical Performance Modeling of Hierarchical Mass Storage Systems
1119 -- 1131Arnold L. Rosenberg, Vittorio Scarano, Ramesh K. Sitaraman. The Reconfigurable Ring of Processors: Fine-Grain Tree-Structured Computations
1132 -- 1136Mallika De, Debasish Das, Mabhin Ghosh, Bhabani P. Sinha. An Efficient Sorting Algorithm on the Multi-Mesh Network
1137 -- 1141Yi-Min Wang, Yennun Huang, W. Kent Fuchs, Chandra M. R. Kintala, Gaurav Suri. Progressive Retry for Software Failure Recovery in Message-Passing Applications
1142 -- 1145Barry S. Fagin. Partial Resolution in Branch Target Buffers
1146 -- 1150F. Pourbigharaz, H. M. Yassine. A Signed-Digit Architecture for Residue to Binary Transformation
1151 -- 0Bruce L. Jacob, Peter M. Chen, Seth R. Silverman, Trevor N. Mudge. A Comment on An Analytical Model for Designing Memory Hierarchies

Volume 46, Issue 1

1 -- 13Lui Sha, Shirish S. Sathaye, Jay K. Strosnider. Analysis of Dual-Link Networks for Real-Time Applications
14 -- 26Shlomi Dolev, Jennifer L. Welch. Crash Resilient Communication in Dynamic Networks
27 -- 38Stergios Papadimitriou, Anastasios Bezerianos, Tassos Bountis. Secure Communication with Chaotic Systems of Difference Equations
39 -- 47Sanjeev Khanna, W. Kent Fuchs. A Graph Partitioning Approach to Sequential Diagnosis
48 -- 59Irith Pomeranz, Sudhakar M. Reddy. On Dictionary-Based Fault Location in Digital Logic Circuits
60 -- 74Kumar K. Goswami, Ravishankar K. Iyer, Luke T. Young. DEPEND: A Simulation-Based Environment for System Level Dependability Analysis
75 -- 79Rajendra S. Katti. Nonprime Memory Systems and Error Correction in Address Translation
80 -- 84Yousef R. Shayan, Tho Le-Ngoc. A Cellular Structure for a Versatile Reed-Solomon Decoder
85 -- 92Hosahalli R. Srinivas, Keshab K. Parhi, Luis A. Montalvo. Radix 2 Division with Over-Redundant Quotient Selection
93 -- 99Hasan Ural, Xiaolin Wu, Fan Zhang. On Minimizing the Lengths of Checking Sequences
100 -- 104K. H. Yeung, T. S. Yum. Selective Broadcast Data Distribution Systems
105 -- 109Mitsuru Hamada, Eiji Fujiwara. A Class of Error Control Codes for Byte Organized Memory Systems —SbEC-(Sb+S)ED Codes—
110 -- 117Suresh K. Bhogavilli, Hosame Abu-Amara. Design and Analysis of High Performance Multistage Interconnection Networks
118 -- 124Qing Hu, Xiaojun Shen, Jing-yu Yang. Topologies of Combined (2logN – 1)-Stage Interconnection Networks