


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














