Journal: IEEE Transactions on Computers

Volume 51, Issue 9

977 -- 994Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Kemal Ebcioglu. Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling
995 -- 1010Yuanyuan Yang. A New Conference Network for Group Communication
1011 -- 1025Luciano Lenzini, Enzo Mingozzi, Giovanni Stea. A Unifying Service Discipline for Providing Rate-Based Guaranteed and Fair Queuing Services Based on the Timed Token Protocol
1026 -- 1040Emil Jovanov, Veljko M. Milutinovic, Ali R. Hurson. Acceleration of Nonnumeric Operations Using Hardware Support for the Ordered Table Hashing Algorithms
1041 -- 1055Linguo Gong, Xian-He Sun, Edward F. Watson. Performance Modeling and Prediction of Nondedicated Network Computing
1056 -- 1073Jun Wang, Rui Min, Yingwu Zhu, Yiming Hu. UCFS-A Novel User-Space, High Performance, Customized File System for Web Proxy Servers
1074 -- 1088Sang-Jeong Lee, Pen-Chung Yew. On Augmenting Trace Cache for High-Bandwidth Value Prediction
1089 -- 1099Jun Xu, Mukesh Singhal. Cost-Effective Flow Table Designs for High-Speed Routers: Architecture and Performance Evaluation
1100 -- 1105Zeljko Zilic, Zvonko G. Vranesic. A Deterministic Multivariate Interpolation Algorithm for Small Finite Fields
1106 -- 1110Kolin Paul, Dipanwita Roy Chowdhury, Parimal Pal Chaudhuri. Theory of Extended Linear Machines
1111 -- 1117Robert M. Hierons, Hasan Ural. Reduced Length Checking Sequences
1117 -- 1120Guoliang Xue, Krishnaiyan Thulasiraman. Computing the Shortest Network under a Fixed Topology

Volume 51, Issue 8

881 -- 882E. Douglas Jensen, Binoy Ravindran. Guest Editors Introduction to Special Section on Asynchronous Real-Time Distributed Systems
883 -- 899Shivakant Mishra, Christof Fetzer, Flaviu Cristian. The Timewheel Group Communication System
900 -- 915Yun Wang, Emmanuelle Anceaume, Francisco Vilar Brasileiro, Fabíola Greve, Michel Hurfin. Solving the Group Priority Inversion Problem in a Timed Asynchronous System
916 -- 930Paulo Veríssimo, Antonio Casimiro. The Timely Computing Base Model and Architecture
931 -- 944Jean-François Hermant, Gérard Le Lann. Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
945 -- 962Tamir Hegazy, Binoy Ravindran. Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems
963 -- 972B. M. Maziarz, V. K. Jain. Automatic Reconfiguration and Yield of the TESH Multicomputer Network
972 -- 975Essam Al-Daoud, Ramlan Mahmod, Mohammad Rushdan, Adem Kiliçman. A New Addition Formula for Elliptic Curves over GF(2:::n:::)

Volume 51, Issue 7

737 -- 739Jean-Luc Gaudiot. Editor s Note
740 -- 749Cesare Alippi. Randomized Algorithms: A System-Level, Poly-Time Analysis of Robust Computation
750 -- 758Huapeng Wu. Bit-Parallel Finite Field Multiplier and Squarer Using Polynomial Basis
759 -- 774Martin Burtscher, Benjamin G. Zorn. Hybrid Load-Value Predictors
775 -- 786Hsien-Ming Tsai, Yi-Bing Lin. Modeling Wireless Local with General Call Holding Times and Finite Number of Subscribers
787 -- 792Francisco José Monaco, Adilson Gonzaga. Remote Device Command and Resource Sharing over the Internet: A New Approach Based on a Distributed Layered Architecture
793 -- 800Jongmoo 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
801 -- 809Sybille Hellebrand, Hans-Joachim Wunderlich, Alexander A. Ivaniuk, Yuri V. Klimets, Vyacheslav N. Yarmolik. Efficient Online and Offline Testing of Embedded DRAMs
810 -- 820Nong Ye, Syed Masum Emran, Qiang Chen, Sean Vilbert. Multivariate Statistical Analysis of Audit Trails for Host-Based Intrusion Detection
821 -- 834Victor C. S. Lee, Kwok-Wa Lam, Sheung-lun Hung. Concurrency Control for Mixed Transactions in Real-Time Databases
835 -- 849Marco Caccamo, Giorgio C. Buttazzo, Lui Sha. Handling Execution Overruns in Hard Real-Time Control Systems
850 -- 865Antonio Caruso, Stefano Chessa, Piero Maestrini, Paolo Santi. Evaluation of a Diagnosis Algorithm for Regular Structures
866 -- 872Irith Pomeranz, Sudhakar M. Reddy. Enumeration of Test Sequences in Increasing Chronological Order to Improve the Levels of Compaction Achieved by Vector Omission
873 -- 880Yu-Chee Tseng, Hsiang-Kuang Pan. Data Hiding in 2-Color Images

