IEEE Transactions on Computers, Volume 51

Volume 51, Number 1, January 2002

Editor's Note

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

Papers

• 
  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

Brief Contributions

• 
  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

Comments

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

Volume 51, Number 2, February 2002

Special Section on Fault-Tolerant Embedded Systems

• 
  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

Regular Papers

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

Brief Contributions

• 
  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

Papers

• 
  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

Brief Contributions

• 
  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

Papers

• 
  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

Brief Contributions

• 
  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

Papers

• 
  Vikram Iyengar, Krishnendu Chakrabarty:
  Test Bus Sizing for System-on-a-Chip. 449-459
• 
  Said Hamdioui, Ad 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

Brief Contributions

• 
  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

Special Section on Quality of Services Issues in Internet Web Services

• 
  Marco Conti, Mohan Kumar, Sajal K. Das, Behrooz A. 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

Regular Papers

• 
  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

Comments

• 
  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

Editor's Note

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

Papers

• 
  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

Brief Contributions

• 
  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

Special Section on Real-Time Distributed Systems

• 
  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, António 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

Regular Papers

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

Brief Contributions

• 
  Bogdan M. Maziarz, Vijay 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

Regular Papers

• 
  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

Brief Contributions

• 
  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

Special Section on Data Management Systems and Mobile Computing

• 
  Pradip K. Srimani, Wang-Chien Lee, 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

Regular Papers

• 
  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

Editor's Note

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

Papers

• 
  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

Brief Contributions

• 
  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

Papers

• 
  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

Brief Contributions

• 
  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

Comments

• 
  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

Errata

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