IEEE Transactions on Computers, Volume 51

Volume 51, Number 1, January 2002

• Jean-Luc Gaudiot:
  Editor's Note. 1-2
  

• Lori M. Kaufman, Barry W. Johnson, Joanne Bechta Dugan:
  Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures. 3-12
  
• Wei Chen, Sam Toueg, Marcos Kawazoe Aguilera:
  On the Quality of Service of Failure Detectors. 13-32
  
• Cheng-Nan Lai, Gen-Huey Chen, Dyi-Rong Duh:
  Constructing One-to-Many Disjoint Paths in Folded Hypercubes. 33-45
  
• Byung S. Yoo, Chita R. Das:
  A Fast and Efficient Processor Allocation Scheme for Mesh-Connected Multicomputers. 46-60
  
• Farn Wang, Pao-Ann Hsiung:
  Efficient and User-Friendly Verification. 61-83
  

• Ahmad A. Hiasat:
  High-Speed and Reduced-Area Modular Adder Structures for RNS. 84-89
  
• Chang Han Kim, Sangho Oh, Jongin Lim:
  A New Hardware Architecture for Operations in GF(2m). 90-92
  

• Hongbing Fan, Yu-Liang Wu, Yao-Wen Chang:
  Comment on Generic Universal Switch Blocks. 93-96
  

Volume 51, Number 2, February 2002

• Dimiter R. Avresky, Barry W. Johnson, Fabrizio Lombardi:
  Guest Editors' Introduction. 97-99
  
• David L. Oppenheimer, Aaron B. Brown, James Beck, Daniel Hettena, Jon Kuroda, Noah Treuhaft, David A. Patterson, Katherine A. Yelick:
  ROC-1: Hardware Support for Recovery-Oriented Computing. 100-107
  
• Roy A. Maxion, Kymie M. C. Tan:
  Anomaly Detection in Embedded Systems. 108-120
  
• Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders:
  Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond. 121-137
  
• Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles:
  Dependability of COTS Microkernel-Based Systems. 138-163
  
• Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke:
  Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. 164-179
  
• Nahmsuk Oh, Subhasish Mitra, Edward J. McCluskey:
  ED4I: Error Detection by Diverse Data and Duplicated Instructions. 180-199
  
• Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto:
  Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications. 200-215
  

• David Lee, Mihalis Yannakakis:
  Closed Partition Lattice and Machine Decomposition. 216-228
  

• Stanislaw J. Piestrak:
  Design Method of a Class of Embedded Combinational Self-Testing Checkers for Two-Rail Codes. 229-234
  
• Andreas Steininger, Christoph Scherrer:
  Identifying Efficient Combinations of Error Detection Mechanisms Based on Results of Fault Injection Experiments. 235-239
  

Volume 51, Number 3, March 2002

• Jien-Chung Lo:
  Analysis of a BICS-Only Concurrent Error Detection Method. 241-253
  
• Juan A. Carrasco:
  Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems. 254-268
  
• Vinay Kanitkar, Alex Delis:
  Real-Time Processing in Client-Server Databases. 269-288
  
• Giorgio C. Buttazzo, Giuseppe Lipari, Marco Caccamo, Luca Abeni:
  Elastic Scheduling for Flexible Workload Management. 289-302
  
• Amit Cohen, Reuven Cohen:
  A Dynamic Approach for Efficient TCP Buffer Allocation. 303-312
  
• Andreas Moshovos, Gurindar S. Sohi:
  Reducing Memory Latency via Read-after-Read Memory Dependence Prediction. 313-326
  
• Chun-Yuan Lin, Jen-Shiuh Liu, Yeh-Ching Chung:
  Efficient Representation Scheme for Multidimensional Array Operations. 327-345
  

• Michele Elia, Manuel Leone:
  On the Inherent Space Complexity of Fast Parallel Multipliers for GF(2/supm/). 346-351
  
• Search for Editor-in-Chief of IEEE Transactions on Computers. 352
  

Volume 51, Number 4, April 2002

• Leana Golubchik, John C. S. Lui:
  Bounding of Performance Measures for Threshold-Based Queuing Systems: Theory and Application to Dynamic Resource Management in Video-on-Demand Servers. 353-372
  
