default search action
IEEE Transactions on Computers, Volume 46
Volume 46, Number 1, January 1997
- Lui Sha, Shirish S. Sathaye, Jay K. Strosnider:
Analysis of Dual-Link Networks for Real-Time Applications. 1-13 - Shlomi Dolev, Jennifer L. Welch:
Crash Resilient Communication in Dynamic Networks. 14-26 - Stergios Papadimitriou, Anastasios Bezerianos, Tassos Bountis:
Secure Communication with Chaotic Systems of Difference Equations. 27-38
- Sanjeev Khanna, W. Kent Fuchs:
A Graph Partitioning Approach to Sequential Diagnosis. 39-47 - Irith Pomeranz, Sudhakar M. Reddy:
On Dictionary-Based Fault Location in Digital Logic Circuits. 48-59
- Kumar K. Goswami, Ravishankar K. Iyer, Luke T. Young:
DEPEND: A Simulation-Based Environment for System Level Dependability Analysis. 60-74
- Rajendra S. Katti:
Nonprime Memory Systems and Error Correction in Address Translation. 75-79 - Yousef R. Shayan, Tho Le-Ngoc:
A Cellular Structure for a Versatile Reed-Solomon Decoder. 80-84 - Hosahalli R. Srinivas, Keshab K. Parhi, Luis A. Montalvo:
Radix 2 Division with Over-Redundant Quotient Selection. 85-92 - Hasan Ural, Xiaolin Wu, Fan Zhang:
On Minimizing the Lengths of Checking Sequences. 93-99 - Kai-Hau Yeung, Tak-Shing Yum:
Selective Broadcast Data Distribution Systems. 100-104 - Mitsuru Hamada, Eiji Fujiwara:
A Class of Error Control Codes for Byte Organized Memory Systems -SbEC-(Sb+S)ED Codes-. 105-109 - Suresh K. Bhogavilli, Hosame Abu-Amara:
Design and Analysis of High Performance Multistage Interconnection Networks. 110-117 - Qing Hu, Xiaojun Shen, Jing-Yu Yang:
Topologies of Combined (2logN - 1)-Stage Interconnection Networks. 118-124
Volume 46, Number 2, February 1997
- Eisuke Kinoshita, Ki-Ja Lee:
A Residue Arithmetic Extension for Reliable Scientific Computation. 129-138 - Colin D. Walter:
Space/Time Trade-Offs for Higher Radix Modular Multiplication Using Repeated Addition. 139-141 - Ming-Bo Lin, A. Yavuz Oruç:
The Design of an Optoelectronic Arithmetic Processor Based on Permutation Networks. 142-153 - Stuart F. Oberman, Michael J. Flynn:
Design Issues in Division and Other Floating-Point Operations. 154-161 - Huapeng Wu, M. Anwarul Hasan:
Efficient Exponentiation of a Primitive Root in GF(2^m). 162-172
- Chien-Chung Tsai, Malgorzata Marek-Sadowska:
Boolean Functions Classification via Fixed Polarity Reed-Muller Forms. 173-186
- Robert A. Rowley, Bella Bose:
Distributed Ring Embedding in Faulty De Bruijn Networks. 187-190 - Jatin Upadhyay, Vara Varavithya, Prasant Mohapatra:
A Traffic-Balanced Adaptive Wormhole-Routing Scheme for Two-Dimensional Meshes. 190-197 - Fred S. Annexstein:
Generating De Bruijn Sequences: An Efficient Implementation. 198-200 - Krzysztof Diks, Andrzej Pelc:
Globally Optimal Diagnosis in Systems with Random Faults. 200-204 - Kriss A. Schueller, Jon T. Butler:
Complexity Analysis of the Cost-Table Approach to the Design of Multiple-Valued Logic Circuits. 205-209 - André Seznec:
Decoupled Sectored Caches. 210-215 - Rong-Huei Hou, Sy-Yen Kuo, Yi-Ping Chang:
Optimal Release Times for Software Systems with Scheduled Delivery Time Based on the HGDM. 216-221 - Jehn-Ruey Jiang, Shing-Tsaan Huang, Yu-Chen Kuo:
Cohorts Structures for Fault-Tolerant k Entries to a Critical Section. 222-228 - José Fridman, Sampath Rangarajan:
Maximizing Mean-Time to Failure in k-Resilient Systems with Repair. 229-234 - Peter A. Franaszek, John T. Robinson:
On Variable Scope of Parity Protection in Disk Arrays. 234-240 - Jie Wu:
Reliable Unicasting in Faulty Hypercubes Using Safety Levels. 241-247 - Jien-Chung Lo:
A Fast Binary Adder with Conditional Carry Generation. 248-253
Volume 46, Number 3, March 1997
- Imrich Chlamtac, Yi-Bing Lin:
Guest Editors' Introduction-Mobile Computing: When Mobility Meets Computation. 257-259 - Ajay V. Bakre, B. R. Badrinath:
Implementation and Performance Evaluation of Indirekt TCP. 260-278 - Michele Zorzi, Ramesh R. Rao:
Error Control and Energy Consumption in Communications for Nomadic Computing. 279-289 - Rohit Dube, Cynthia D. Rais, Satish K. Tripathi:
Improving NFS Performance Over Wireless Links. 290-298 - Qi Lu, Mahadev Satyanarayanan:
Resource Conservation in a Mobile Transaction System. 299-311 - Kyungshik Lim, Yann-Hang Lai:
Optimal Partitioning of Heterogeneous Traffic Sources in Mobile Communications Networks. 312-325 - Xuefeng Dong, Ten-Hwang Lai:
An Efficient Protocol for Call Setyp and Path Migration in IEEE 802.6 Based Personal Communication Networks. 326-336 - Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek:
Mobile Computing with the Rover Toolkit. 337-352 - Sridhar Alagar, Subbarayan Venkatesan:
Causal Ordering in Distributed Mobile Systems. 353-361
- Kin K. Leung:
An Update Algorithm for Replicated Signaling Databases in Wireless and Advanced Intelligent Networks. 362-367 - Bezalel Gavish, Suresh Sridhar:
Threshold Priority Policy for Channel Assignment in Cellular Networks. 367-370 - Dhiraj K. Pradhan, Nitin H. Vaidya:
Roll-Forward and Rollback Recovery: Performance-Reliability Trade-Off. 372-378 - Hsing-Lung Chen, Nian-Feng Tzeng:
On-Line Task Migration in Hypercubes Through Double Disjoint Pats. 379-384
Volume 46, Number 4, April 1997
- John V. Woods, Paul Day, Stephen B. Furber, Jim D. Garside, N. C. Paver, Steve Temple:
AMULET1: A Asynchronous ARM Microprocessor. 385-398 - Bernard K. Gunther:
Multithreading with Distributed Functional Units. 399-411
- Kent D. Wilken, Timothy Kong:
Concurrent Detection of Software and Hardware Data-Access Faults. 412-424 - Nirmal R. Saxena, Edward J. McCluskey:
Parallel Signatur Analysis Design with Bounds on Aliasing. 425-438
- Hung-Kuei Ku, John P. Hayes:
Systematic Design of Fault-Tolerant Multiprocessors with Shared Buses. 439-455 - Yin-Min Wang:
Consistent Global checkpoints that Contain a Given Set of Local Chekpoints. 456-468
- David R. Kaeli, Philip G. Emma:
Improving the Accuracy of History Based Branch Prediction. 469-472 - Dimitri Kazakos, Lazaros F. Merakos, Hakan Deliç:
Random Multiple Access Algorithms Using a Control Mini-Slot. 473-476 - Stephen R. Tate:
Band Ordering in Lossless Compression of Multispectral Images. 477-483 - Jie Wu, Ke Huang:
The Balanced Hypercube: A Cube-Based System for Fault-Tolerant Applications. 484-490 - Jon 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. 491-494 - Masayuki Ito, Naofumi Takagi, Shuzo Yajima:
Efficient Initial Approximation for Multiplicative Division and Square Root by a Multiplication with Operand Modification. 495-498 - Jong Kim, Heejo Lee, Sunggu Lee:
Replicated Process Allocation for Load Distribution in Fault-Tolerant Multicomputers. 499-505 - Patrick Fitzpatrick:
Extending Backward Error Assertions to Tolerance of Large Errors in Floating Point Computations. 505-510
- Chi-Sung Laih, Min-Jea Gau:
Cryptanalysis if a Diophantine Equation Oriented Public Key Cryptosystem. 511 - Simon R. Blackburn, Sean Murphy, Kenneth G. Paterson:
Comments on "Theory and Applications of Cellular Automata in Cryptography". 637-638
Volume 46, Number 5, May 1997
- Patrick M. Lenders, Sanjay V. Rajopadhye:
Multirate VLSI Arrays and Their Synthesis. 515-529
- François Bodin, André Seznec:
Skewed Associativity Improves Program Performance and Enhances Predictability. 530-544
- Sandeep N. Bhatt, Fan R. K. Chung, Frank Thomson Leighton, Arnold L. Rosenberg:
An Optimal Strategies for Cycle-Stealing in Networks of Workstations. 545-557 - Alain Mérigot:
Associative Nets: A Graph-Based Parallel Computing Net. 558-571 - Amy W. Apon, Lawrence W. Dowdy:
The Circulating Processor Model of Parallel Systems. 572-587
- Chung-Chin Lu:
A Search of Minimal Key Functions for Normal Basis Multipliers. 588-592 - Yu-Chee Tseng, Jang-Ping Sheu:
Toward Optimal Broadcast in a Star Graph Using Multiple Spanning Trees. 593-599 - Joseph L. Ganley, James P. Cohoon:
Minimum-Congestion Hypergraph Embedding in a Cycle. 600-602 - Dimitrios Stiliadis, Anujan Varma:
Selective Victim Caching: A Method to Improve the Performance of Direct-Mapped Caches. 603-610 - M. G. Parker, Mohammed Benaissa:
Modular Arithmetic Using Low Order Redundant Bases. 611-616 - Suresh Chalasani, Rajendra V. Boppana:
Communication in Multicomputers with Nonconvex Faults. 616-622 - Marc Daumas, David W. Matula:
Validated Roundings of Dot Products by Sticky Accumulation. 623-629 - Keqin Li:
Stochastic Bounds for Parallel Program Execution Times with Processor Constraints. 630-636
- Sukumar Nandi, Parimal Pal Chaudhuri:
Reply to Comments on "Theory and Application of Cellular Automata in Cryptography". 639
Volume 46, Number 6, June 1997
- Özalp Babaoglu, Alberto Bartoli, Gianluca Dini:
Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems. 642-658 - Jorge Arturo Cobb, Mohamed G. Gouda:
The Request Reply Family of Group Routing Protocols. 659-672 - Mike P. Papazoglou, Alex Delis, Athman Bouguettaya, Mostafa Haghjoo:
Class Library Support for Workflow Environments and Applications. 673-686
- Younes M. Boura, Chita R. Das:
Performance Analysis of Buffering Schemes on Wormhole Routers. 687-694
- Guoping Liu, Kyungsook Y. Lee, Harry F. Jordan:
TDM and TWDM de Bruijn Networks and ShuffleNets for Optical Communications. 695-701 - Takafumi Hamano, Naofumi Takagi, Shuzo Yajima, Franco P. Preparata:
O(n)-Depth Modular Exponentiation Circuit Algorithm. 701-704 - M. Anwarul Hasan:
Division-and-Accumulation over GF(2'''). 705-708 - Tsutomu Sasao:
Easily Testable Realizations for Generalized Reed-Muller Expressions. 709-716 - Frank K. Hwang, P. J. Wan:
Comparing File Copies with at Most Three Disagreeing Pages. 716-718 - S. Kartik, C. Siva Ram Murthy:
Task Allocation Algorithms for Maximizing Reliability of Distributed Computing Systems. 719-724 - Dali L. Tao, Kamal Kantawala:
Evaluating Reliability Improvements of Fault Tolerant Array Processors Using Algorithm-Based Fault Tolerance. 725-730 - Yuke Wang, Mostafa I. H. Abd-El-Barr, Carl McCrosky:
An Algorithm for Total Symmetric OBDD Detection. 731-733
- Dan M. Marom, David Mendlovic:
Comment on "A New Routing Algorithm for a Class of Rearrangeable Networks". 734
Volume 46, Number 7, July 1997
- Yoram Ofek, Bülent Yener, Moti Yung:
Concurrent Asynchronous Broadcast on the MetaNet. 737-748 - Seungjin Park, Bella Bose:
All-to-All Broadcasting in Faulty Hypercubes. 749-755 - Ching-Chih Han, Chao-Ju Hou, Kang G. Shin:
On Slot Allocation for Time-Constrained Messages in Dual-Bus Networks. 756-767 - Leslie Lamport:
How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor. 779-782
- Irith Pomeranz, Sudhakar M. Reddy:
Test Generation for Multiple State-Table Faults in Finite-State Machines. 783-794 - Nilanjan Mukherjee, Janusz Rajski, Jerzy Tyszer:
Design of Testable Multipliers for Fixed-Width Data Paths. 795-810
- Mitchell A. Thornton:
Signed Binary Addition Circuitry with Inherent Even Parity Outputs. 811-816 - D. L. Tao:
A Self-Testing Nonincreasing Order Checker. 817-820 - Myung-Kyun Kim, Hyunsoo Yoon, Seung Ryoul Maeng:
On the Correctness of Inside-Out Routing Algorithm. 820-823 - W. S. VanScheik, Richard F. Tinder:
High Speed Externally Asynchronous/Internally Clocked Systems. 824-829
Volume 46, Number 8, August 1997
- Stuart F. Oberman, Michael J. Flynn:
Division Algorithms and Implementations. 833-854 - Elisardo Antelo, Julio Villalba, Javier D. Bruguera, Emilio L. Zapata:
High Performance Rotation Architectures Based on the Radix-4 CORDIC Algorithm. 855-870
- Hsing-Lung Chen, Nian-Feng Tzeng:
Subcube Determination in Faulty Hypercubes. 871-879 - Xiaojun Shen, Weifa Liang, Qing Hu:
On Embedding Between 2D Meshes of the Same Size. 880-889 - Andreas 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. 890-904 - Andreas 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. 905-929 - Chung-Do Yang, D. T. Lee, C. K. Wong:
The Smallest Pair of Noncrossing Paths in a Rectilinear Polygon. 930-941
- Nitin H. Vaidya:
Impact of Checkpoint Latency on Overhead Ratio of a Checkpointing Scheme. 942-947 - Yu-Chee Tseng:
A Dilated-Diagonal-Based Scheme for Broadcast in a Wormhole-Routed 2D Torus. 947-952 - Ge-Ming Chiu, Kai-Shung Chen:
Use of Routing Capability for Fault-Tolerant Routing in Hypercube Multicomputers. 953-958 - Frank K. Hwang:
A Modification to a Decomposition Algorithm of Gordon and Srikanthan. 958-960
Volume 46, Number 9, September 1997
- Dominique Michelucci, Jean-Michel Moreau:
Lazy Arithmetic. 961-975
- Avi Ziv, Jehoshua Bruck:
An On-Line Algorithm for Checkpoint Placement. 976-985 - Ashish Mehra, Jennifer Rexford, Farnam Jahanian:
Design and Evaluation of a Window-Consistent Replication Service. 986-996 - Shantanu Dutt, Nihar R. Mahapatra:
Node-Covering, Error-Correcting Codes and Multiprocessors with Very High Average Fault Tolerance. 997-1015
- Hans Hansson, Harold W. Lawson, Olof Bridal, Christer Eriksson, Sven Larsson, Henrik Lönn, Mikael Strömberg:
BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems. 1016-1027
- Shyue-Kung Lu, Sy-Yen Kuo, Cheng-Wen Wu:
Fault-Tolerant Interleaved Memory Systems with Two-Level Redundancy. 1028-1034 - Sanjoy K. Baruah, Jayant R. Haritsa:
Scheduling for Overload in Real-Time Systems. 1034-1039 - Pao Hwa Sui, Sheng-De Wang:
An Improved Algorithm for Fault-Tolerant Routing in Hypercubes. 1040-1042 - Qian-Ping Gu, Shietung Peng:
k-Pairwise Cluster Fault Tolerant Routing in Hypercubes. 1042-1049 - Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghian:
A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology. 1050-1054
Volume 46, Number 10, October 1997
- Ted H. Szymanski:
Design Principles for Practical Self-Routing Nonblocking Switching Networks with O(N log N) Bit-Complexity. 1057-1069 - Antonio Fernández, Kemal Efe:
Efficient VLSI Layouts for Homogeneous Product Networks. 1070-1082 - Myung M. Bae, Bella Bose:
Resource Placement in Torus-Based Networks. 1083-1092
- Kunle Olukotun, Trevor N. Mudge, Richard B. Brown:
Multilevel Optimization of Pipelined Caches. 1083-1102 - Odysseas I. Pentakalos, Daniel A. Menascé, Milton Halem, Yelena Yesha:
Analytical Performance Modeling of Hierarchical Mass Storage Systems. 1103-1118
- Arnold L. Rosenberg, Vittorio Scarano, Ramesh K. Sitaraman:
The Reconfigurable Ring of Processors: Fine-Grain Tree-Structured Computations. 1119-1131
- Mallika De, Debasish Das, Mabhin Ghosh, Bhabani P. Sinha:
An Efficient Sorting Algorithm on the Multi-Mesh Network. 1132-1136 - Yi-Min Wang, Yennun Huang, W. Kent Fuchs, Chandra M. R. Kintala, Gaurav Suri:
Progressive Retry for Software Failure Recovery in Message-Passing Applications. 1137-1141 - Barry S. Fagin:
Partial Resolution in Branch Target Buffers. 1142-1145 - F. Pourbigharaz, H. M. Yassine:
A Signed-Digit Architecture for Residue to Binary Transformation. 1146-1150
- Bruce L. Jacob, Peter M. Chen, Seth R. Silverman, Trevor N. Mudge:
A Comment on "An Analytical Model for Designing Memory Hierarchies". 1151
Volume 46, Number 11, November 1997
- Sinisa Srbljic, Zvonko G. Vranesic, Michael Stumm, Leo Budin:
Analytical Prediction of Performance for Cache Coherence Protocols. 1155-1173 - Vidyadhar Phalke, B. Gopinath:
Compression-Based Program Characterization for Improving Cache Memory Performance. 1174-1186 - Hong Wang, Tong Sun, Qing Yang:
Minimizing Area Cost of On-Chip Cache Memories by Caching Address Tags. 1187-1201
- Shaoyun Wang, Vincenzo Piuri, Earl E. Swartzlander Jr.:
Hybrid CORDIC Algorithms. 1202-1207
- Abhijit Chatterjee, Rabindra K. Roy:
Concurrent Error Detection in Nonlinear Digital Circuits Using Time-Freeze Linearization. 1208-1218 - Danial J. Neebel, Charles R. Kime:
Cellular Automata for Weighted Random Pattern Generation. 1219-1229 - Jawahar 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. 1230-1245
- Kuan-Jen Lin, Chi-Wen Kuo, Chen-Shang Lin:
Synthesis of Hazard-Free Asynchronous Circuits Based on Characteristic Graph. 1246-1263
- Elisardo Antelo, Javier D. Bruguera, Tomás Lang, Emilio L. Zapata:
Error Analysis and Reduction for Angle Calculation Using the CORDIC Algorithm. 1264-1271 - Bogdan J. Falkowski, Chip-Hong Chang:
Forward and Inverse Transformations Between Haar Spectra and Ordered Binary Decision Diagrams of Boolean Functions. 1272-1279
Volume 46, Number 12, December 1997
- Kevin Bolding, Melanie L. Fulgham, Lawrence Snyder:
The Case for Chaotic Adaptive Routing. 1281-1291 - Chi-Chang Chen, Jianer Chen:
Optimal Parallel Routing in Star Networks. 1293-1303
- Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson:
A Formally Verified Sorting Certifier. 1304-1312
- Tei-Wei Kuo, Aloysius K. Mok:
Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems. 1313-1324 - Moncef Hamdaoui, Parameswaran Ramanathan:
Evaluating Dynamic Failure Probability for Streams with (m, k)-Firm Deadlines. 1325-1337 - Chao-Ju Hou, Kang G. Shin:
Allocation of Periodic Task Modules with Precedence and Deadline Constraints. 1338-1356
- Nai-Wei Lo, Bradley S. Carlson, D. L. Tao:
Fault Tolerant Algorithms for Broadcasting on the Star Graph Network. 1357-1362 - Yung-Yuan Chen, Shambhu J. Upadhyaya, Ching-Hwa Cheng:
A Comprehensive Reconfiguration Scheme for Fault-Tolerant VLSI/WSI Array Processors. 1363-1371 - Yiu-Wing Leung:
Processor Assignment and Execution Sequence for Multiversion Software. 1371-1377 - M. V. Ramakrishna, E. Fu, E. Bahcekapili:
Efficient Hardware Hashing Functions for High Performance Computers. 1378-1381 - Avi Ziv, Jehoshua Bruck:
Performance Optimization of Checkpointing Schemes with Task Duplication. 1381-1386 - Suresh Chalasani:
A New Parallel Algorithm for Time-Slot Assignment in Hierarchical Switching Systems. 1387-1395
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.