Volume 51, Issue 6

593 -- 594Marco Conti, Mohan Kumar, Sajal K. Das, Behrooz Shirazi. Quality of Service Issues in Internet Web Services
595 -- 607Xueyan Tang, Samuel T. Chanson. Coordinated En-Route Web Caching
608 -- 621Guohong Cao. Proactive Power-Aware Cache Management for Mobile Computing Systems
622 -- 636Jussi Kangasharju, Felix Hartanto, Martin Reisslein, Keith W. Ross. Distributing Layered Encoded Video through Caches
637 -- 651Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum. Dynamically Selecting Optimal Distribution Strategies for Web Documents
652 -- 668Manish Bhide, Pavan Deolasee, Amol Katkar, Ankur Panchbudhe, Krithi Ramamritham, Prashant J. Shenoy. Adaptive Push-Pull: Disseminating Dynamic Web Data
669 -- 685Ludmila Cherkasova, Peter Phaal. Session-Based Admission Control: A Mechanism for Peak Load Management of Commercial Web Sites
686 -- 701Nan Ni, Laxmi N. Bhuyan. Fair Scheduling in Internet Routers
702 -- 707Yijie Han, Yi Pan, Hong Shen. Sublogarithmic Deterministic Selection on Arrays with a Reconfigurable Optical Bus
708 -- 720Tei-Wei Kuo, Wang-Ru Yang, Kwei-Jay Lin. A Class of Rate-Based Real-Time Scheduling Algorithms
721 -- 734Nicola Nicolici, Bashir M. Al-Hashimi. Multiple Scan Chains for Power Minimization during Test Application in Sequential Circuits
735 -- 736Stanislaw J. Piestrak. Comments on Novel Totally Self-Checking Berger Checker Designs Based on Generalized Berger Code Partitioning

Volume 51, Issue 5

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

Volume 51, Issue 4

353 -- 372Leana 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
373 -- 379Wen-Guey Tzeng. A Secure Fault-Tolerant Conference-Key Agreement Protocol
380 -- 394Venkatram Krishnaswamy, Gagan Hasteer, Prithviraj Banerjee. Automatic Parallelization of Compiled Event Driven VHDL Simulation
395 -- 408Michel Hurfin, Achour Mostéfaoui, Michel Raynal. A Versatile Family of Consensus Protocols Based on Chandra-Toueg s Unreliable Failure Detectors
409 -- 419Irith 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
420 -- 438Jinwoo Suh, Viktor K. Prasanna. An Efficient Algorithm for Out-of-Core Matrix Transposition
439 -- 443Héctor Cancela, María E. Urquhart. Adapting RVR Simulation Techniques for Residual Connectedness Network
444 -- 448Chan-Ik Park, Tae-Young Choe. An Optimal Scheduling Algorithm Based on Task Duplication

Volume 51, Issue 3