• Wen-Guey Tzeng:
  A Secure Fault-Tolerant Conference-Key Agreement Protocol. 373-379
  
• Venkatram Krishnaswamy, Gagan Hasteer, Prithviraj Banerjee:
  Automatic Parallelization of Compiled Event Driven VHDL Simulation. 380-394
  
• Michel Hurfin, Achour Mostéfaoui, Michel Raynal:
  A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors. 395-408
  
• Irith Pomeranz, Sudhakar M. Reddy:
  Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Input Sequences Using Single and Multiple Fault Detection Times. 409-419
  
• Jinwoo Suh, Viktor K. Prasanna:
  An Efficient Algorithm for Out-of-Core Matrix Transposition. 420-438
  

• Héctor Cancela, María E. Urquhart:
  Adapting RVR Simulation Techniques for Residual Connectedness Network. 439-443
  
• Chan-Ik Park, Tae-Young Choe:
  An Optimal Scheduling Algorithm Based on Task Duplication. 444-448
  

Volume 51, Number 5, May 2002

• Vikram Iyengar, Krishnendu Chakrabarty:
  Test Bus Sizing for System-on-a-Chip. 449-459
  
• Said Hamdioui, A. J. van de Goor:
  Efficient Tests for Realistic Faults in Dual-Port SRAMs. 460-473
  
• Shin-ichi Minato:
  Streaming BDD Manipulation. 474-485
  
• Takahiro J. Yamaguchi, Dong Sam Ha, Masahiro Ishida, Tadahiro Ohmi:
  A Method for Compressing Test Data Based on Burrows-Wheeler Transformation. 486-497
  
• Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey:
  A Design Diversity Metric and Analysis of Redundant Systems. 498-510
  
• Arash Reyhani-Masoleh, M. Anwarul Hasan:
  A New Construction of Massey-Omura Parallel Multiplier over GF(2^m). 511-520
  
• Huapeng Wu:
  Montgomery Multiplier and Squarer for a Class of Finite Fields. 521-529
  
• Jianer Chen, Guojun Wang, Songqiao Chen:
  Locally Subcube-Connected Hypercube Networks: Theoretical Analysis and Experimental Results. 530-540
  
• Thomas S. Messerges, Ezzy A. Dabbish, Robert H. Sloan:
  Examining Smart-Card Security under the Threat of Power Analysis Attacks. 541-552
  
• Li Zhang:
  Fault-Tolerant Meshes with Small Degree. 553-560
  
• Wei Chen, Sam Toueg, Marcos Kawazoe Aguilera:
  On the Quality of Service of Failure Detectors. 561-580
  

• Chor Ping Low, Xueyan Song:
  On Finding Feasible Solutions for the Delay Constrained Group Multicast Routing Problem. 581-588
  
• Dieter Gollmann:
  Equally Spaced Polynomials, Dual Bases, and Multiplication in F_2ⁿ. 588-591
  

Volume 51, Number 6, June 2002

• Marco Conti, Mohan Kumar, Sajal K. Das, Behrooz Shirazi:
  Quality of Service Issues in Internet Web Services. 593-594
  
• Xueyan Tang, Samuel T. Chanson:
  Coordinated En-Route Web Caching. 595-607
  
• Guohong Cao:
  Proactive Power-Aware Cache Management for Mobile Computing Systems. 608-621
  
• Jussi Kangasharju, Felix Hartanto, Martin Reisslein, Keith W. Ross:
  Distributing Layered Encoded Video through Caches. 622-636
  
• Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum:
  Dynamically Selecting Optimal Distribution Strategies for Web Documents. 637-651
  
• Manish Bhide, Pavan Deolasee, Amol Katkar, Ankur Panchbudhe, Krithi Ramamritham, Prashant J. Shenoy:
  Adaptive Push-Pull: Disseminating Dynamic Web Data. 652-668
  
• Ludmila Cherkasova, Peter Phaal:
  Session-Based Admission Control: A Mechanism for Peak Load Management of Commercial Web Sites. 669-685
  
• Nan Ni, Laxmi N. Bhuyan:
  Fair Scheduling in Internet Routers. 686-701
  

