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
• 
  K. H. 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, (Correction: IEEE Transactions on Computers 47(12): 1425 (1998))

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, P. 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, M. J. 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

• 
  Simon R. Blackburn, Sean Murphy, Kenneth G. Paterson: Comments on "Theory and Applications of Cellular Automata in Cryptography". 637-638
• 
  S. 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
• 
  D. L. Tao, Kamal Kantawala: Evaluating Reliability Improvements of Fault Tolerant Array Processors Using Algorithm-Based Fault Tolerance. 725-730
• 
  Yuke Wang, Mostafa 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ön, 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, (Errata: IEEE Transactions on Computers 47(2) (1998))

• 
  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

• 
  N. W. 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

last updated on Sat May 18 06:40:06 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page