241 -- 253Jien-Chung Lo. Analysis of a BICS-Only Concurrent Error Detection Method
254 -- 268Juan A. Carrasco. Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems
269 -- 288Vinay Kanitkar, Alex Delis. Real-Time Processing in Client-Server Databases
289 -- 302Giorgio C. Buttazzo, Giuseppe Lipari, Marco Caccamo, Luca Abeni. Elastic Scheduling for Flexible Workload Management
303 -- 312Amit Cohen, Reuven Cohen. A Dynamic Approach for Efficient TCP Buffer Allocation
313 -- 326Andreas Moshovos, Gurindar S. Sohi. Reducing Memory Latency via Read-after-Read Memory Dependence Prediction
327 -- 345Chun-Yuan Lin, Jen-Shiuh Liu, Yeh-Ching Chung. Efficient Representation Scheme for Multidimensional Array Operations
346 -- 351Michele Elia, Manuel Leone. On the Inherent Space Complexity of Fast Parallel Multipliers for GF(2/supm/)
352 -- 0. Search for Editor-in-Chief of IEEE Transactions on Computers

Volume 51, Issue 2

97 -- 99Dimiter R. Avresky, Barry W. Johnson, Fabrizio Lombardi. Guest Editors Introduction
100 -- 107David 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
108 -- 120Roy A. Maxion, Kymie M. C. Tan. Anomaly Detection in Embedded Systems
121 -- 137Ann 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
138 -- 163Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles. Dependability of COTS Microkernel-Based Systems
164 -- 179Jie 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
180 -- 199Nahmsuk Oh, Subhasish Mitra, Edward J. McCluskey. ED4I: Error Detection by Diverse Data and Duplicated Instructions
200 -- 215Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto. Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications
216 -- 228David Lee, Mihalis Yannakakis. Closed Partition Lattice and Machine Decomposition
229 -- 234Stanislaw J. Piestrak. Design Method of a Class of Embedded Combinational Self-Testing Checkers for Two-Rail Codes
235 -- 239Andreas Steininger, Christoph Scherrer. Identifying Efficient Combinations of Error Detection Mechanisms Based on Results of Fault Injection Experiments

Volume 51, Issue 12

1377 -- 1388José-Alejandro Piñeiro, Javier D. Bruguera. High-Speed Double-Precision Computation of Reciprocal, Division, Square Root and Inverse Square Root
1389 -- 1399Haridimos T. Vergos, Costas Efstathiou, Dimitris Nikolos. Diminished-One Modulo 2:::n:::+1 Adder Design
1400 -- 1409Yieh-Ran Haung, Jan-Ming Ho. Distributed Call Admission Control for a Heterogeneous PCS Network
1410 -- 1422Yui-Wah Lee, Kwong-Sak Leung, Mahadev Satyanarayanan. Operation Shipping for Mobile File Systems
1423 -- 1434Paolo Cremonesi, Paul J. Schweitzer, Giuseppe Serazzi. A Unifying Framework for the Approximate Solution of Closed Multiclass Queuing Networks
1435 -- 1441Eric A. Schweitz, Dharma P. Agrawal. A Parallelization Domain Oriented Multilevel Graph Partitioner
1442 -- 1447Ching-Min Lin, Ge-Ming Chiu, Cheng-Hong Cho. A New Quorum-Based Scheme for Managing Replicated Data in Distributed Systems
1448 -- 1453Krishnendu Chakrabarty, S. Sitharama Iyengar, Hairong Qi, Eungchun Cho. Grid Coverage for Surveillance and Target Location in Distributed Sensor Networks
1454 -- 1459Nicolas Sklavos, Odysseas G. Koufopavlou. Architectures and VLSI Implementations of the AES-Proposal Rijndael
1460 -- 1461Willi 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
1462 -- 0Wen-Guey Tzeng. Corrections to A Secure Fault-Tolerant Conference-Key Agreement Protocol

Volume 51, Issue 11