• Yijie Han, Yi Pan, Hong Shen:
  Sublogarithmic Deterministic Selection on Arrays with a Reconfigurable Optical Bus. 702-707
  
• Tei-Wei Kuo, Wang-Ru Yang, Kwei-Jay Lin:
  A Class of Rate-Based Real-Time Scheduling Algorithms. 708-720
  
• Nicola Nicolici, Bashir M. Al-Hashimi:
  Multiple Scan Chains for Power Minimization during Test Application in Sequential Circuits. 721-734
  

• Stanislaw J. Piestrak:
  Comments on 'Novel Totally Self-Checking Berger Checker Designs Based on Generalized Berger Code Partitioning'. 735-736
  

Volume 51, Number 7, July 2002

• Jean-Luc Gaudiot:
  Editor's Note. 737-739
  

• Cesare Alippi:
  Randomized Algorithms: A System-Level, Poly-Time Analysis of Robust Computation. 740-749
  
• Huapeng Wu:
  Bit-Parallel Finite Field Multiplier and Squarer Using Polynomial Basis. 750-758
  
• Martin Burtscher, Benjamin G. Zorn:
  Hybrid Load-Value Predictors. 759-774
  
• Hsien-Ming Tsai, Yi-Bing Lin:
  Modeling Wireless Local with General Call Holding Times and Finite Number of Subscribers. 775-786
  
• Francisco José Monaco, Adilson Gonzaga:
  Remote Device Command and Resource Sharing over the Internet: A New Approach Based on a Distributed Layered Architecture. 787-792
  
• Jongmoo Choi, Sam H. Noh, Sang Lyul Min, Eun-Yong Ha, Yookun Cho:
  Design, Implementation, and Performance Evaluation of a Detection-Based Adaptive Block Replacement Scheme. 793-800
  
• Sybille Hellebrand, Hans-Joachim Wunderlich, Alexander A. Ivaniuk, Yuri V. Klimets, Vyacheslav N. Yarmolik:
  Efficient Online and Offline Testing of Embedded DRAMs. 801-809
  
• Nong Ye, Syed Masum Emran, Qiang Chen, Sean Vilbert:
  Multivariate Statistical Analysis of Audit Trails for Host-Based Intrusion Detection. 810-820
  
• Victor C. S. Lee, Kwok-Wa Lam, Sheung-lun Hung:
  Concurrency Control for Mixed Transactions in Real-Time Databases. 821-834
  
• Marco Caccamo, Giorgio C. Buttazzo, Lui Sha:
  Handling Execution Overruns in Hard Real-Time Control Systems. 835-849
  
• Antonio Caruso, Stefano Chessa, Piero Maestrini, Paolo Santi:
  Evaluation of a Diagnosis Algorithm for Regular Structures. 850-865
  

• Irith Pomeranz, Sudhakar M. Reddy:
  Enumeration of Test Sequences in Increasing Chronological Order to Improve the Levels of Compaction Achieved by Vector Omission. 866-872
  
• Yu-Chee Tseng, Hsiang-Kuang Pan:
  Data Hiding in 2-Color Images. 873-880
  

Volume 51, Number 8, August 2002

• E. Douglas Jensen, Binoy Ravindran:
  Guest Editors' Introduction to Special Section on Asynchronous Real-Time Distributed Systems. 881-882
  
• Shivakant Mishra, Christof Fetzer, Flaviu Cristian:
  The Timewheel Group Communication System. 883-899
  
• Yun Wang, Emmanuelle Anceaume, Francisco Vilar Brasileiro, Fabíola Greve, Michel Hurfin:
  Solving the Group Priority Inversion Problem in a Timed Asynchronous System. 900-915
  
• Paulo Veríssimo, Antonio Casimiro:
  The Timely Computing Base Model and Architecture. 916-930
  
• Jean-François Hermant, Gérard Le Lann:
  Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. 931-944
  

• Tamir Hegazy, Binoy Ravindran:
  Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. 945-962
  

• B. M. Maziarz, V. K. Jain:
  Automatic Reconfiguration and Yield of the TESH Multicomputer Network. 963-972
  