1281 -- 0Jean-Luc Gaudiot. Editor s Note
1282 -- 1293Irith 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
1294 -- 1305Aryan Saed, Majid Ahmadi, Graham A. Jullien. A Number System with Continuous Valued Digits and Modulo Arithmetic
1306 -- 1316Huapeng Wu, M. Anwarul Hasan, Ian F. Blake, Shuhong Gao. Finite Field Multiplier Using Redundant Representation
1317 -- 1332Nathan T. Slingerland, Alan Jay Smith. Measuring the Performance of Multimedia Instruction Sets
1333 -- 1344Mahesh Kallahalla, Peter J. Varman. PC-OPT: Optimal Offline Prefetching and Caching for Parallel I/O Systems
1345 -- 1361Eui-Young Chung, Luca Benini, Alessandro Bogliolo, Yung-Hsiang Lu, Giovanni De Micheli. Dynamic Power Management for Nonstationary Service Requests
1362 -- 1367Sijing Zhang, Alan Burns, Tee Hiang Cheng. Cycle-Time Properties of the Timed Token Medium Access Control Protocol
1368 -- 1375Xiangping Chen, Prasant Mohapatra. Performance Evaluation of Service Differentiating Internet Servers

Volume 51, Issue 10

1121 -- 1123Pradip K. Srimani, Wang-Chien Lee, Sandeep Kumar, Sandeep K. S. Gupta. Guest Editorial: Special Section on Data Management Systems and Mobile Computing
1124 -- 1140Sunil 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
1141 -- 1153Baihua Zheng, Jianliang Xu, Dik Lun Lee. Cache Invalidation and Replacement Strategies for Location-Dependent Data in Mobile Environments
1154 -- 1168Yi-Bing Lin, Hsu-Yung Cheng, Ya-Hsing Cheng, Prathima Agrawal. Implementing Automatic Location Update for Follow-Me Database Using VoIP and Bluetooth Technologies
1169 -- 1181Yuguang Fang. General Modeling and Performance Analysis for Location Management in Wireless Mobile Networks
1182 -- 1195Chang-Hung Lee, Ming-Syan Chen. Processing Distributed Mobile Queries with Interleaved Remote Mobile Joins
1196 -- 1211Victor 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
1212 -- 1218Vijay Kumar, Nitin Prabhu, Margaret H. Dunham, Ayse Yasemin Seydim. TCOT-A Timeout-Based Mobile Transaction Commitment Protocol
1219 -- 1224Cris Pedregal Martin, Krithi Ramamritham. Support for Recovery in Mobile Systems
1224 -- 1230Evaggelia Pitoura, Panos K. Chrysanthis. Multiversion Data Broadcast
1231 -- 1236Wai Gen Yee, Shamkant B. Navathe, Edward Omiecinski, Chris Jermaine. Efficient Data Allocation over Multiple Channels at Broadcast Servers
1237 -- 1252Guanling Lee, Shou-Chih Lo, Arbee L. P. Chen. Data Allocation on Wireless Broadcast Channels for Efficient Query Processing
1253 -- 1268Ken C. K. Lee, Hong Va Leong, Antonio Si. Semantic Data Broadcast for a Mobile Environment Based on Dynamic and Adaptive Chunking
1269 -- 1280Waibhav Tembe, Santosh Pande. Loop Restructuring for Data I/O Minimization on Limited On-Chip Memory Embedded Processors

Volume 51, Issue 1

1 -- 2Jean-Luc Gaudiot. Editor s Note
3 -- 12Lori M. Kaufman, Barry W. Johnson, Joanne Bechta Dugan. Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures
13 -- 32Wei Chen, Sam Toueg, Marcos Kawazoe Aguilera. On the Quality of Service of Failure Detectors
33 -- 45Cheng-Nan Lai, Gen-Huey Chen, Dyi-Rong Duh. Constructing One-to-Many Disjoint Paths in Folded Hypercubes
46 -- 60Byung S. Yoo, Chita R. Das. A Fast and Efficient Processor Allocation Scheme for Mesh-Connected Multicomputers
61 -- 83Farn Wang, Pao-Ann Hsiung. Efficient and User-Friendly Verification
84 -- 89Ahmad A. Hiasat. High-Speed and Reduced-Area Modular Adder Structures for RNS
90 -- 92Chang-Han Kim, Sangho Oh, Jongin Lim. A New Hardware Architecture for Operations in GF(2m)
93 -- 96Hongbing Fan, Yu-Liang Wu, Yao-Wen Chang. Comment on Generic Universal Switch Blocks