• Essam Al-Daoud, Ramlan Mahmod, Mohammad Rushdan, Adem Kiliçman:
  A New Addition Formula for Elliptic Curves over GF(2ⁿ). 972-975
  

Volume 51, Number 9, September 2002

• Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Kemal Ebcioglu:
  Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling. 977-994
  
• Yuanyuan Yang:
  A New Conference Network for Group Communication. 995-1010
  
• Luciano Lenzini, Enzo Mingozzi, Giovanni Stea:
  A Unifying Service Discipline for Providing Rate-Based Guaranteed and Fair Queuing Services Based on the Timed Token Protocol. 1011-1025
  
• Emil Jovanov, Veljko M. Milutinovic, Ali R. Hurson:
  Acceleration of Nonnumeric Operations Using Hardware Support for the Ordered Table Hashing Algorithms. 1026-1040
  
• Linguo Gong, Xian-He Sun, Edward F. Watson:
  Performance Modeling and Prediction of Nondedicated Network Computing. 1041-1055
  
• Jun Wang, Rui Min, Yingwu Zhu, Yiming Hu:
  UCFS-A Novel User-Space, High Performance, Customized File System for Web Proxy Servers. 1056-1073
  
• Sang Jeong Lee, Pen-Chung Yew:
  On Augmenting Trace Cache for High-Bandwidth Value Prediction. 1074-1088
  
• Jun Xu, Mukesh Singhal:
  Cost-Effective Flow Table Designs for High-Speed Routers: Architecture and Performance Evaluation. 1089-1099
  

• Zeljko Zilic, Zvonko G. Vranesic:
  A Deterministic Multivariate Interpolation Algorithm for Small Finite Fields. 1100-1105
  
• Kolin Paul, Dipanwita Roy Chowdhury, Parimal Pal Chaudhuri:
  Theory of Extended Linear Machines. 1106-1110
  
• Robert M. Hierons, Hasan Ural:
  Reduced Length Checking Sequences. 1111-1117
  
• Guoliang Xue, Krishnaiyan Thulasiraman:
  Computing the Shortest Network under a Fixed Topology. 1117-1120
  

Volume 51, Number 10, October 2002

• Pradip K. Srimani, Wang-Chien Lee, Sandeep Kumar, Sandeep K. S. Gupta:
  Guest Editorial: Special Section on Data Management Systems and Mobile Computing. 1121-1123
  
• Sunil Prabhakar, Yuni Xia, Dmitri V. Kalashnikov, Walid G. Aref, Susanne E. Hambrusch:
  Query Indexing and Velocity Constrained Indexing: Scalable Techniques for Continuous Queries on Moving Objects. 1124-1140
  
• Baihua Zheng, Jianliang Xu, Dik Lun Lee:
  Cache Invalidation and Replacement Strategies for Location-Dependent Data in Mobile Environments. 1141-1153
  
• Yi-Bing Lin, Hsu-Yung Cheng, Ya-Hsing Cheng, Prathima Agrawal:
  Implementing Automatic Location Update for Follow-Me Database Using VoIP and Bluetooth Technologies. 1154-1168
  
• Yuguang Fang:
  General Modeling and Performance Analysis for Location Management in Wireless Mobile Networks. 1169-1181
  
• Chang-Hung Lee, Ming-Syan Chen:
  Processing Distributed Mobile Queries with Interleaved Remote Mobile Joins. 1182-1195
  
• Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son, Eddie Y. M. Chan:
  On Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments. 1196-1211
  
• Vijay Kumar, Nitin Prabhu, Margaret H. Dunham, Ayse Yasemin Seydim:
  TCOT-A Timeout-Based Mobile Transaction Commitment Protocol. 1212-1218
  
• Cris Pedregal Martin, Krithi Ramamritham:
  Support for Recovery in Mobile Systems. 1219-1224
  
• Evaggelia Pitoura, Panos K. Chrysanthis:
  Multiversion Data Broadcast. 1224-1230
  
• Wai Gen Yee, Shamkant B. Navathe, Edward Omiecinski, Chris Jermaine:
  Efficient Data Allocation over Multiple Channels at Broadcast Servers. 1231-1236
  
• Guanling Lee, Shou-Chih Lo, Arbee L. P. Chen:
  Data Allocation on Wireless Broadcast Channels for Efficient Query Processing. 1237-1252
  
• Ken C. K. Lee, Hong Va Leong, Antonio Si:
  Semantic Data Broadcast for a Mobile Environment Based on Dynamic and Adaptive Chunking. 1253-1268
  

• Waibhav Tembe, Santosh Pande:
  Loop Restructuring for Data I/O Minimization on Limited On-Chip Memory Embedded Processors. 1269-1280
  

Volume 51, Number 11, November 2002

• Jean-Luc Gaudiot:
  Editor's Note. 1281
  

• Irith Pomeranz, Sudhakar M. Reddy:
  A Storage-Based Built-In Test Pattern Generation Method for Scan Circuits Based on Partitioning and Reduction of a Precomputed Test Set. 1282-1293
  
• Aryan Saed, Majid Ahmadi, Graham A. Jullien:
  A Number System with Continuous Valued Digits and Modulo Arithmetic. 1294-1305
  
• Huapeng Wu, M. Anwarul Hasan, Ian F. Blake, Shuhong Gao:
  Finite Field Multiplier Using Redundant Representation. 1306-1316
  
• Nathan T. Slingerland, Alan Jay Smith:
  Measuring the Performance of Multimedia Instruction Sets. 1317-1332
  
• Mahesh Kallahalla, Peter J. Varman:
  PC-OPT: Optimal Offline Prefetching and Caching for Parallel I/O Systems. 1333-1344
  
• Eui-Young Chung, Luca Benini, Alessandro Bogliolo, Yung-Hsiang Lu, Giovanni De Micheli:
  Dynamic Power Management for Nonstationary Service Requests. 1345-1361
  

• Sijing Zhang, Alan Burns, Tee-Hiang Cheng:
  Cycle-Time Properties of the Timed Token Medium Access Control Protocol. 1362-1367
  
• Xiangping Chen, Prasant Mohapatra:
  Performance Evaluation of Service Differentiating Internet Servers. 1368-1375
  

Volume 51, Number 12, December 2002

• José-Alejandro Piñeiro, Javier D. Bruguera:
  High-Speed Double-Precision Computation of Reciprocal, Division, Square Root and Inverse Square Root. 1377-1388
  
• Haridimos T. Vergos, Costas Efstathiou, Dimitris Nikolos:
  Diminished-One Modulo 2ⁿ+1 Adder Design. 1389-1399
  
• Yieh-Ran Haung, Jan-Ming Ho:
  Distributed Call Admission Control for a Heterogeneous PCS Network. 1400-1409
  
• Yui-Wah Lee, Kwong-Sak Leung, Mahadev Satyanarayanan:
  Operation Shipping for Mobile File Systems. 1410-1422
  
• Paolo Cremonesi, Paul J. Schweitzer, Giuseppe Serazzi:
  A Unifying Framework for the Approximate Solution of Closed Multiclass Queuing Networks. 1423-1434
  

• Eric A. Schweitz, Dharma P. Agrawal:
  A Parallelization Domain Oriented Multilevel Graph Partitioner. 1435-1441
  
• Ching-Min Lin, Ge-Ming Chiu, Cheng-Hong Cho:
  A New Quorum-Based Scheme for Managing Replicated Data in Distributed Systems. 1442-1447
  
• Krishnendu Chakrabarty, S. Sitharama Iyengar, Hairong Qi, Eungchun Cho:
  Grid Coverage for Surveillance and Target Location in Distributed Sensor Networks. 1448-1453
  
• Nicolas Sklavos, Odysseas G. Koufopavlou:
  Architectures and VLSI Implementations of the AES-Proposal Rijndael. 1454-1459
  

• Willi Geiselmann, Jörn Müller-Quade, Rainer Steinwandt:
  On "A New Representation of Elements of Finite Fields GF (2^m) Yielding Small Complexity Arithmetic Circuits". 1460-1461
  

• Wen-Guey Tzeng:
  Corrections to "A Secure Fault-Tolerant Conference-Key Agreement Protocol". 1462