The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (2002 vol.51)
pp: 1463-1472
Published by the IEEE Computer Society
This index covers all technical itemspapers, correspondence, reviews, etc. that appeared in this periodical during 2002, and items from previous years that were commmented upon or corrected in 2002. Departments and other items may be also covered if they have been judged to have archival value.
The Author Index contains the primary entry for each item, listed under the first author's name. The primary entry includes the coauthors' names, the title of the paper or other item, and its location, specified by the publication abbreviation, year, month, and inclusive pagination. The Subject Index contains entries describing the item under all appropriate subject headings, plus the first author's name, the publication abbreviation, month, and year, and inclusive pages. Subject cross-references are included to assist in finding items of interest. Note that the item title is found only under the primary entry of the Author Index.

AUTHOR INDEX

A

Abeni, L.,see Buttazzo, G.C., T-C Mar 02 289-302

Agrawal, D.P.,see Schweitz, E.A., T-C Dec 02 1435-1441

Agrawal, P.,see Yi-Bing Lin, T-C Oct 02 1154-1168

Aguilera, M.K.,see Wei Chen, T-C Jan 02 13-32

Aguilera, M.K.,see Wei Chen, T-C May 02 561-580

Ahmadi, M.,see Saed, A., T-C Nov 02 1294-1305

Al-Daoud, E.,R. Mahmod, M. Rushdan, and A. Kilicman. A new addition formula for elliptic curves over GF(2 n); T-C Aug 02 972-975

Al-Hashimi, B.M.,see Nicolici, N., T-C Jun 02 721-734

Alippi, C. Randomized algorithms: a system-level, poly-time analysis of robust computation; T-C Jul 02 740-749

Alkalai, L.,see Tai, A.T., T-C Feb 02 121-137

Anceaume, E.,see Yun Wang, T-C Aug 02 900-915

Aref, W.G.,see Prabhakar, S., T-C Oct 02 1124-1140

Arlat, J.,J.-C. Fabre, and M. Rodriguez. Dependability of COTS microkernel-based systems; T-C Feb 02 138-163

Avresky, D.,B.W. Johnson, and F. Lombardi. Guest editors' introduction [intro. to special section on fault-tolerant embedded systems]; T-C Feb 02 97-99

B

Baihua Zheng,Jianliang Xu, and D.L. Lee. Cache invalidation and replacement strategies for location-dependent data in mobile environments; T-C Oct 02 1141-1153

Banerjee, P.,see Krishnaswamy, V., T-C Apr 02 380-394

Beck, J.,see Oppenheimer, D., T-C Feb 02 100-107

Benini, L.,see Eui-Young Chung, T-C Nov 02 1345-1361

Bhide, M.,P. Deolasee, A. Katkar, A. Panchbudhe, K. Ramamritham, and P. Shenoy. Adaptive push-pull: disseminating dynamic Web data; T-C Jun 02 652-668

Bhuyan, L.N.,see Nan Ni, T-C Jun 02 686-701

Blake, I.F.,see Huapeng Wu, T-C Nov 02 1306-1316

Bogliolo, A.,see Eui-Young Chung, T-C Nov 02 1345-1361

Brasileiro, F.,see Yun Wang, T-C Aug 02 900-915

Brown, A.,see Oppenheimer, D., T-C Feb 02 100-107

Bruguera, J.D.,see Pineiro, J.-A., T-C Dec 02 1377-1388

Burns, A.,see Sijing Zhang, T-C Nov 02 1362-1367

Burtscher, M.,and B.G. Zorn. Hybrid load-value predictors; T-C Jul 02 759-774

Buttazzo, G.,see Caccamo, M., T-C Jul 02 835-849

Buttazzo, G.C.,G. Lipari, M. Caccamo, and L. Abeni. Elastic scheduling for flexible workload management; T-C Mar 02 289-302

C

Caccamo, M.,see Buttazzo, G.C., T-C Mar 02 289-302

Caccamo, M.,G. Buttazzo, and Lui Sha. Handling execution overruns in hard real-time control systems; T-C Jul 02 835-849

Cancela, H.,and M.E. Urquhart. Adapting RVR simulation techniques for residual connectedness network reliability models; T-C Apr 02 439-443

Canver, E.,see Xu, J., T-C Feb 02 164-179

Cao Guohong,see Guohong Cao, T-C Jun 02 608-621

Carrasco, J.A. Computationally efficient and numerically stable reliability bounds for repairable fault-tolerant systems; T-C Mar 02 254-268

Caruso, A.,S. Chessa, P. Maestrini, and P. Santi. Evaluation of a diagnosis algorithm for regular structures; T-C Jul 02 850-865

Casimiro, A.,see Verissimo, P., T-C Aug 02 916-930

Chakrabarty, K.,see Iyengar, V., T-C May 02 449-459

Chakrabarty, K.,S.S. Iyengar, Hairong Qi, and Eungchun Cho. Grid coverage for surveillance and target location in distributed sensor networks; T-C Dec 02 1448-1453

Chan, E.Y.M.,see Lee, V.C.S., T-C Oct 02 1196-1211

Chang Han Kim,Sangho Oh, and Jongin Lim. A new hardware architecture for operations in GF(2 n); T-C Jan 02 90-92

Chang-Hung Lee,and Ming-Syan Chen. Processing distributed mobile queries with interleaved remote mobile joins; T-C Oct 02 1182-1195

Chang Yao-Wen,see Hongbing Fan, T-C Jan 02 93-95

Chan-Ik Park,and Tae-Young Choe. An optimal scheduling algorithm based on task duplication; T-C Apr 02 444-448

Chanson, S.T.,see Xueyan Tang, T-C Jun 02 595-607

Chau, S.N.,see Tai, A.T., T-C Feb 02 121-137

Chaudhuri, P.P.,see Paul, K., T-C Sep 02 1106-1110

Chen, A.L.P.,see Guanling Lee, T-C Oct 02 1237-1252

Chen, Q.,see Ye, N., T-C Jul 02 810-820

Chen Gen-Huey,see Cheng-Nan Lai, T-C Jan 02 33-45

Cheng-Hong Cho,see Ching-Min Lin, T-C Dec 02 1442-1447

Cheng Hsu-Yung,see Yi-Bing Lin, T-C Oct 02 1154-1168

Cheng-Nan Lai,Gen-Huey Chen, and Dyi-Rong Duh. Constructing one-to-many disjoint paths in folded hypercubes; T-C Jan 02 33-45

Cheng Tee-Hiang,see Sijing Zhang, T-C Nov 02 1362-1367

Cheng Ya-Hsing,see Yi-Bing Lin, T-C Oct 02 1154-1168

Chen Jianer,see Jianer Chen, T-C May 02 530-540

Chen Ming-Syan,see Chang-Hung Lee, T-C Oct 02 1182-1195

Chen Songqiao,see Jianer Chen, T-C May 02 530-540

Chen Wei,see Wei Chen, T-C Jan 02 13-32

Chen Wei,see Wei Chen, T-C May 02 561-580

Chen Xiangping,see Xiangping Chen, T-C Nov 02 1368-1375

Cherkasova, L.,and P. Phaal. Session-based admission control: a mechanism for peak load management of commercial Web sites; T-C Jun 02 669-685

Chessa, S.,see Caruso, A., T-C Jul 02 850-865

Ching-Min Lin,Ge-Ming Chiu, and Cheng-Hong Cho. A new quorom-based scheme for managing replicated data in distributed systems; T-C Dec 02 1442-1447

Chiu Ge-Ming,see Ching-Min Lin, T-C Dec 02 1442-1447

Cho Cheng-Hong,see Ching-Min Lin, T-C Dec 02 1442-1447

Choe Tae-Young,see Chan-Ik Park, T-C Apr 02 444-448

Cho Eungchun,see Chakrabarty, K., T-C Dec 02 1448-1453

Choi Jongmoo,see Jongmoo Choi, T-C Jul 02 793-800

Chor Ping Low,and Xueyan Song. On finding feasible solutions for the delay constrained group multicast routing problem; T-C May 02 581-588

Choudhury, D.R.,see Paul, K., T-C Sep 02 1106-1110

Cho Yookun,see Jongmoo Choi, T-C Jul 02 793-800

Chrysanthis, P.K.,see Pitoura, E., T-C Oct 02 1224-1230

Chung Eui-Young,see Eui-Young Chung, T-C Nov 02 1345-1361

Chung Yeh-Ching,see Chun-Yuan Lin, T-C Mar 02 327-345

Chun-Yuan Lin,Jen-Shiuh Liu, and Yeh-Ching Chung. Efficient representation scheme for multidimensional array operations; T-C Mar 02 327-345

Cohen, A.,and R. Cohen. A dynamic approach for efficient TCP buffer allocation; T-C Mar 02 303-312

Cohen, R.,see Cohen, A., T-C Mar 02 303-312

Conti, M.,M. Kumar, S.K. Das, and B.A. Shirazi. Quality of service issues in Internet Web services; T-C Jun 02 593-594

Cremonesi, P.,P.J. Schweitzer, and G. Serazzi. A unifying framework for the approximate solution of closed multiclass queuing networks; T-C Dec 02 1423-1434

Cristian, F.,see Mishra, S., T-C Aug 02 883-899

D

Dabbish, E.A.,see Messerges, T.S., T-C May 02 541-552

Das, C.R.,see Yoo, B.S., T-C Jan 02 46-60

Das, S.K.,see Conti, M., T-C Jun 02 593-594

Delis, A.,see Kanitkar, V., T-C Mar 02 269-288

De Micheli, G.,see Eui-Young Chung, T-C Nov 02 1345-1361

Deolasee, P.,see Bhide, M., T-C Jun 02 652-668

Dong Sam Ha,see Yamaguchi, T.J., T-C May 02 486-497

Dugan, J.B.,see Kaufman, L.M., T-C Jan 02 3-12

Duh Dyi-Rong,see Cheng-Nan Lai, T-C Jan 02 33-45

Dunham, M.H.,see Kumar, V., T-C Oct 02 1212-1218

Dyi-Rong Duh,see Cheng-Nan Lai, T-C Jan 02 33-45

E

Ebcioglu, K.,see Suhyun Kim, T-C Sep 02 977-994

Efstathiou, C.,see Vergos, H.T., T-C Dec 02 1389-1399

Elia, M.,and M. Leone. On the inherent space complexity of fast parallel multipliers for GF(2 m); T-C Mar 02 346-351

Emran, S.M.,see Ye, N., T-C Jul 02 810-820

Eui-Young Chung,L. Benini, A. Bogliolo, Yung-Hsiang Lu, and G. De Micheli. Dynamic power management for nonstationary service requests; T-C Nov 02 1345-1361

Eungchun Cho,see Chakrabarty, K., T-C Dec 02 1448-1453

Eun-Yong Ha,see Jongmoo Choi, T-C Jul 02 793-800

F

Fabre, J.-C.,see Arlat, J., T-C Feb 02 138-163

Fang Yuguang,see Yuguang Fang, T-C Oct 02 1169-1181

Fan Hongbing,see Hongbing Fan, T-C Jan 02 93-95

Farn Wang,and Pao-Ann Hsiung. Efficient and user-friendly verification; T-C Jan 02 61-83

Ferrandi, F.,F. Fummi, and D. Sciuto. Test generation and testability alternatives exploration of critical algorithms for embedded applications; T-C Feb 02 200-215

Fetzer, C.,see Mishra, S., T-C Aug 02 883-899

Fummi, F.,see Ferrandi, F., T-C Feb 02 200-215

G

Gao Shuhong,see Huapeng Wu, T-C Nov 02 1306-1316

Geiselmann, W.,J. Muller-Quade, and R. Steinwandt. Comments on "A new representation of elements of finite fields GF(2 m) yielding small complexity arithmetic circuits" [by G. Drolet, Sep 98 938-946]; T-C Dec 02 1460-1461

Ge-Ming Chiu,see Ching-Min Lin, T-C Dec 02 1442-1447

Gen-Huey Chen,see Cheng-Nan Lai, T-C Jan 02 33-45

Gen Yee Wai,see Wai Gen Yee, T-C Oct 02 1231-1236

Gollmann, D. Equally spaced polynomials, dual bases, and multiplication in F(2 n); T-C May 02 588-591

Golubchik, L.,and J.C.S. Lui. Bounding of performance measures for threshold-based queuing systems: theory and application to dynamic resource management in video-on-demand servers; T-C Apr 02 353-372

Gong Linguo,see Linguo Gong, T-C Sep 02 1041-1055

Gonzaga, A.,see Monaco, F.J., T-C Jul 02 787-792

Greve, F.,see Yun Wang, T-C Aug 02 900-915

Guanling Lee,Shou-Chih Lo, and A.L.P. Chen. Data allocation on wireless broadcast channels for efficient query processing; T-C Oct 02 1237-1252

Guey Tzeng Wen,see Wen Guey Tzeng, T-C Dec 02 1462

Guohong CaoProactive power-aware cache management for mobile computing systems; T-C Jun 02 608-621

Guojun Wang,see Jianer Chen, T-C May 02 530-540

Guoliang Xue,and K. Thulasiraman. Computing the shortest network under a fixed topology; T-C Sep 02 1117-1120

Gupta, S.K.S.,see Srimani, P.K., T-C Oct 02 1121-1123

H

Ha Dong Sam,see Yamaguchi, T.J., T-C May 02 486-497

Ha Eun-Yong,see Jongmoo Choi, T-C Jul 02 793-800

Hairong Qi,see Chakrabarty, K., T-C Dec 02 1448-1453

Hambrusch, S.E.,see Prabhakar, S., T-C Oct 02 1124-1140

Hamdioui, S.,and A.J. van de Goor. Efficient tests for realistic faults in dual-port SRAMs; T-C May 02 460-473

Han Kim Chang,see Chang Han Kim, T-C Jan 02 90-92

Han Yijie,see Yijie Han, T-C Jun 02 702-707

Hartanto, F.,see Kangasharju, J., T-C Jun 02 622-636

Hasan, M.A.,see Reyhani-Masoleh, A., T-C May 02 511-520

Hasan, M.A.,see Huapeng Wu, T-C Nov 02 1306-1316

Hasteer, G.,see Krishnaswamy, V., T-C Apr 02 380-394

Haung Yieh-Ran,see Yieh-Ran Haung, T-C Dec 02 1400-1409

Hegazy, T.,and B. Ravindran. Using application benefit for proactive resource allocation in asynchronous real-time distributed systems; T-C Aug 02 945-962

Hellebrand, S.,H.-J. Wunderlich, A.A. Ivaniuk, Y.V. Klimets, and V.N. Yarmolik. Efficient online and offline testing of embedded DRAMs; T-C Jul 02 801-809

Hermant, J.-F.,and G. Le Lann. Fast asynchronous uniform consensus in real-time distributed systems; T-C Aug 02 931-944

Hettena, D.,see Oppenheimer, D., T-C Feb 02 100-107

Hiasat, A.A. High-speed and reduced-area modular adder structures for RNS; T-C Jan 02 84-89

Hierons, R.M.,and H. Ural. Reduced length checking sequences; T-C Sep 02 1111-1117

Ho Jan-Ming,see Yieh-Ran Haung, T-C Dec 02 1400-1409

Hongbing Fan,Yu-Liang Wu, and Yao-Wen Chang. Comment on "Generic universal switch blocks"; T-C Jan 02 93-95

Hong Shen,see Yijie Han, T-C Jun 02 702-707

Hong Va Leong,see Lee, K.C.K., T-C Oct 02 1253-1268

Hsiang-Kuang Pan,see Yu-Chee Tseng, T-C Jul 02 873-880

Hsien-Ming Tsai,and Yi-Bing Lin. Modeling wireless local loop with general call holding times and finite number of subscribers; T-C Jul 02 775-786

Hsiung Pao-Ann,see Farn Wang, T-C Jan 02 61-83

Hsu-Yung Cheng,see Yi-Bing Lin, T-C Oct 02 1154-1168

Huapeng WuMontgomery multiplier and squarer for a class of finite fields; T-C May 02 521-529

Huapeng WuBit-parallel finite field multiplier and squarer using polynomial basis; T-C Jul 02 750-758

Huapeng Wu,M.A. Hasan, I.F. Blake, and Shuhong Gao. Finite field multiplier using redundant representation; T-C Nov 02 1306-1316

Hung Sheung-Lun,see Lee, V.C.S., T-C Jul 02 821-834

Hurfin, M.,A. Mostefaoui, and M. Raynal. A versatile family of consensus protocols based on Chandra-Toueg's unreliable failure detectors; T-C Apr 02 395-408

Hurfin, M.,see Yun Wang, T-C Aug 02 900-915

Hurson, A.R.,see Jovanov, E., T-C Sep 02 1026-1040

Hu Yiming,see Jun Wang, T-C Sep 02 1056-1073

I

Ishida, M.,see Yamaguchi, T.J., T-C May 02 486-497

Ivaniuk, A.A.,see Hellebrand, S., T-C Jul 02 801-809

Iyengar, S.S.,see Chakrabarty, K., T-C Dec 02 1448-1453

Iyengar, V.,and K. Chakrabarty. Test bus sizing for system-on-a-chip; T-C May 02 449-459

J

Jain, V.K.,see Maziarz, B.M., T-C Aug 02 963-972

Jan-Ming Ho,see Yieh-Ran Haung, T-C Dec 02 1400-1409

Jensen, E.D.,and B. Ravindran. Guest editors' introduction to special section on asynchronous real-time distributed systems ; T-C Aug 02 881-882

Jen-Shiuh Liu,see Chun-Yuan Lin, T-C Mar 02 327-345

Jermaine, C.,see Wai Gen Yee, T-C Oct 02 1231-1236

Jianer Chen,Guojun Wang, and Songqiao Chen. Locally subcube-connected hypercube networks: theoretical analysis and experimental results; T-C May 02 530-540

Jianliang Xu,see Baihua Zheng, T-C Oct 02 1141-1153

Jien-Chung LoAnalysis of a BICS-only concurrent error detection method; T-C Mar 02 241-253

Jinpyo Park,see Suhyun Kim, T-C Sep 02 977-994

Jinwoo Suh,and V.K. Prasanna. An efficient algorithm for out-of-core matrix transposition; T-C Apr 02 420-438

Johnson, B.W.,see Kaufman, L.M., T-C Jan 02 3-12

Johnson, B.W.,see Avresky, D., T-C Feb 02 97-99

Jongin Lim,see Chang Han Kim, T-C Jan 02 90-92

Jongmoo Choi,S.H. Noh, Sang Lyul Min, Eun-Yong Ha, and Yookun Cho. Design, implementation, and performance evaluation of a detection-based adaptive block replacement scheme; T-C Jul 02 793-800

Jovanov, E.,V. Milutinovic, and A.R. Hurson. Acceleration of nonnumeric operations using hardware support for the Ordered Table Hashing algorithms; T-C Sep 02 1026-1040

Jullien, G.A.,see Saed, A., T-C Nov 02 1294-1305

Jun Wang,Rui Min, Yingwu Zhu, and Yiming Hu. UCFS - a novel User-space, high performance, Customized File System for Web proxy servers; T-C Sep 02 1056-1073

Jun Xu,and M. Singhal. Cost-effective flow table designs for high-speed routers: architecture and performance evaluation; T-C Sep 02 1089-1099

K

Kalashnikov, D.V.,see Prabhakar, S., T-C Oct 02 1124-1140

Kallahalla, M.,and P.J. Varman. PC-OPT: Optimal offline prefetching and caching for parallel I/O systems; T-C Nov 02 1333-1344

Kangasharju, J.,F. Hartanto, M. Reisslein, and K.W. Ross. Distributing layered encoded video through caches; T-C Jun 02 622-636

Kanitkar, V.,and A. Delis. Real-time processing in client-server databases; T-C Mar 02 269-288

Katkar, A.,see Bhide, M., T-C Jun 02 652-668

Kaufman, L.M.,B.W. Johnson, and J.B. Dugan. Coverage estimation using statistics of the extremes for when testing reveals no failures; T-C Jan 02 3-12

Kilicman, A.,see Al-Daoud, E., T-C Aug 02 972-975

Kim Chang Han,see Chang Han Kim, T-C Jan 02 90-92

Kim Suhyun,see Suhyun Kim, T-C Sep 02 977-994

Klimets, Y.V.,see Hellebrand, S., T-C Jul 02 801-809

Koufopavlou, O.,see Sklavos, N., T-C Dec 02 1448-1453

Krishnaswamy, V.,G. Hasteer, and P. Banerjee. Automatic parallelization of compiled event driven VHDL simulation; T-C Apr 02 380-394

Kumar, M.,see Conti, M., T-C Jun 02 593-594

Kumar, V.,N. Prabhu, M.H. Dunham, and A.Y. Seydim. TCOT - A timeout-based mobile transaction commitment protocol; T-C Oct 02 1212-1218

Kuo Tei-Wei,see Tei-Wei Kuo, T-C Jun 02 708-720

Kuroda, J.,see Oppenheimer, D., T-C Feb 02 100-107

Kwei-Jay Lin,see Tei-Wei Kuo, T-C Jun 02 708-720

Kwok-wa Lam,see Lee, V.C.S., T-C Jul 02 821-834

Kwok-Wa Lam,see Lee, V.C.S., T-C Oct 02 1196-1211

Kwong-Sak Leung,see Yui-Wah Lee, T-C Dec 02 1410-1422

L

Lai Cheng-Nan,see Cheng-Nan Lai, T-C Jan 02 33-45

Lam Kwok-wa,see Lee, V.C.S., T-C Jul 02 821-834

Lam Kwok-Wa,see Lee, V.C.S., T-C Oct 02 1196-1211

Lee, D.,and M. Yannakakis. Closed partition lattice and machine decomposition; T-C Feb 02 216-228

Lee, D.L.,see Baihua Zheng, T-C Oct 02 1141-1153

Lee, K.C.K.,Hong Va Leong, and A. Si. Semantic data broadcast for a mobile environment based on dynamic and adaptive chunking; T-C Oct 02 1253-1268

Lee, V.C.S.,Kwok-wa Lam, and Sheung-Lun Hung. Concurrency control for mixed transactions in real-time databases; T-C Jul 02 821-834

Lee, V.C.S.,Kwok-Wa Lam, S.H. Son, and E.Y.M. Chan. On transaction processing with partial validation and timestamp ordering in mobile broadcast environments; T-C Oct 02 1196-1211

Lee Chang-Hung,see Chang-Hung Lee, T-C Oct 02 1182-1195

Lee Guanling,see Guanling Lee, T-C Oct 02 1237-1252

Lee Sang-Jeong,see Sang-Jeong Lee, T-C Sep 02 1074-1088

Lee Wang-Chien,see Srimani, P.K., T-C Oct 02 1121-1123

Lee Yui-Wah,see Yui-Wah Lee, T-C Dec 02 1410-1422

Le Lann, G.,see Hermant, J.-F., T-C Aug 02 931-944

Lenzini, L.,E. Mingozzi, and G. Stea. A unifying service discipline for providing rate-based guaranteed and fair queuing services based on the Timed Token protocol; T-C Sep 02 1011-1025

Leone, M.,see Elia, M., T-C Mar 02 346-351

Leong Hong Va,see Lee, K.C.K., T-C Oct 02 1253-1268

Leung Kwong-Sak,see Yui-Wah Lee, T-C Dec 02 1410-1422

Lim Jongin,see Chang Han Kim, T-C Jan 02 90-92

Lin Ching-Min,see Ching-Min Lin, T-C Dec 02 1442-1447

Lin Chun-Yuan,see Chun-Yuan Lin, T-C Mar 02 327-345

Linguo Gong,Xian-He Sun, and E.F. Watson. Performance modeling and prediction of nondedicated network computing; T-C Sep 02 1041-1055

Lin Kwei-Jay,see Tei-Wei Kuo, T-C Jun 02 708-720

Lin Yi-Bing,see Hsien-Ming Tsai, T-C Jul 02 775-786

Lin Yi-Bing,see Yi-Bing Lin, T-C Oct 02 1154-1168

Lipari, G.,see Buttazzo, G.C., T-C Mar 02 289-302

Liu Jen-Shiuh,see Chun-Yuan Lin, T-C Mar 02 327-345

Li ZhangFault-tolerant meshes with small degree; T-C May 02 553-560

Lo Jien-Chung,see Jien-Chung Lo, T-C Mar 02 241-253

Lombardi, F.,see Avresky, D., T-C Feb 02 97-99

Lo Shou-Chih,see Guanling Lee, T-C Oct 02 1237-1252

Low Chor Ping,see Chor Ping Low, T-C May 02 581-588

Lui, J.C.S.,see Golubchik, L., T-C Apr 02 353-372

Lui Sha,see Caccamo, M., T-C Jul 02 835-849

Lu Yung-Hsiang,see Eui-Young Chung, T-C Nov 02 1345-1361

Lyul Min Sang,see Jongmoo Choi, T-C Jul 02 793-800

M

Maestrini, P.,see Caruso, A., T-C Jul 02 850-865

Mahmod, R.,see Al-Daoud, E., T-C Aug 02 972-975

Maxion, R.A.,and K.M.C. Tan. Anomaly detection in embedded systems; T-C Feb 02 108-120

Maziarz, B.M.,and V.K. Jain. Automatic reconfiguration and yield of the TESH multicomputer network; T-C Aug 02 963-972

McCluskey, E.J.,see Oh, N., T-C Feb 02 180-199

McCluskey, E.J.,see Mitra, S., T-C May 02 498-510

Messerges, T.S.,E.A. Dabbish, and R.H. Sloan. Examining smart-card security under the threat of power analysis attacks; T-C May 02 541-552

Milutinovic, V.,see Jovanov, E., T-C Sep 02 1026-1040

Minato Shin-ichi,see Shin-ichi Minato, T-C May 02 474-485

Mingozzi, E.,see Lenzini, L., T-C Sep 02 1011-1025

Ming-Syan Chen,see Chang-Hung Lee, T-C Oct 02 1182-1195

Min Rui,see Jun Wang, T-C Sep 02 1056-1073

Min Sang Lyul,see Jongmoo Choi, T-C Jul 02 793-800

Mishra, S.,C. Fetzer, and F. Cristian. The timewheel group communication system; T-C Aug 02 883-899

Mitra, S.,see Oh, N., T-C Feb 02 180-199

Mitra, S.,N.R. Saxena, and E.J. McCluskey. A design diversity metric and analysis of redundant systems; T-C May 02 498-510

Mohapatra, P.,see Xiangping Chen, T-C Nov 02 1368-1375

Monaco, F.J.,and A. Gonzaga. Remote device command and resource sharing over the Internet: a new approach based on a distributed layered architecture; T-C Jul 02 787-792

Moon Soo-Mook,see Suhyun Kim, T-C Sep 02 977-994

Moshovos, A.,and G.S. Sohi. Reducing memory latency via read-after-read memory dependence prediction; T-C Mar 02 313-326

Mostefaoui, A.,see Hurfin, M., T-C Apr 02 395-408

Muller-Quade, J.,see Geiselmann, W., T-C Dec 02 1460-1461

N

Nan Ni,and L.N. Bhuyan. Fair scheduling in Internet routers; T-C Jun 02 686-701

Navathe, S.B.,see Wai Gen Yee, T-C Oct 02 1231-1236

Nicolici, N.,and B.M. Al-Hashimi. Multiple scan chains for power minimization during test application in sequential circuits; T-C Jun 02 721-734

Nikolos, D.,see Vergos, H.T., T-C Dec 02 1389-1399

Ni Nan,see Nan Ni, T-C Jun 02 686-701

Noh, S.H.,see Jongmoo Choi, T-C Jul 02 793-800

O

Oh, N.,S. Mitra, and E.J. McCluskey. ED 4I: error detection by diverse data and duplicated instructions; T-C Feb 02 180-199

Ohmi, T.,see Yamaguchi, T.J., T-C May 02 486-497

Oh Sangho,see Chang Han Kim, T-C Jan 02 90-92

Omiecinski, E.,see Wai Gen Yee, T-C Oct 02 1231-1236

Oppenheimer, D.,A. Brown, J. Beck, D. Hettena, J. Kuroda, N. Treuhaft, D.A. Patterson, and K. Yelick. ROC-1: hardware support for recovery-oriented computing; T-C Feb 02 100-107

P

Panchbudhe, A.,see Bhide, M., T-C Jun 02 652-668

Pande, S.,see Tembe, W., T-C Oct 02 1269-1280

Pan Hsiang-Kuang,see Yu-Chee Tseng, T-C Jul 02 873-880

Pan Yi,see Yijie Han, T-C Jun 02 702-707

Pao-Ann Hsiung,see Farn Wang, T-C Jan 02 61-83

Park Chan-Ik,see Chan-Ik Park, T-C Apr 02 444-448

Park Jinpyo,see Suhyun Kim, T-C Sep 02 977-994

Patterson, D.A.,see Oppenheimer, D., T-C Feb 02 100-107

Paul, K.,D.R. Choudhury, and P.P. Chaudhuri. Theory of Extended Linear Machines; T-C Sep 02 1106-1110

Pedregal-Martin, C.,and K. Ramamritham. Support for recovery in mobile systems; T-C Oct 02 1219-1224

Pen-Chung Yew,see Sang-Jeong Lee, T-C Sep 02 1074-1088

Phaal, P.,see Cherkasova, L., T-C Jun 02 669-685

Pierre, G.,M. van Steen, and A.S. Tanenbaum. Dynamically selecting optimal distribution strategies for Web documents; T-C Jun 02 637-651

Piestrak, S.J. Design method of a class of embedded combinational self-testing checkers for two-rail codes; T-C Feb 02 229-234

Piestrak, S.J. Comments on "novel totally self-checking Berger checker designs based on generalized Berger code partitioning"; T-C Jun 02 735-736

Pineiro, J.-A.,and J.D. Bruguera. High-speed double-precision computation of reciprocal, division, square root, and inverse square root; T-C Dec 02 1377-1388

Ping Low Chor,see Chor Ping Low, T-C May 02 581-588

Pitoura, E.,and P.K. Chrysanthis. Multiversion data broadcast; T-C Oct 02 1224-1230

Pomeranz, I.,and S.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; T-C Apr 02 409-419

Pomeranz, I.,and S.M. Reddy. Enumeration of test sequences in increasing chronological order to improve the levels of compaction achieved by vector omission; T-C Jul 02 866-872

Pomeranz, I.,and S.M. Reddy. A storage-based built-in test pattern generation method for scan circuits based on partitioning and reduction of a precomputed test set; T-C Nov 02 1282-1293

Prabhakar, S.,Yuni Xia, D.V. Kalashnikov, W.G. Aref, and S.E. Hambrusch. Query indexing and velocity constrained indexing: Scalable techniques for continuous queries on moving objects; T-C Oct 02 1124-1140

Prabhu, N.,see Kumar, V., T-C Oct 02 1212-1218

Prasanna, V.K.,see Jinwoo Suh, T-C Apr 02 420-438

Q

Qi Hairong,see Chakrabarty, K., T-C Dec 02 1448-1453

R

Ramamritham, K.,see Bhide, M., T-C Jun 02 652-668

Ramamritham, K.,see Pedregal-Martin, C., T-C Oct 02 1219-1224

Randell, B.,see Xu, J., T-C Feb 02 164-179

Ravindran, B.,see Jensen, E.D., T-C Aug 02 881-882

Ravindran, B.,see Hegazy, T., T-C Aug 02 945-962

Raynal, M.,see Hurfin, M., T-C Apr 02 395-408

Reddy, S.M.,see Pomeranz, I., T-C Apr 02 409-419

Reddy, S.M.,see Pomeranz, I., T-C Jul 02 866-872

Reddy, S.M.,see Pomeranz, I., T-C Nov 02 1282-1293

Reisslein, M.,see Kangasharju, J., T-C Jun 02 622-636

Reyhani-Masoleh, A.,and M.A. Hasan. A new construction of Massey-Omura parallel multiplier over GF(2 m); T-C May 02 511-520

Rodriguez, M.,see Arlat, J., T-C Feb 02 138-163

Romanovsky, A.,see Xu, J., T-C Feb 02 164-179

Ross, K.W.,see Kangasharju, J., T-C Jun 02 622-636

Rui Min,see Jun Wang, T-C Sep 02 1056-1073

Rushdan, M.,see Al-Daoud, E., T-C Aug 02 972-975

S

Saed, A.,M. Ahmadi, and G.A. Jullien. A number system with continuous valued digits and modulo arithmetic; T-C Nov 02 1294-1305

Sam Ha Dong,see Yamaguchi, T.J., T-C May 02 486-497

Sam Toueg,see Wei Chen, T-C May 02 561-580

Sanders, W.H.,see Tai, A.T., T-C Feb 02 121-137

Sangho Oh,see Chang Han Kim, T-C Jan 02 90-92

Sang-Jeong Lee,and Pen-Chung Yew. On augmenting trace cache for high-bandwidth value prediction; T-C Sep 02 1074-1088

Sang Lyul Min,see Jongmoo Choi, T-C Jul 02 793-800

Santi, P.,see Caruso, A., T-C Jul 02 850-865

Satyanarayanan, M.,see Yui-Wah Lee, T-C Dec 02 1410-1422

Saxena, N.R.,see Mitra, S., T-C May 02 498-510

Schweitz, E.A.,and D.P. Agrawal. A parallelization domain oriented multilevel graph partitioner; T-C Dec 02 1435-1441

Schweitzer, P.J.,see Cremonesi, P., T-C Dec 02 1423-1434

Sciuto, D.,see Ferrandi, F., T-C Feb 02 200-215

Serazzi, G.,see Cremonesi, P., T-C Dec 02 1423-1434

Seydim, A.Y.,see Kumar, V., T-C Oct 02 1212-1218

Sha Lui,see Caccamo, M., T-C Jul 02 835-849

Shen Hong,see Yijie Han, T-C Jun 02 702-707

Shenoy, P.,see Bhide, M., T-C Jun 02 652-668

Sheung-Lun Hung,see Lee, V.C.S., T-C Jul 02 821-834

Shin-ichi MinatoStreaming BDD manipulation; T-C May 02 474-485

Shirazi, B.A.,see Conti, M., T-C Jun 02 593-594

Shou-Chih Lo,see Guanling Lee, T-C Oct 02 1237-1252

Shuhong Gao,see Huapeng Wu, T-C Nov 02 1306-1316

Si, A.,see Lee, K.C.K., T-C Oct 02 1253-1268

Sijing Zhang,A. Burns, and Tee-Hiang Cheng. Cycle-time properties of the timed token medium access control protocol; T-C Nov 02 1362-1367

Singhal, M.,see Jun Xu, T-C Sep 02 1089-1099

Sklavos, N.,and O. Koufopavlou. Architectures and VLSI implementations of the AES-proposal Rijndael; T-C Dec 02 1448-1453

Slingerland, N.,and A.J. Smith. Measuring the performance of multimedia instruction sets; T-C Nov 02 1317-1332

Sloan, R.H.,see Messerges, T.S., T-C May 02 541-552

Smith, A.J.,see Slingerland, N., T-C Nov 02 1317-1332

Sohi, G.S.,see Moshovos, A., T-C Mar 02 313-326

Son, S.H.,see Lee, V.C.S., T-C Oct 02 1196-1211

Songqiao Chen,see Jianer Chen, T-C May 02 530-540

Song Xueyan,see Chor Ping Low, T-C May 02 581-588

Soo-Mook Moon,see Suhyun Kim, T-C Sep 02 977-994

Srimani, P.K.,Wang-Chien Lee, and S.K.S. Gupta. Guest editorial: Special section on data management systems and mobile computing [intro.]; T-C Oct 02 1121-1123

Stea, G.,see Lenzini, L., T-C Sep 02 1011-1025

Steininger, A. Identifying efficient combinations of error detection mechanisms based on results of fault injection experiments; T-C Feb 02 235-239

Steinwandt, R.,see Geiselmann, W., T-C Dec 02 1460-1461

Stroud, R.J.,see Xu, J., T-C Feb 02 164-179

Suh Jinwoo,see Jinwoo Suh, T-C Apr 02 420-438

Suhyun Kim,Soo-Mook Moon, Jinpyo Park, and K. Ebcioglu. Unroll-based copy elimination for enhanced pipeline scheduling; T-C Sep 02 977-994

Sun Xian-He,see Linguo Gong, T-C Sep 02 1041-1055

T

Tae-Young Choe,see Chan-Ik Park, T-C Apr 02 444-448

Tai, A.T.,K.S. Tso, L. Alkalai, S.N. Chau, and W.H. Sanders. Low-cost error containment and recovery for onboard guarded software upgrading and beyond; T-C Feb 02 121-137

Tan, K.M.C.,see Maxion, R.A., T-C Feb 02 108-120

Tanenbaum, A.S.,see Pierre, G., T-C Jun 02 637-651

Tang Xueyan,see Xueyan Tang, T-C Jun 02 595-607

Tee-Hiang Cheng,see Sijing Zhang, T-C Nov 02 1362-1367

Tei-Wei Kuo,Wang-Ru Yang, and Kwei-Jay Lin. A class of rate-based real-time scheduling algorithms; T-C Jun 02 708-720

Tembe, W.,and S. Pande. Loop restructuring for data I/O minimization on limited on-chip memory embedded processors; T-C Oct 02 1269-1280

Thulasiraman, K.,see Guoliang Xue, T-C Sep 02 1117-1120

Toueg, S.,see Wei Chen, T-C Jan 02 13-32

Toueg Sam,see Wei Chen, T-C May 02 561-580

Treuhaft, N.,see Oppenheimer, D., T-C Feb 02 100-107

Tsai Hsien-Ming,see Hsien-Ming Tsai, T-C Jul 02 775-786

Tseng Yu-Chee,see Yu-Chee Tseng, T-C Jul 02 873-880

Tso, K.S.,see Tai, A.T., T-C Feb 02 121-137

Tzeng Wen-Guey,see Wen-Guey Tzeng, T-C Apr 02 373-379

Tzeng Wen Guey,see Wen Guey Tzeng, T-C Dec 02 1462

U

Ural, H.,see Hierons, R.M., T-C Sep 02 1111-1117

Urquhart, M.E.,see Cancela, H., T-C Apr 02 439-443

V

Va Leong Hong,see Lee, K.C.K., T-C Oct 02 1253-1268

van de Goor, A.J.,see Hamdioui, S., T-C May 02 460-473

van Steen, M.,see Pierre, G., T-C Jun 02 637-651

Varman, P.J.,see Kallahalla, M., T-C Nov 02 1333-1344

Vergos, H.T.,C. Efstathiou, and D. Nikolos. Diminished-one modulo 2 n + 1 adder design; T-C Dec 02 1389-1399

Verissimo, P.,and A. Casimiro. The timely computing base model and architecture; T-C Aug 02 916-930

Vilbert, S.,see Ye, N., T-C Jul 02 810-820

von Henke, F.,see Xu, J., T-C Feb 02 164-179

Vranesic, Z.G.,see Zilic, Z., T-C Sep 02 1100-1105

W

Wai Gen Yee,S.B. Navathe, E. Omiecinski, and C. Jermaine. Efficient data allocation over multiple channels at broadcast servers; T-C Oct 02 1231-1236

Wang-Chien Lee,see Srimani, P.K., T-C Oct 02 1121-1123

Wang Farn,see Farn Wang, T-C Jan 02 61-83

Wang Guojun,see Jianer Chen, T-C May 02 530-540

Wang Jun,see Jun Wang, T-C Sep 02 1056-1073

Wang-Ru Yang,see Tei-Wei Kuo, T-C Jun 02 708-720

Wang Yun,see Yun Wang, T-C Aug 02 900-915

Watson, E.F.,see Linguo Gong, T-C Sep 02 1041-1055

Wei Chen,S. Toueg, and M.K. Aguilera. On the quality of service of failure detectors; T-C Jan 02 13-32

Wei Chen,Sam Toueg, and M.K. Aguilera. On the quality of service of failure detectors; T-C May 02 561-580

Wen-Guey TzengA secure fault-tolerant conference-key agreement protocol; T-C Apr 02 373-379

Wen Guey Tzeng Corrections to "A secure fault-tolerant conference-key agreement protocol" [Apr 02 373-379]; T-C Dec 02 1462

Wu Huapeng,see Huapeng Wu, T-C May 02 521-529

Wu Huapeng,see Huapeng Wu, T-C Jul 02 750-758

Wu Huapeng,see Huapeng Wu, T-C Nov 02 1306-1316

Wunderlich, H.-J.,see Hellebrand, S., T-C Jul 02 801-809

Wu Yu-Liang,see Hongbing Fan, T-C Jan 02 93-95

X

Xiangping Chen,and P. Mohapatra. Performance evaluation of service differentiating Internet servers; T-C Nov 02 1368-1375

Xian-He Sun,see Linguo Gong, T-C Sep 02 1041-1055

Xia Yuni,see Prabhakar, S., T-C Oct 02 1124-1140

Xu, J.,B. Randell, A. Romanovsky, R.J. Stroud, A.F. Zorzo, E. Canver, and F. von Henke. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions; T-C Feb 02 164-179

Xue Guoliang,see Guoliang Xue, T-C Sep 02 1117-1120

Xueyan Song,see Chor Ping Low, T-C May 02 581-588

Xueyan Tang,and S.T. Chanson. Coordinated en-route Web caching; T-C Jun 02 595-607

Xu Jianliang,see Baihua Zheng, T-C Oct 02 1141-1153

Xu Jun,see Jun Xu, T-C Sep 02 1089-1099

Y

Ya-Hsing Cheng,see Yi-Bing Lin, T-C Oct 02 1154-1168

Yamaguchi, T.J.,Dong Sam Ha, M. Ishida, and T. Ohmi. A method for compressing test data based on Burrows-Wheeler transformation; T-C May 02 486-497

Yang Wang-Ru,see Tei-Wei Kuo, T-C Jun 02 708-720

Yang Yuanyuan,see Yuanyuan Yang, T-C Sep 02 995-1010

Yannakakis, M.,see Lee, D., T-C Feb 02 216-228

Yao-Wen Chang,see Hongbing Fan, T-C Jan 02 93-95

Yarmolik, V.N.,see Hellebrand, S., T-C Jul 02 801-809

Ye, N.,S.M. Emran, Q. Chen, and S. Vilbert. Multivariate statistical analysis of audit trails for host-based intrusion detection; T-C Jul 02 810-820

Yee Wai Gen,see Wai Gen Yee, T-C Oct 02 1231-1236

Yeh-Ching Chung,see Chun-Yuan Lin, T-C Mar 02 327-345

Yelick, K.,see Oppenheimer, D., T-C Feb 02 100-107

Yew Pen-Chung,see Sang-Jeong Lee, T-C Sep 02 1074-1088

Yi-Bing Lin,see Hsien-Ming Tsai, T-C Jul 02 775-786

Yi-Bing Lin,Hsu-Yung Cheng, Ya-Hsing Cheng, and P. Agrawal. Implementing automatic location update for follow-me database using VoIP and Bluetooth technologies; T-C Oct 02 1154-1168

Yieh-Ran Haung,and Jan-Ming Ho. Distributed call admission control for a heterogeneous PCS network; T-C Dec 02 1400-1409

Yijie Han,Yi Pan, and Hong Shen. Sublogarithmic deterministic selection on arrays with a reconfigurable optical bus; T-C Jun 02 702-707

Yiming Hu,see Jun Wang, T-C Sep 02 1056-1073

Yingwu Zhu,see Jun Wang, T-C Sep 02 1056-1073

Yi Pan,see Yijie Han, T-C Jun 02 702-707

Yoo, B.S.,and C.R. Das. A fast and efficient processor allocation scheme for mesh-connected multicomputers; T-C Jan 02 46-60

Yookun Cho,see Jongmoo Choi, T-C Jul 02 793-800

Yuanyuan YangA new conference network for group communication; T-C Sep 02 995-1010

Yu-Chee Tseng,and Hsiang-Kuang Pan. Data hiding in 2-color images; T-C Jul 02 873-880

Yuguang FangGeneral modeling and performance analysis for location management in wireless mobile networks; T-C Oct 02 1169-1181

Yui-Wah Lee,Kwong-Sak Leung, and M. Satyanarayanan. Operation shipping for mobile file systems; T-C Dec 02 1410-1422

Yu-Liang Wu,see Hongbing Fan, T-C Jan 02 93-95

Yung-Hsiang Lu,see Eui-Young Chung, T-C Nov 02 1345-1361

Yuni Xia,see Prabhakar, S., T-C Oct 02 1124-1140

Yun Wang,E. Anceaume, F. Brasileiro, F. Greve, and M. Hurfin. Solving the group priority inversion problem in a timed asynchronous system; T-C Aug 02 900-915

Z

Zhang Li,see Li Zhang, T-C May 02 553-560

Zhang Sijing,see Sijing Zhang, T-C Nov 02 1362-1367

Zheng Baihua,see Baihua Zheng, T-C Oct 02 1141-1153

Zhu Yingwu,see Jun Wang, T-C Sep 02 1056-1073

Zilic, Z.,and Z.G. Vranesic. A deterministic multivariate interpolation algorithm for small finite fields; T-C Sep 02 1100-1105

Zorn, B.G.,see Burtscher, M., T-C Jul 02 759-774

Zorzo, A.F.,see Xu, J., T-C Feb 02 164-179

Subject Index

A
Abstract data types
see Data encapsulation
Access control

cycle-time props. of timed token medium access control protocol. Sijing Zhang, +, T-C Nov 02 1362-1367

Access protocols

cycle-time props. of timed token medium access control protocol. Sijing Zhang, +, T-C Nov 02 1362-1367

group priority inversion problem solving in timed asynchronous syst. Yun Wang, +, T-C Aug 02 900-915

Accounting
see Auditing
Adaptive control

flexible workload mgt. via elastic scheduling. Buttazzo, G.C., +, T-C Mar 02 289-302

Adders

modular adder struct. for RNS, high-speed and reduced-area. Hiasat, A.A., T-C Jan 02 84-89

Aerospace
see Aerospace computing
Aerospace computing

onboard guarded software upgrading, error containment and recovery, low-cost approach. Tai, A.T., +, T-C Feb 02 121-137

Algebra
see Galois fields; Polynomials
Algorithm theory
see Computational complexity; Deterministic algorithms; Randomized algorithms
Analog circuits
see Analog processing circuits
Analog processing circuits

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

Analog simulation

number system with continuous valued digits and modulo arithmetic. Saed, A., +, T-C Nov 02 1294-1305

Application program interfaces

microkernel-based systs., COTS, dependability charactn. Arlat, J., +, T-C Feb 02 138-163

Approximation methods

unifying framework for approx. soln. of closed multiclass queuing networks. Cremonesi, P., +, T-C Dec 02 1423-1434

Arithmetic

high-speed double-precision computation of reciprocal, division, square root, and inverse square root. Pineiro, J.-A., +, T-C Dec 02 1377-1388

Arithmetic
see Digital arithmetic
Arithmetic codes

self-testing checkers, combinat., embedded, for two-rail codes, design method. Piestrak, S.J., T-C Feb 02 229-234

Asynchronous transfer mode

asynchronous real-time distributed systems (special section). T-C Aug 02 881-944

asynchronous real-time distributed systems (special section intro.). Jensen, E.D., +, T-C Aug 02 881-882

Auditing

host-based intrusion detect., audit trails, stat. anal. Ye, N., +, T-C Jul 02 810-820

Auger effect
see Auger electron spectra; Auger electron spectroscopy
Auger electron spectra

archits. and VLSI implements. of AES-proposal Rijndael. Sklavos, N., +, T-C Dec 02 1448-1453

Auger electron spectroscopy

archits. and VLSI implements. of AES-proposal Rijndael. Sklavos, N., +, T-C Dec 02 1448-1453

Automata theory

user-friendly and efficient verification. Farn Wang, +, T-C Jan 02 61-83

Automata theory
see Deterministic automata; Finite automata
Automatic test equipment

test data compression based on Burrows-Wheeler transform. Yamaguchi, T.J., +, T-C May 02 486-497

Automatic testing

Berger code, self-testing checker. Piestrak, S.J., T-C Jun 02 735-736

ROC-1 hardware platform for recovery-oriented computing. Oppenheimer, D., +, T-C Feb 02 100-107

self-testing checkers, combinat., embedded, for two-rail codes, design method. Piestrak, S.J., T-C Feb 02 229-234

Automatic testing
see Automatic test pattern generation
Automatic test pattern generation

embedded systs., test generation and testability alternatives exploration of crit. algms. Ferrandi, F., +, T-C Feb 02 200-215

B
Bandwidth allocation

Internet routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

Binary decision diagrams

streaming BDD manipulation. Shin-ichi Minato, T-C May 02 474-485

Block codes
see Cyclic codes; Reed-Muller codes
Boolean algebra
see Boolean functions
Boolean functions

streaming BDD manipulation. Shin-ichi Minato, T-C May 02 474-485

Broadcast channels

conf.-key agreement protocol, fault-tolerant, secure. Wen-Guey Tzeng, T-C Apr 02 373-379

corrections to "A secure fault-tolerant conference-key agreement protocol" (Apr 02 373-379). Wen Guey Tzeng, T-C Dec 02 1462

Broadcasting

group priority inversion problem solving in timed asynchronous syst. Yun Wang, +, T-C Aug 02 900-915

timewheel group commun. syst. Mishra, S., +, T-C Aug 02 883-899

Buffer storage

adaptive buffer replacement, detect.-based, disk block caching. Jongmoo Choi, +, T-C Jul 02 793-800

Internet routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

matrix transposition algm., out-of-core. Jinwoo Suh, +, T-C Apr 02 420-438

PC-OPT, optimal offline prefetching and caching for parallel I/O systems. Kallahalla, M., +, T-C Nov 02 1333-1344

TCP buffer allocation in HTTP server, optim. schemes. Cohen, A., +, T-C Mar 02 303-312

Buffer storage
see Cache storage
Built-in self test

embedded DRAM online/off-line testing. Hellebrand, S., +, T-C Jul 02 801-809

storage-based built-in test pattern generation method for scan circuits based on partitioning and reduction of precomputed test set. Pomeranz, I., +, T-C Nov 02 1282-1293

sync. seq. ccts., BIT seq. generation. Pomeranz, I., +, T-C Apr 02 409-419

Business data processing
see Electronic commerce
C
Cache storage

cache invalidation and replacement strategies for location-dependent data in mobile environments. Baihua Zheng, +, T-C Oct 02 1141-1153

coord. en-route Web caching. Xueyan Tang, +, T-C Jun 02 595-607

instruction level parallelism, augmenting trace cache for high-bandwidth value prediction. Sang-Jeong Lee, +, T-C Sep 02 1074-1088

layered encoded video distrib. through caches. Kangasharju, J., +, T-C Jun 02 622-636

mobile computing systs., proactive power-aware cache mgt. Guohong Cao, T-C Jun 02 608-621

PC-OPT, optimal offline prefetching and caching for parallel I/O systems. Kallahalla, M., +, T-C Nov 02 1333-1344

Web documents, dyn. optimal distrib. strategy selection. Pierre, G., +, T-C Jun 02 637-651

Web proxy caching servers, User-space Customized File System. Jun Wang, +, T-C Sep 02 1056-1073

CAD
see Logic CAD
Channel allocation

efficient data allocation over multiple channels at broadcast servers. Wai Gen Yee, +, T-C Oct 02 1231-1236

Circuit CAD
see Hardware description languages
Circuit complexity

Massey-Omura parallel multiplier over GF(2 m). Reyhani-Masoleh, A., +, T-C May 02 511-520

Circuit layout
see Circuit layout CAD
Circuit layout CAD

shortest network computation, fixed topol. Guoliang Xue, +, T-C Sep 02 1117-1120

Circuit testing

static test compaction improvement based on vector omission. Pomeranz, I., +, T-C Jul 02 866-872

Circuit testing
see Integrated circuit testing
Circuit theory
see Network synthesis; Network topology
Client-server systems

commercial Web sites, peak load mgt., admission control. Cherkasova, L., +, T-C Jun 02 669-685

dyn. Web data dissemination, adaptive push-pull. Bhide, M., +, T-C Jun 02 652-668

mobile computing systs., proactive power-aware cache mgt. Guohong Cao, T-C Jun 02 608-621

real-time proc. in client-server databases. Kanitkar, V., +, T-C Mar 02 269-288

Web documents, dyn. optimal distrib. strategy selection. Pierre, G., +, T-C Jun 02 637-651

Codes

Berger code, self-testing checker. Piestrak, S.J., T-C Jun 02 735-736

Codes
see Arithmetic codes; Error detection codes
Color
see Image color analysis
Combinational circuits

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

Massey-Omura parallel multiplier over GF(2 m). Reyhani-Masoleh, A., +, T-C May 02 511-520

self-testing checkers, combinat., embedded, for two-rail codes, design method. Piestrak, S.J., T-C Feb 02 229-234

Combinatorial mathematics
see Graph theory
Communication complexity

conf. network for group commun. Yuanyuan Yang, T-C Sep 02 995-1010

delay constrained group multicast routing problem. Chor Ping Low, +, T-C May 02 581-588

unifying service discipline based on Timed Token protocol. Lenzini, L., +, T-C Sep 02 1011-1025

WLL model with call holding time/subscribers. Hsien-Ming Tsai, +, T-C Jul 02 775-786

Compensation

TCOT, timeout-based mobile transaction commitment protocol. Kumar, V., +, T-C Oct 02 1212-1218

Computational complexity

asynchronous real-time distributed syst. proactive resource allocation. Hegazy, T., +, T-C Aug 02 945-962

bit-parallel finite field multiplier/squaring by polynomial basis. Huapeng Wu, T-C Jul 02 750-758

ellipt. curves over GF(2 n), addit. formula. Al-Daoud, E., +, T-C Aug 02 972-975

extended lin. machines theory. Paul, K., +, T-C Sep 02 1106-1110

lin. array with reconfigurable pipelined bus syst. Yijie Han, +, T-C Jun 02 702-707

residual connectedness network reliab. models, recursive variance reduction simul. tech. Cancela, H., +, T-C Apr 02 439-443

robust computation, syst.-level polynomial-time anal., using randomized algms. Alippi, C., T-C Jul 02 740-749

shortest network computation, fixed topol. Guoliang Xue, +, T-C Sep 02 1117-1120

space complexity of fast parallel multipliers for GF(2 m). Elia, M., +, T-C Mar 02 346-351

space-shared parallel computers, proc. allocation. Yoo, B.S., +, T-C Jan 02 46-60

task duplication-based scheduling algm., optimal. Chan-Ik Park, +, T-C Apr 02 444-448

Computational complexity
see Circuit complexity; Communication complexity
Computational linguistics
see Programming language semantics
Computation theory

finite field multiplier using redundant representation. Huapeng Wu, +, T-C Nov 02 1306-1316

Computation theory
see Automata theory; Programming theory
Computer aided analysis
see Analog simulation; Digital simulation
Computer applications
see Computerized control; Information systems; Mathematics computing; Microcomputer applications; Multimedia systems; Natural sciences computing
Computer architecture

archits. and VLSI implements. of AES-proposal Rijndael. Sklavos, N., +, T-C Dec 02 1448-1453

asynchronous real-time distributed systems (special section). T-C Aug 02 881-944

asynchronous real-time distributed systems (special section intro.). Jensen, E.D., +, T-C Aug 02 881-882

memory latency reduction via read-after-read memory depend. prediction. Moshovos, A., +, T-C Mar 02 313-326

ordered table hashing algms., accel. of nonnumeric operations using hardware support. Jovanov, E., +, T-C Sep 02 1026-1040

robust computation, syst.-level polynomial-time anal., using randomized algms. Alippi, C., T-C Jul 02 740-749

Computer architecture
see Memory architecture; Parallel architectures; Reconfigurable architectures
Computer interfaces
see System buses
Computerized control

hard real-time control systs. execution overrun mgt. Caccamo, M., +, T-C Jul 02 835-849

Computerized instrumentation
see Automatic test equipment
Computer networks

teleoperation/resource sharing over Internet, distributed archit. Monaco, F.J., +, T-C Jul 02 787-792

Computer networks
see Local area networks
Computers
see Digital computers
Computer software
see Subroutines
Computer testing

embedded systs., test generation and testability alternatives exploration of crit. algms. Ferrandi, F., +, T-C Feb 02 200-215

Concurrency control

real-time database mixed transaction concurrency control. Lee, V.C.S., +, T-C Jul 02 821-834

transaction processing with partial validation and timestamp ordering in mobile broadcast environments. Lee, V.C.S., +, T-C Oct 02 1196-1211

Control theory
see Adaptive control; Compensation
Convergence of numerical methods
see Numerical stability
Costing

general modeling and perform. anal. for location mgt. in wireless mobile networks. Yuguang Fang, T-C Oct 02 1169-1181

Costing
see Software cost estimation
Cryptography

bit-parallel finite field multiplier/squaring by polynomial basis. Huapeng Wu, T-C Jul 02 750-758

conf.-key agreement protocol, fault-tolerant, secure. Wen-Guey Tzeng, T-C Apr 02 373-379

corrections to "A secure fault-tolerant conference-key agreement protocol" (Apr 02 373-379). Wen Guey Tzeng, T-C Dec 02 1462

Montgomery multiplier and sq. for class of finite fields. Huapeng Wu, T-C May 02 521-529

smart-card security under threat of power anal. attacks. Messerges, T.S., +, T-C May 02 541-552

Cryptography
see Public key cryptography
Cyclic codes

quorom-based scheme for managing replicated data in distributed systems. Ching-Min Lin, +, T-C Dec 02 1442-1447

D
Database management system

support for recovery in mobile systems. Pedregal-Martin, C., +, T-C Oct 02 1219-1224

Database management systems

data management systems and mobile computing (special section). T-C Oct 02 1121-1268

data management systems and mobile computing (special section intro.). Srimani, P.K., +, T-C Oct 02 1121-1123

real-time database mixed transaction concurrency control. Lee, V.C.S., +, T-C Jul 02 821-834

TCOT, timeout-based mobile transaction commitment protocol. Kumar, V., +, T-C Oct 02 1212-1218

Database management systems
see Distributed databases; Meta data
Data communication

data allocation on wireless broadcast channels for efficient query processing. Guanling Lee, +, T-C Oct 02 1237-1252

data management systems and mobile computing (special section). T-C Oct 02 1121-1268

data management systems and mobile computing (special section intro.). Srimani, P.K., +, T-C Oct 02 1121-1123

efficient data allocation over multiple channels at broadcast servers. Wai Gen Yee, +, T-C Oct 02 1231-1236

loop restructuring for data I/O minimization on limited on-chip memory embedded processors. Tembe, W., +, T-C Oct 02 1269-1280

Data communication
see Radio data systems
Data compression

embedded DRAM online/off-line testing. Hellebrand, S., +, T-C Jul 02 801-809

flexible workload mgt. via elastic scheduling. Buttazzo, G.C., +, T-C Mar 02 289-302

test data compression based on Burrows-Wheeler transform. Yamaguchi, T.J., +, T-C May 02 486-497

Data encapsulation

steganography scheme, data hiding in 2-color images. Yu-Chee Tseng, +, T-C Jul 02 873-880

Data flow analysis

parallelization domain oriented multilevel graph partitioner. Schweitz, E.A., +, T-C Dec 02 1435-1441

Data handling
see Multimedia computing; Sorting
Data integrity

ED 4I (error detect. by diverse data and duplicated instructions). Oh, N., +, T-C Feb 02 180-199

Data structures

multidimensional array operations, representation scheme. Chun-Yuan Lin, +, T-C Mar 02 327-345

Decision diagrams
see Binary decision diagrams
Delays

enhanced pipeline scheduling using unroll-based copy elimination. Suhyun Kim, +, T-C Sep 02 977-994

modular adder struct. for RNS, high-speed and reduced-area. Hiasat, A.A., T-C Jan 02 84-89

Design engineering

diminished-one modulo 2 n + 1 adder design. Vergos, H.T., +, T-C Dec 02 1389-1399

Design engineering
see Design for testability
Design for testability

seq. ccts., power minimization during test appl. Nicolici, N., +, T-C Jun 02 721-734

Deterministic algorithms

lin. array with reconfigurable pipelined bus syst. Yijie Han, +, T-C Jun 02 702-707

small finite fields, deterministic multivariate interpolation algm. Zilic, Z., +, T-C Sep 02 1100-1105

Deterministic automata

FSM, reduced length checking seqs. Hierons, R.M., +, T-C Sep 02 1111-1117

Digital arithmetic

equally spaced polynomials, dual bases and multiplication. Gollmann, D., T-C May 02 588-591

finite field multiplier using redundant representation. Huapeng Wu, +, T-C Nov 02 1306-1316

hardware archit. for operations in GF(2 n). Chang Han Kim, +, T-C Jan 02 90-92

high-speed double-precision computation of reciprocal, division, square root, and inverse square root. Pineiro, J.-A., +, T-C Dec 02 1377-1388

modular adder struct. for RNS, high-speed and reduced-area. Hiasat, A.A., T-C Jan 02 84-89

number system with continuous valued digits and modulo arithmetic. Saed, A., +, T-C Nov 02 1294-1305

Digital arithmetic
see Redundant number systems; Residue number systems
Digital circuits
see Adders
Digital computers

diminished-one modulo 2 n + 1 adder design. Vergos, H.T., +, T-C Dec 02 1389-1399

Digital computers
see File servers
Digital integrated circuits
see Integrated logic circuits; Microprocessor chips
Digital simulation

residual connectedness network reliab. models, recursive variance reduction simul. tech. Cancela, H., +, T-C Apr 02 439-443

Digital simulation
see Virtual machines
Digital storage
see Buffer storage
Digital systems
see Computer networks; Multiprocessing systems; Real-time systems; Smart cards
Disk storage

matrix transposition algm., out-of-core. Jinwoo Suh, +, T-C Apr 02 420-438

Distributed algorithms

failure detectors, QoS, distributed algm. Wei Chen, +, T-C Jan 02 13-32

QoS of failure detectors. Wei Chen, +, T-C May 02 561-580

Distributed algorithms
see Parallel algorithms
Distributed databases

client-server databases, real-time proc. Kanitkar, V., +, T-C Mar 02 269-288

Distributed processing

asynchronous real-time distributed systems (special section). T-C Aug 02 881-944

asynchronous real-time distributed systems (special section intro.). Jensen, E.D., +, T-C Aug 02 881-882

asynchronous real-time distributed syst. proactive resource allocation. Hegazy, T., +, T-C Aug 02 945-962

distributed real-time syst. fast asynchronous uniform consensus. Hermant, J.-F., +, T-C Aug 02 931-944

processing distributed mobile queries with interleaved remote mobile joins. Chang-Hung Lee, +, T-C Oct 02 1182-1195

teleoperation/resource sharing over Internet, distributed archit. Monaco, F.J., +, T-C Jul 02 787-792

timewheel group commun. syst. Mishra, S., +, T-C Aug 02 883-899

Distributed processing
see Client-server systems; Computer networks; Distributed algorithms; Distributed databases; Distributed programming; Message passing; Mobile computing; Multiprocessing systems; Parallel processing; Pipeline processing; Processor scheduling
Distributed programming

onboard guarded software upgrading, error containment and recovery, low-cost approach. Tai, A.T., +, T-C Feb 02 121-137

timely computing base model and archit. Verissimo, P., +, T-C Aug 02 916-930

Distributed programming
see Parallel programming
Dividing arithmetic

high-speed double-precision computation of reciprocal, division, square root, and inverse square root. Pineiro, J.-A., +, T-C Dec 02 1377-1388

DRAM chips

embedded DRAM online/off-line testing. Hellebrand, S., +, T-C Jul 02 801-809

Dynamic programing

dyn. power mgt. for nonstationary service requests. Eui-Young Chung, +, T-C Nov 02 1345-1361

Dynamic programming

coord. en-route Web caching. Xueyan Tang, +, T-C Jun 02 595-607

Dynamic programming
see Integer programming
E
EFTS
see Electronic commerce
Electric control equipment
see Electric sensing devices
Electric current measurement

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

Electric sensing devices

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

Electric variables measurement
see Electric current measurement; Power measurement
Electronic commerce

commercial Web sites, peak load mgt., admission control. Cherkasova, L., +, T-C Jun 02 669-685

Electronic design automation
see Circuit layout CAD
Electronic engineering
see Low-power electronics
Electronic engineering computing
see Logic CAD; Logic simulation
Electronic equipment testing
see Circuit testing
Electron spectra
see Auger electron spectra
Electron spectroscopy
see Auger electron spectroscopy
Embedded systems

ED 4I (error detect. by diverse data and duplicated instructions). Oh, N., +, T-C Feb 02 180-199

embedded DRAM online/off-line testing. Hellebrand, S., +, T-C Jul 02 801-809

embedded fault-tolerant syst. develop. based on coord. at. actions. Xu, J., +, T-C Feb 02 164-179

embedded systs., anom. detect. Maxion, R.A., +, T-C Feb 02 108-120

embedded systs., test generation and testability alternatives exploration of crit. algms. Ferrandi, F., +, T-C Feb 02 200-215

fault-tolerant embedded systems (special section). T-C Feb 02 97-215

fault-tolerant embedded systems (special section intro.). Avresky, D., +, T-C Feb 02 97-99

onboard guarded software upgrading, error containment and recovery, low-cost approach. Tai, A.T., +, T-C Feb 02 121-137

robust computation, syst.-level polynomial-time anal., using randomized algms. Alippi, C., T-C Jul 02 740-749

self-testing checkers, combinat., embedded, for two-rail codes, design method. Piestrak, S.J., T-C Feb 02 229-234

Encoding
see Codes
Energy conservation

dyn. power mgt. for nonstationary service requests. Eui-Young Chung, +, T-C Nov 02 1345-1361

Energy resources
see Energy conservation
Engineering
see Design engineering
Engineering computing
see Aerospace computing; Telecommunication computing; Virtual machines
Error correction
see Forward error correction
Error detection

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

ED 4I (error detect. by diverse data and duplicated instructions). Oh, N., +, T-C Feb 02 180-199

embedded DRAM online/off-line testing. Hellebrand, S., +, T-C Jul 02 801-809

fault injection expts. Steininger, A., T-C Feb 02 235-239

fault-tolerant embedded systems (special section). T-C Feb 02 97-215

fault-tolerant embedded systems (special section intro.) . Avresky, D., +, T-C Feb 02 97-99

microkernel-based systs., COTS, dependability charactn. Arlat, J., +, T-C Feb 02 138-163

Error detection codes

self-testing checkers, combinat., embedded, for two-rail codes, design method. Piestrak, S.J., T-C Feb 02 229-234

Error handling

fault-tolerant embedded systems (special section). T-C Feb 02 97-215

fault-tolerant embedded systems (special section intro.). Avresky, D., +, T-C Feb 02 97-99

Exception handling
see Error handling
F
Factory automation
see Flexible manufacturing systems
Fault diagnosis

distributed real-time syst. fast asynchronous uniform consensus. Hermant, J.-F., +, T-C Aug 02 931-944

EDARS diagnosis algm. for regular struct. Caruso, A., +, T-C Jul 02 850-865

ROC-1 hardware platform for recovery-oriented computing. Oppenheimer, D., +, T-C Feb 02 100-107

Fault diagnosis
see Fault simulation
Fault simulation

dual-port SRAM, realistic fault testing. Hamdioui, S., +, T-C May 02 460-473

Fault tolerance

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

conf.-key agreement protocol, fault-tolerant, secure. Wen-Guey Tzeng, T-C Apr 02 373-379

corrections to "A secure fault-tolerant conference-key agreement protocol" (Apr 02 373-379). Wen Guey Tzeng, T-C Dec 02 1462

timewheel group commun. syst. Mishra, S., +, T-C Aug 02 883-899

Fault tolerance
see Fault tolerant computing
Fault tolerant computing

coverage estim. using stats. of extremes for testing reveals no failures. Kaufman, L.M., +, T-C Jan 02 3-12

design diversity metric and anal. of redundant systs. Mitra, S., +, T-C May 02 498-510

distributed real-time syst. fast asynchronous uniform consensus. Hermant, J.-F., +, T-C Aug 02 931-944

EDARS diagnosis algm. for regular struct. Caruso, A., +, T-C Jul 02 850-865

ED 4I (error detect. by diverse data and duplicated instructions). Oh, N., +, T-C Feb 02 180-199

embedded fault-tolerant syst. develop. based on coord. at. actions. Xu, J., +, T-C Feb 02 164-179

embedded systs., anom. detect. Maxion, R.A., +, T-C Feb 02 108-120

error detect. mechanisms, fault injection expts. Steininger, A., T-C Feb 02 235-239

fault-tolerant embedded systems (special section). T-C Feb 02 97-215

fault-tolerant embedded systems (special section intro.). Avresky, D., +, T-C Feb 02 97-99

group priority inversion problem solving in timed asynchronous syst. Yun Wang, +, T-C Aug 02 900-915

locally subcube-connected hypercube networks. Jianer Chen, +, T-C May 02 530-540

meshes with small degree. Li Zhang, T-C May 02 553-560

QoS of failure detectors. Wei Chen, +, T-C May 02 561-580

QoS of failure detectors, distributed algm. Wei Chen, +, T-C Jan 02 13-32

reliab. bounds for repairable fault-tolerant systs. Carrasco, J.A., T-C Mar 02 254-268

ROC-1 hardware platform for recovery-oriented computing. Oppenheimer, D., +, T-C Feb 02 100-107

TESH multicomputer network automatic reconfiguration/yield. Maziarz, B.M., +, T-C Aug 02 963-972

timely computing base model and archit. Verissimo, P., +, T-C Aug 02 916-930

Fault tolerant computing
see Software fault tolerance
FDDI

cycle-time props. of timed token medium access control protocol. Sijing Zhang, +, T-C Nov 02 1362-1367

Field programmable gate arrays

generic universal switch blocks. Hongbing Fan, +, T-C Jan 02 93-95

File organization

flow table designs for high-speed routers. Jun Xu, +, T-C Sep 02 1089-1099

operation shipping for mobile file systems. Yui-Wah Lee, +, T-C Dec 02 1410-1422

ordered table hashing algms., accel. of nonnumeric operations using hardware support. Jovanov, E., +, T-C Sep 02 1026-1040

File organization
see Data structures; Storage management
File servers

commercial Web sites, peak load mgt., admission control. Cherkasova, L., +, T-C Jun 02 669-685

perform. eval. of service differentiating Internet servers. Xiangping Chen, +, T-C Nov 02 1368-1375

TCP buffer allocation in HTTP server, optim. schemes. Cohen, A., +, T-C Mar 02 303-312

Web proxy caching servers, User-space Customized File System. Jun Wang, +, T-C Sep 02 1056-1073

Finance
see Costing
Finite automata

extended lin. machines theory. Paul, K., +, T-C Sep 02 1106-1110

Finite automata
see Finite state machines
Finite element analysis

finite field multiplier using redundant representation. Huapeng Wu, +, T-C Nov 02 1306-1316

Finite state machines

decomp. based on closed-partition lattice. Lee, D., +, T-C Feb 02 216-228

reduced length checking seqs. for FSM. Hierons, R.M., +, T-C Sep 02 1111-1117

Flexible manufacturing systems

embedded fault-tolerant syst. develop. based on coord. at. actions. Xu, J., +, T-C Feb 02 164-179

Flip-flops

seq. ccts., power minimization during test appl. Nicolici, N., +, T-C Jun 02 721-734

Fluctuations

queuing syst., threshold-based, perform. measure bounds, dyn. resource mgt. in VoD servers. Golubchik, L., +, T-C Apr 02 353-372

Formal logic
see Boolean functions
Formal verification

embedded fault-tolerant syst. develop. based on coord. at. actions. Xu, J., +, T-C Feb 02 164-179

user-friendly and efficient verification. Farn Wang, +, T-C Jan 02 61-83

FORTRAN

multidimensional array operations, representation scheme. Chun-Yuan Lin, +, T-C Mar 02 327-345

Forward error correction

operation shipping for mobile file systems. Yui-Wah Lee, +, T-C Dec 02 1410-1422

Functions
see Boolean functions
G
Galois fields

comments on "A new representation of elements of finite fields GF(2 m) yielding small complexity arithmetic circuits" (by G. Drolet, Sep 98 938-946). Geiselmann, W., +, T-C Dec 02 1460-1461

Graphical user interfaces

user-friendly and efficient verification. Farn Wang, +, T-C Jan 02 61-83

Graphs

parallelization domain oriented multilevel graph partitioner. Schweitz, E.A., +, T-C Dec 02 1435-1441

Graph theory

EDARS diagnosis algm. for regular struct. Caruso, A., +, T-C Jul 02 850-865

fault-tolerant meshes with small degree. Li Zhang, T-C May 02 553-560

Groupware

conf. network for group commun. Yuanyuan Yang, T-C Sep 02 995-1010

H
Hardware description languages

compiled event driven VHDL simul., automatic parallelization. Krishnaswamy, V., +, T-C Apr 02 380-394

Hardware-software codesign

embedded systs., test generation and testability alternatives exploration of crit. algms. Ferrandi, F., +, T-C Feb 02 200-215

Heuristic programming

delay constrained group multicast routing problem. Chor Ping Low, +, T-C May 02 581-588

High level languages
see FORTRAN
High level synthesis
see Hardware-software codesign
Hypercube networks

EDARS diagnosis algm. for regular struct. Caruso, A., +, T-C Jul 02 850-865

locally subcube-connected hypercube networks. Jianer Chen, +, T-C May 02 530-540

one-to-many disjoint paths in folded hypercubes. Cheng-Nan Lai, +, T-C Jan 02 33-45

Hypermedia

TCP buffer allocation in HTTP server, optim. schemes. Cohen, A., +, T-C Mar 02 303-312

Hysteresis

queuing syst., threshold-based, perform. measure bounds, dyn. resource mgt. in VoD servers. Golubchik, L., +, T-C Apr 02 353-372

I
Image coding
see Video coding
Image color analysis

steganography scheme, data hiding in 2-color images. Yu-Chee Tseng, +, T-C Jul 02 873-880

Image processing
see Image color analysis
Indexing

query indexing and velocity constrained indexing, scalable techs. for continuous queries on moving objects. Prabhakar, S., +, T-C Oct 02 1124-1140

Information analysis
see Indexing
Information dissemination

data management systems and mobile computing (special section). T-C Oct 02 1121-1268

data management systems and mobile computing (special section intro.). Srimani, P.K., +, T-C Oct 02 1121-1123

dyn. Web data dissemination, adaptive push-pull. Bhide, M., +, T-C Jun 02 652-668

Information networks
see Internet
Information resources

commercial Web sites, peak load mgt., admission control. Cherkasova, L., +, T-C Jun 02 669-685

coord. en-route Web caching. Xueyan Tang, +, T-C Jun 02 595-607

dyn. Web data dissemination, adaptive push-pull. Bhide, M., +, T-C Jun 02 652-668

Information retrieval
see Query processing
Information retrieval systems
see Online front-ends
Information science
see Information dissemination
Information services
see Information resources
Information systems

host-based intrusion detect., audit trails, stat. anal. Ye, N., +, T-C Jul 02 810-820

Information systems
see Database management systems
Input-output programs

loop restructuring for data I/O minimization on limited on-chip memory embedded processors. Tembe, W., +, T-C Oct 02 1269-1280

matrix transposition algm., out-of-core. Jinwoo Suh, +, T-C Apr 02 420-438

PC-OPT, optimal offline prefetching and caching for parallel I/O systems. Kallahalla, M., +, T-C Nov 02 1333-1344

Web proxy caching servers, User-space Customized File System. Jun Wang, +, T-C Sep 02 1056-1073

Instruction sets

measuring the performance of multimedia instruction sets. Slingerland, N., +, T-C Nov 02 1317-1332

Integer programming

grid coverage for surveillance and target location in distributed sensor networks. Chakrabarty, K., +, T-C Dec 02 1448-1453

syst.-on-a-chip, test bus sizing. Iyengar, V., +, T-C May 02 449-459

Integrated circuit design

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

streaming BDD manipulation. Shin-ichi Minato, T-C May 02 474-485

Integrated circuit testing

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

dual-port SRAM, realistic fault testing. Hamdioui, S., +, T-C May 02 460-473

syst.-on-a-chip, test bus sizing. Iyengar, V., +, T-C May 02 449-459

Integrated logic circuits

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

Integrated memory circuits
see DRAM chips; SRAM chips
Interactive systems

teleoperation/resource sharing over Internet, distributed archit. Monaco, F.J., +, T-C Jul 02 787-792

Interactive video
see Video on demand
Interconnections
see Optical interconnections
Internet

commercial Web sites, peak load mgt., admission control. Cherkasova, L., +, T-C Jun 02 669-685

coord. en-route Web caching. Xueyan Tang, +, T-C Jun 02 595-607

dyn. Web data dissemination, adaptive push-pull. Bhide, M., +, T-C Jun 02 652-668

layered encoded video distrib. through caches. Kangasharju, J., +, T-C Jun 02 622-636

perform. eval. of service differentiating Internet servers. Xiangping Chen, +, T-C Nov 02 1368-1375

QoS issues in Internet Web services. Conti, M., +, T-C Jun 02 593-594

ROC-1 hardware platform for recovery-oriented computing. Oppenheimer, D., +, T-C Feb 02 100-107

routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

TCP buffer allocation in HTTP server, optim. schemes. Cohen, A., +, T-C Mar 02 303-312

teleoperation/resource sharing over Internet, distributed archit. Monaco, F.J., +, T-C Jul 02 787-792

Web documents, dyn. optimal distrib. strategy selection. Pierre, G., +, T-C Jun 02 637-651

Web proxy caching servers, User-space Customized File System. Jun Wang, +, T-C Sep 02 1056-1073

Interpolation

small finite fields, deterministic multivariate interpolation algm. Zilic, Z., +, T-C Sep 02 1100-1105

Inverse problems

high-speed double-precision computation of reciprocal, division, square root, and inverse square root. Pineiro, J.-A., +, T-C Dec 02 1377-1388

L
Large scale integration
see VLSI
Libraries
see Software libraries
Linear algebra
see Matrix algebra; Vectors
Linear programming

grid coverage for surveillance and target location in distributed sensor networks. Chakrabarty, K., +, T-C Dec 02 1448-1453

shortest network computation, fixed topol. Guoliang Xue, +, T-C Sep 02 1117-1120

syst.-on-a-chip, test bus sizing. Iyengar, V., +, T-C May 02 449-459

Linear programming
see Integer programming
Local area networks

asynchronous real-time distributed syst. proactive resource allocation. Hegazy, T., +, T-C Aug 02 945-962

Local area networks
see Workstation clusters
Logic
see Logic design; Logic simulation; Logic testing
Logic CAD

streaming BDD manipulation. Shin-ichi Minato, T-C May 02 474-485

Logic circuits

Berger code, self-testing checker. Piestrak, S.J., T-C Jun 02 735-736

embedded systs., test generation and testability alternatives exploration of crit. algms. Ferrandi, F., +, T-C Feb 02 200-215

Logic circuits
see Combinational circuits; Integrated logic circuits; Sequential circuits
Logic design

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

Logic devices
see Logic circuits; Logic gates
Logic gates

embedded systs., test generation and testability alternatives exploration of crit. algms. Ferrandi, F., +, T-C Feb 02 200-215

space complexity of fast parallel multipliers for GF(2 m). Elia, M., +, T-C Mar 02 346-351

Logic simulation

compiled event driven VHDL simul., automatic parallelization. Krishnaswamy, V., +, T-C Apr 02 380-394

Logic testing

Berger code, self-testing checker. Piestrak, S.J., T-C Jun 02 735-736

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

embedded DRAM online/off-line testing. Hellebrand, S., +, T-C Jul 02 801-809

embedded systs., test generation and testability alternatives exploration of crit. algms. Ferrandi, F., +, T-C Feb 02 200-215

FSM, reduced length checking seqs. Hierons, R.M., +, T-C Sep 02 1111-1117

static test compaction improvement based on vector omission. Pomeranz, I., +, T-C Jul 02 866-872

sync. seq. ccts., BIT seq. generation. Pomeranz, I., +, T-C Apr 02 409-419

Low-power electronics

seq. ccts., power minimization during test appl. Nicolici, N., +, T-C Jun 02 721-734

M
Machine oriented languages
see Instruction sets
Maintenance engineering
see Software maintenance
Management

data management systems and mobile computing (special section). T-C Oct 02 1121-1268

data management systems and mobile computing (special section intro.). Srimani, P.K., +, T-C Oct 02 1121-1123

dyn. power mgt. for nonstationary service requests. Eui-Young Chung, +, T-C Nov 02 1345-1361

Marketing data processing
see Retail data processing
Markov processes

reliab. bounds for repairable fault-tolerant systs. Carrasco, J.A., T-C Mar 02 254-268

WLL model with call holding time/subscribers. Hsien-Ming Tsai, +, T-C Jul 02 775-786

Mathematical analysis
see Inverse problems
Mathematical programming
see Dynamic programming; Linear programming
Mathematics
see Arithmetic; Optimization; Probability
Mathematics computing

matrix transposition algm., out-of-core. Jinwoo Suh, +, T-C Apr 02 420-438

Matrix algebra

equally spaced polynomials, dual bases and multiplication. Gollmann, D., T-C May 02 588-591

multidimensional array operations, representation scheme. Chun-Yuan Lin, +, T-C Mar 02 327-345

transposition algm., out-of-core. Jinwoo Suh, +, T-C Apr 02 420-438

Measurement

measuring the performance of multimedia instruction sets. Slingerland, N., +, T-C Nov 02 1317-1332

Memory architecture

matrix transposition algm., out-of-core. Jinwoo Suh, +, T-C Apr 02 420-438

read-after-read memory depend. prediction for memory latency reduction. Moshovos, A., +, T-C Mar 02 313-326

Message authentication

conf.-key agreement protocol, fault-tolerant, secure. Wen-Guey Tzeng, T-C Apr 02 373-379

Message passing

consensus protocols based on unreliable failure detectors. Hurfin, M., +, T-C Apr 02 395-408

TESH multicomputer network automatic reconfiguration/yield. Maziarz, B.M., +, T-C Aug 02 963-972

Meta data

Web proxy caching servers, User-space Customized File System. Jun Wang, +, T-C Sep 02 1056-1073

Microcomputer applications

streaming BDD manipulation. Shin-ichi Minato, T-C May 02 474-485

Microprocessor chips

memory latency reduction via read-after-read memory depend. prediction. Moshovos, A., +, T-C Mar 02 313-326

Mobile communication

cache invalidation and replacement strategies for location-dependent data in mobile environments. Baihua Zheng, +, T-C Oct 02 1141-1153

data allocation on wireless broadcast channels for efficient query processing. Guanling Lee, +, T-C Oct 02 1237-1252

data management systems and mobile computing (special section). T-C Oct 02 1121-1268

data management systems and mobile computing (special section intro.). Srimani, P.K., +, T-C Oct 02 1121-1123

general modeling and perform. anal. for location mgt. in wireless mobile networks. Yuguang Fang, T-C Oct 02 1169-1181

operation shipping for mobile file systems. Yui-Wah Lee, +, T-C Dec 02 1410-1422

support for recovery in mobile systems. Pedregal-Martin, C., +, T-C Oct 02 1219-1224

transaction processing with partial validation and timestamp ordering in mobile broadcast environments. Lee, V.C.S., +, T-C Oct 02 1196-1211

Mobile communications

implementing automatic location update for follow-me database using VoIP and Bluetooth technologies. Yi-Bing Lin, +, T-C Oct 02 1154-1168

semantic data broadcast for a mobile environment based on dynamic and adaptive chunking. Lee, K.C.K., +, T-C Oct 02 1253-1268

Mobile computing

cache invalidation and replacement strategies for location-dependent data in mobile environments. Baihua Zheng, +, T-C Oct 02 1141-1153

data management systems and mobile computing (special section). T-C Oct 02 1121-1268

data management systems and mobile computing (special section intro.). Srimani, P.K., +, T-C Oct 02 1121-1123

mobile computing systs., proactive power-aware cache mgt. Guohong Cao, T-C Jun 02 608-621

multiversion data broadcast. Pitoura, E., +, T-C Oct 02 1224-1230

processing distributed mobile queries with interleaved remote mobile joins. Chang-Hung Lee, +, T-C Oct 02 1182-1195

TCOT, timeout-based mobile transaction commitment protocol. Kumar, V., +, T-C Oct 02 1212-1218

Modeling

general modeling and perform. anal. for location mgt. in wireless mobile networks. Yuguang Fang, T-C Oct 02 1169-1181

Monte Carlo methods

residual connectedness network reliab. models, recursive variance reduction simul. tech. Cancela, H., +, T-C Apr 02 439-443

Multicast communication

conf. network for group commun. Yuanyuan Yang, T-C Sep 02 995-1010

delay constrained group multicast routing problem. Chor Ping Low, +, T-C May 02 581-588

Multimedia communication

layered encoded video distrib. through caches. Kangasharju, J., +, T-C Jun 02 622-636

Multimedia computing

measuring the performance of multimedia instruction sets. Slingerland, N., +, T-C Nov 02 1317-1332

Multimedia systems

flexible workload mgt. via elastic scheduling. Buttazzo, G.C., +, T-C Mar 02 289-302

Multimedia systems
see Hypermedia; Multimedia communication; Multimedia computing
Multiplying circuits

hardware archit. for operations in GF(2 n). Chang Han Kim, +, T-C Jan 02 90-92

Massey-Omura parallel multiplier over GF(2 m). Reyhani-Masoleh, A., +, T-C May 02 511-520

Montgomery multiplier and sq. for class of finite fields. Huapeng Wu, T-C May 02 521-529

space complexity of fast parallel multipliers for GF(2 m). Elia, M., +, T-C Mar 02 346-351

Multiprocessing systems

EDARS diagnosis algm. for regular struct. Caruso, A., +, T-C Jul 02 850-865

embedded fault-tolerant syst. develop. based on coord. at. actions. Xu, J., +, T-C Feb 02 164-179

hybrid load-value predictors, perform. metrics. Burtscher, M., +, T-C Jul 02 759-774

TESH multicomputer network automatic reconfiguration/yield. Maziarz, B.M., +, T-C Aug 02 963-972

Multiprocessing systems
see Shared memory systems
Multiprocessor interconnection networks

fault-tolerant meshes with small degree. Li Zhang, T-C May 02 553-560

TESH multicomputer network automatic reconfiguration/yield. Maziarz, B.M., +, T-C Aug 02 963-972

Multiprocessor interconnection networks
see Hypercube networks; Multistage interconnection networks
Multistage interconnection networks

conf. network for group commun. Yuanyuan Yang, T-C Sep 02 995-1010

Multi-threading

compiled event driven VHDL simul., automatic parallelization. Krishnaswamy, V., +, T-C Apr 02 380-394

Multivibrators
see Flip-flops
N
Natural sciences computing

multidimensional array operations, representation scheme. Chun-Yuan Lin, +, T-C Mar 02 327-345

Network routing

generic universal switch blocks. Hongbing Fan, +, T-C Jan 02 93-95

one-to-many disjoint paths in folded hypercubes. Cheng-Nan Lai, +, T-C Jan 02 33-45

Network routing
see Telecommunication network routing
Networks (circuits)

storage-based built-in test pattern generation method for scan circuits based on partitioning and reduction of precomputed test set. Pomeranz, I., +, T-C Nov 02 1282-1293

Networks (circuits)
see Multiplying circuits
Network servers

group priority inversion problem solving in timed asynchronous syst. Yun Wang, +, T-C Aug 02 900-915

Network servers
see File servers; Video servers
Network synthesis

self-testing checkers, combinat., embedded, for two-rail codes, design method. Piestrak, S.J., T-C Feb 02 229-234

Network synthesis
see Integrated circuit design
Network topology

shortest network computation, fixed topol. Guoliang Xue, +, T-C Sep 02 1117-1120

Numerical analysis
see Finite element analysis; Interpolation; Monte Carlo methods
Numerical stability

reliab. bounds for repairable fault-tolerant systs. Carrasco, J.A., T-C Mar 02 254-268

O
Online front-ends

Internet Web services, QoS issues. Conti, M., +, T-C Jun 02 593-594

Operating system kernels

microkernel-based systs., COTS, dependability charactn. Arlat, J., +, T-C Feb 02 138-163

Operating systems (computers)

adaptive buffer replacement, detect.-based, disk block caching. Jongmoo Choi, +, T-C Jul 02 793-800

Operating systems (computers)
see Input-output programs; Operating system kernels; Unix
Operations research
see Scheduling
Optical computing

lin. array with reconfigurable pipelined bus syst. Yijie Han, +, T-C Jun 02 702-707

Optical information processing
see Optical computing
Optical interconnections

lin. array with reconfigurable pipelined bus syst. Yijie Han, +, T-C Jun 02 702-707

Optimization

asynchronous real-time distributed syst. proactive resource allocation. Hegazy, T., +, T-C Aug 02 945-962

grid coverage for surveillance and target location in distributed sensor networks. Chakrabarty, K., +, T-C Dec 02 1448-1453

hard real-time control systs. execution overrun mgt. Caccamo, M., +, T-C Jul 02 835-849

task duplication-based scheduling algm., optimal. Chan-Ik Park, +, T-C Apr 02 444-448

TCP buffer allocation in HTTP server, optim. schemes. Cohen, A., +, T-C Mar 02 303-312

Optimizing compilers

enhanced pipeline scheduling using unroll-based copy elimination. Suhyun Kim, +, T-C Sep 02 977-994

P
Parallel algorithms

bit-parallel finite field multiplier/squaring by polynomial basis. Huapeng Wu, T-C Jul 02 750-758

lin. array with reconfigurable pipelined bus syst. Yijie Han, +, T-C Jun 02 702-707

task duplication-based scheduling algm., optimal. Chan-Ik Park, +, T-C Apr 02 444-448

Parallel architectures

Massey-Omura parallel multiplier over GF(2 m). Reyhani-Masoleh, A., +, T-C May 02 511-520

Montgomery multiplier and sq. for class of finite fields. Huapeng Wu, T-C May 02 521-529

TESH multicomputer network automatic reconfiguration/yield. Maziarz, B.M., +, T-C Aug 02 963-972

timely computing base model and archit. Verissimo, P., +, T-C Aug 02 916-930

Parallelizing compilers

enhanced pipeline scheduling using unroll-based copy elimination. Suhyun Kim, +, T-C Sep 02 977-994

Parallel processing

hybrid load-value predictors, perform. metrics. Burtscher, M., +, T-C Jul 02 759-774

measuring the performance of multimedia instruction sets. Slingerland, N., +, T-C Nov 02 1317-1332

nondedicated network computing perform. modeling and prediction. Linguo Gong, +, T-C Sep 02 1041-1055

space-shared parallel computers, proc. allocation. Yoo, B.S., +, T-C Jan 02 46-60

Parallel processing
see Parallel algorithms; Parallel architectures; Parallel programming
Parallel programming

instruction level parallelism, augmenting trace cache for high-bandwidth value prediction. Sang-Jeong Lee, +, T-C Sep 02 1074-1088

multidimensional array operations, representation scheme. Chun-Yuan Lin, +, T-C Mar 02 327-345

PC-OPT, optimal offline prefetching and caching for parallel I/O systems. Kallahalla, M., +, T-C Nov 02 1333-1344

Parallel programming
see Multi-threading
Performance evaluation

adaptive buffer replacement, detect.-based, disk block caching. Jongmoo Choi, +, T-C Jul 02 793-800

cache invalidation and replacement strategies for location-dependent data in mobile environments. Baihua Zheng, +, T-C Oct 02 1141-1153

design diversity metric and anal. of redundant systs. Mitra, S., +, T-C May 02 498-510

efficient data allocation over multiple channels at broadcast servers. Wai Gen Yee, +, T-C Oct 02 1231-1236

enhanced pipeline scheduling using unroll-based copy elimination. Suhyun Kim, +, T-C Sep 02 977-994

error detect. mechanisms, fault injection expts. Steininger, A., T-C Feb 02 235-239

flow table designs for high-speed routers. Jun Xu, +, T-C Sep 02 1089-1099

general modeling and perform. anal. for location mgt. in wireless mobile networks. Yuguang Fang, T-C Oct 02 1169-1181

hybrid load-value predictors, perform. metrics. Burtscher, M., +, T-C Jul 02 759-774

measuring the performance of multimedia instruction sets. Slingerland, N., +, T-C Nov 02 1317-1332

nondedicated network computing perform. modeling and prediction. Linguo Gong, +, T-C Sep 02 1041-1055

perform. eval. of service differentiating Internet servers. Xiangping Chen, +, T-C Nov 02 1368-1375

queuing syst., threshold-based, perform. measure bounds, dyn. resource mgt. in VoD servers. Golubchik, L., +, T-C Apr 02 353-372

real-time database mixed transaction concurrency control. Lee, V.C.S., +, T-C Jul 02 821-834

Performance evaluation
see Software performance evaluation
Performance index

queuing syst., threshold-based, perform. measure bounds, dyn. resource mgt. in VoD servers. Golubchik, L., +, T-C Apr 02 353-372

Personal communication networks

distributed call admission control for heterogeneous PCS network. Yieh-Ran Haung, +, T-C Dec 02 1400-1409

Pipeline processing

enhanced pipeline scheduling using unroll-based copy elimination. Suhyun Kim, +, T-C Sep 02 977-994

lin. array with reconfigurable pipelined bus syst. Yijie Han, +, T-C Jun 02 702-707

streaming BDD manipulation. Shin-ichi Minato, T-C May 02 474-485

Plastic cards
see Smart cards
Polynomials

bit-parallel finite field multiplier/squaring by polynomial basis. Huapeng Wu, T-C Jul 02 750-758

equally spaced polynomials, dual bases and multiplication. Gollmann, D., T-C May 02 588-591

extended lin. machines theory. Paul, K., +, T-C Sep 02 1106-1110

hardware archit. for operations in GF(2 n). Chang Han Kim, +, T-C Jan 02 90-92

small finite fields, deterministic multivariate interpolation algm. Zilic, Z., +, T-C Sep 02 1100-1105

Power consumption

smart-card security under threat of power anal. attacks. Messerges, T.S., +, T-C May 02 541-552

Power measurement

dyn. power mgt. for nonstationary service requests. Eui-Young Chung, +, T-C Nov 02 1345-1361

Probability

failure detectors, QoS, distributed algm. Wei Chen, +, T-C Jan 02 13-32

queuing syst., threshold-based, perform. measure bounds, dyn. resource mgt. in VoD servers. Golubchik, L., +, T-C Apr 02 353-372

WLL model with call holding time/subscribers. Hsien-Ming Tsai, +, T-C Jul 02 775-786

Processor scheduling

asynchronous real-time distributed syst. proactive resource allocation. Hegazy, T., +, T-C Aug 02 945-962

distributed real-time syst. fast asynchronous uniform consensus. Hermant, J.-F., +, T-C Aug 02 931-944

enhanced pipeline scheduling using unroll-based copy elimination. Suhyun Kim, +, T-C Sep 02 977-994

group priority inversion problem solving in timed asynchronous syst. Yun Wang, +, T-C Aug 02 900-915

rate-based real-time scheduling algms. Tei-Wei Kuo, +, T-C Jun 02 708-720

space-shared parallel computers, proc. allocation. Yoo, B.S., +, T-C Jan 02 46-60

task duplication-based scheduling algm., optimal. Chan-Ik Park, +, T-C Apr 02 444-448

Program compilers

multidimensional array operations, representation scheme. Chun-Yuan Lin, +, T-C Mar 02 327-345

Program compilers
see Optimizing compilers; Parallelizing compilers
Program control structures

enhanced pipeline scheduling using unroll-based copy elimination. Suhyun Kim, +, T-C Sep 02 977-994

loop restructuring for data I/O minimization on limited on-chip memory embedded processors. Tembe, W., +, T-C Oct 02 1269-1280

Program diagnostics

microkernel-based systs., COTS, dependability charactn. Arlat, J., +, T-C Feb 02 138-163

Program diagnostics
see Data flow analysis
Programmable logic arrays
see Field programmable gate arrays
Programming
see Distributed programming; Program control structures; Program testing
Programming language semantics

semantic data broadcast for a mobile environment based on dynamic and adaptive chunking. Lee, K.C.K., +, T-C Oct 02 1253-1268

Programming theory

enhanced pipeline scheduling using unroll-based copy elimination. Suhyun Kim, +, T-C Sep 02 977-994

Program processors

enhanced pipeline scheduling using unroll-based copy elimination. Suhyun Kim, +, T-C Sep 02 977-994

Program processors
see Program compilers
Program testing

embedded systs., test generation and testability alternatives exploration of crit. algms. Ferrandi, F., +, T-C Feb 02 200-215

Project engineering
see Scheduling
Protocols

conf.-key agreement protocol, fault-tolerant, secure. Wen-Guey Tzeng, T-C Apr 02 373-379

consensus protocols based on unreliable failure detectors. Hurfin, M., +, T-C Apr 02 395-408

corrections to "A secure fault-tolerant conference-key agreement protocol" (Apr 02 373-379). Wen Guey Tzeng, T-C Dec 02 1462

cycle-time props. of timed token medium access control protocol. Sijing Zhang, +, T-C Nov 02 1362-1367

implementing automatic location update for follow-me database using VoIP and Bluetooth technologies. Yi-Bing Lin, +, T-C Oct 02 1154-1168

real-time database mixed transaction concurrency control. Lee, V.C.S., +, T-C Jul 02 821-834

TCOT, timeout-based mobile transaction commitment protocol. Kumar, V., +, T-C Oct 02 1212-1218

timewheel group commun. syst. Mishra, S., +, T-C Aug 02 883-899

unifying service discipline based on Timed Token protocol. Lenzini, L., +, T-C Sep 02 1011-1025

Protocols
see Access protocols; Transport protocols
Public key cryptography

ellipt. curves over GF(2 n), addit. formula. Al-Daoud, E., +, T-C Aug 02 972-975

hardware archit. for operations in GF(2 n). Chang Han Kim, +, T-C Jan 02 90-92

Pulse circuits
see Logic circuits
Q
Quality of service

commercial Web sites, peak load mgt., admission control. Cherkasova, L., +, T-C Jun 02 669-685

distributed call admission control for heterogeneous PCS network. Yieh-Ran Haung, +, T-C Dec 02 1400-1409

failure detectors, QoS, distributed algm. Wei Chen, +, T-C Jan 02 13-32

flow table designs for high-speed routers. Jun Xu, +, T-C Sep 02 1089-1099

Internet routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

Internet Web services, QoS issues. Conti, M., +, T-C Jun 02 593-594

perform. eval. of service differentiating Internet servers. Xiangping Chen, +, T-C Nov 02 1368-1375

QoS of failure detectors. Wei Chen, +, T-C May 02 561-580

unifying service discipline based on Timed Token protocol. Lenzini, L., +, T-C Sep 02 1011-1025

Query processing

data allocation on wireless broadcast channels for efficient query processing. Guanling Lee, +, T-C Oct 02 1237-1252

data management systems and mobile computing (special section). T-C Oct 02 1121-1268

data management systems and mobile computing (special section intro.). Srimani, P.K., +, T-C Oct 02 1121-1123

processing distributed mobile queries with interleaved remote mobile joins. Chang-Hung Lee, +, T-C Oct 02 1182-1195

query indexing and velocity constrained indexing, scalable techs. for continuous queries on moving objects. Prabhakar, S., +, T-C Oct 02 1124-1140

Queuing theory

threshold-based queuing syst., perform. measure bounds, dyn. resource mgt. in VoD servers. Golubchik, L., +, T-C Apr 02 353-372

unifying framework for approx. soln. of closed multiclass queuing networks. Cremonesi, P., +, T-C Dec 02 1423-1434

R
Radiocommunication
see Radio data systems; Radio links
Radio data systems

data allocation on wireless broadcast channels for efficient query processing. Guanling Lee, +, T-C Oct 02 1237-1252

efficient data allocation over multiple channels at broadcast servers. Wai Gen Yee, +, T-C Oct 02 1231-1236

multiversion data broadcast. Pitoura, E., +, T-C Oct 02 1224-1230

semantic data broadcast for a mobile environment based on dynamic and adaptive chunking. Lee, K.C.K., +, T-C Oct 02 1253-1268

transaction processing with partial validation and timestamp ordering in mobile broadcast environments. Lee, V.C.S., +, T-C Oct 02 1196-1211

Radio links

WLL model with call holding time/subscribers. Hsien-Ming Tsai, +, T-C Jul 02 775-786

Random-access storage
see DRAM chips; SRAM chips
Randomized algorithms

robust computation, syst.-level polynomial-time anal., using randomized algms. Alippi, C., T-C Jul 02 740-749

Random processes
see Queuing theory
Real-time systems

asynchronous real-time distributed systems (special section). T-C Aug 02 881-944

asynchronous real-time distributed systems (special section intro.). Jensen, E.D., +, T-C Aug 02 881-882

asynchronous real-time distributed syst. proactive resource allocation. Hegazy, T., +, T-C Aug 02 945-962

client-server databases, real-time proc. Kanitkar, V., +, T-C Mar 02 269-288

cycle-time props. of timed token medium access control protocol. Sijing Zhang, +, T-C Nov 02 1362-1367

distributed real-time syst. fast asynchronous uniform consensus. Hermant, J.-F., +, T-C Aug 02 931-944

flexible workload mgt. via elastic scheduling. Buttazzo, G.C., +, T-C Mar 02 289-302

group priority inversion problem solving in timed asynchronous syst. Yun Wang, +, T-C Aug 02 900-915

hard real-time control systs. execution overrun mgt. Caccamo, M., +, T-C Jul 02 835-849

rate-based real-time scheduling algms. Tei-Wei Kuo, +, T-C Jun 02 708-720

real-time database mixed transaction concurrency control. Lee, V.C.S., +, T-C Jul 02 821-834

timely computing base model and archit. Verissimo, P., +, T-C Aug 02 916-930

user-friendly and efficient verification. Farn Wang, +, T-C Jan 02 61-83

Real-time systems
see Embedded systems
Reconfigurable architectures

lin. array with reconfigurable pipelined bus syst. Yijie Han, +, T-C Jun 02 702-707

TESH multicomputer network automatic reconfiguration/yield. Maziarz, B.M., +, T-C Aug 02 963-972

Recovery

support for recovery in mobile systems. Pedregal-Martin, C., +, T-C Oct 02 1219-1224

Redundancy

design diversity metric and anal. of redundant systs. Mitra, S., +, T-C May 02 498-510

embedded fault-tolerant syst. develop. based on coord. at. actions. Xu, J., +, T-C Feb 02 164-179

ROC-1 hardware platform for recovery-oriented computing. Oppenheimer, D., +, T-C Feb 02 100-107

TESH multicomputer network automatic reconfiguration/yield. Maziarz, B.M., +, T-C Aug 02 963-972

Redundant number systems

finite field multiplier using redundant representation. Huapeng Wu, +, T-C Nov 02 1306-1316

Reed-Muller codes

small finite fields, deterministic multivariate interpolation algm. Zilic, Z., +, T-C Sep 02 1100-1105

Reliability
see Fault tolerance; Fault tolerant computing; Software reliability; Telecommunication network reliability
Replica techniques

quorom-based scheme for managing replicated data in distributed systems. Ching-Min Lin, +, T-C Dec 02 1442-1447

Residue number systems

modular adder struct. for RNS, high-speed and reduced-area. Hiasat, A.A., T-C Jan 02 84-89

Resource allocation

asynchronous real-time distributed syst. proactive resource allocation. Hegazy, T., +, T-C Aug 02 945-962

flexible workload mgt. via elastic scheduling. Buttazzo, G.C., +, T-C Mar 02 289-302

hybrid load-value predictors, perform. metrics. Burtscher, M., +, T-C Jul 02 759-774

Internet routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

memory latency reduction via read-after-read memory depend. prediction. Moshovos, A., +, T-C Mar 02 313-326

nondedicated network computing perform. modeling and prediction. Linguo Gong, +, T-C Sep 02 1041-1055

queuing syst., threshold-based, perform. measure bounds, dyn. resource mgt. in VoD servers. Golubchik, L., +, T-C Apr 02 353-372

TCP buffer allocation in HTTP server, optim. schemes. Cohen, A., +, T-C Mar 02 303-312

teleoperation/resource sharing over Internet, distributed archit. Monaco, F.J., +, T-C Jul 02 787-792

Retail data processing

commercial Web sites, peak load mgt., admission control. Cherkasova, L., +, T-C Jun 02 669-685

Retailing
see Retail data processing
Robots
see Telerobotics
S
Safety

embedded fault-tolerant syst. develop. based on coord. at. actions. Xu, J., +, T-C Feb 02 164-179

Scheduling

client-server databases, real-time proc. Kanitkar, V., +, T-C Mar 02 269-288

flexible workload mgt. via elastic scheduling. Buttazzo, G.C., +, T-C Mar 02 289-302

hard real-time control systs. execution overrun mgt. Caccamo, M., +, T-C Jul 02 835-849

Internet routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

PC-OPT, optimal offline prefetching and caching for parallel I/O systems. Kallahalla, M., +, T-C Nov 02 1333-1344

perform. eval. of service differentiating Internet servers. Xiangping Chen, +, T-C Nov 02 1368-1375

processing distributed mobile queries with interleaved remote mobile joins. Chang-Hung Lee, +, T-C Oct 02 1182-1195

real-time database mixed transaction concurrency control. Lee, V.C.S., +, T-C Jul 02 821-834

Scheduling
see Processor scheduling
Search problems

ordered table hashing algms., accel. of nonnumeric operations using hardware support. Jovanov, E., +, T-C Sep 02 1026-1040

Security

archits. and VLSI implements. of AES-proposal Rijndael. Sklavos, N., +, T-C Dec 02 1448-1453

Security
see Access control; Security of data
Security of data

host-based intrusion detect., audit trails, stat. anal. Ye, N., +, T-C Jul 02 810-820

smart-card security under threat of power anal. attacks. Messerges, T.S., +, T-C May 02 541-552

steganography scheme, data hiding in 2-color images. Yu-Chee Tseng, +, T-C Jul 02 873-880

Security of data
see Cryptography; Message authentication
Sensitivity analysis

robust computation, syst.-level polynomial-time anal., using randomized algms. Alippi, C., T-C Jul 02 740-749

Sensors
see Electric sensing devices
Sequential circuits

built-in current sens.-only concurrent error detect. method, anal. Jien-Chung Lo, T-C Mar 02 241-253

power minimization during test appl. in seq. ccts. Nicolici, N., +, T-C Jun 02 721-734

static test compaction improvement based on vector omission. Pomeranz, I., +, T-C Jul 02 866-872

sync. seq. ccts., BIT seq. generation. Pomeranz, I., +, T-C Apr 02 409-419

Shared memory systems

compiled event driven VHDL simul., automatic parallelization. Krishnaswamy, V., +, T-C Apr 02 380-394

Signal processing
see Data compression
Simulation
see Analog simulation; Digital simulation; Fault simulation; Logic simulation
Smart cards

security under threat of power anal. attacks. Messerges, T.S., +, T-C May 02 541-552

Software architecture

microkernel-based systs., COTS, dependability charactn. Arlat, J., +, T-C Feb 02 138-163

Software cost estimation

onboard guarded software upgrading, error containment and recovery, low-cost approach. Tai, A.T., +, T-C Feb 02 121-137

Software engineering
see Formal verification; Software architecture; Software cost estimation; Software libraries; Software maintenance; Software performance evaluation; Software reliability
Software fault tolerance

consensus protocols based on unreliable failure detectors. Hurfin, M., +, T-C Apr 02 395-408

onboard guarded software upgrading, error containment and recovery, low-cost approach. Tai, A.T., +, T-C Feb 02 121-137

Software libraries

compiled event driven VHDL simul., automatic parallelization. Krishnaswamy, V., +, T-C Apr 02 380-394

Software maintenance

onboard guarded software upgrading, error containment and recovery, low-cost approach. Tai, A.T., +, T-C Feb 02 121-137

Software performance evaluation

matrix transposition algm., out-of-core. Jinwoo Suh, +, T-C Apr 02 420-438

onboard guarded software upgrading, error containment and recovery, low-cost approach. Tai, A.T., +, T-C Feb 02 121-137

robust computation, syst.-level polynomial-time anal., using randomized algms. Alippi, C., T-C Jul 02 740-749

Software reliability

microkernel-based systs., COTS, dependability charactn. Arlat, J., +, T-C Feb 02 138-163

Software reliability
see Software fault tolerance
Sorting

ordered table hashing algms., accel. of nonnumeric operations using hardware support. Jovanov, E., +, T-C Sep 02 1026-1040

Special issues and sections

asynchronous real-time distributed systems (special section). T-C Aug 02 881-944

asynchronous real-time distributed systems (special section intro.). Jensen, E.D., +, T-C Aug 02 881-882

data management systems and mobile computing (special section). T-C Oct 02 1121-1268

data management systems and mobile computing (special section intro.). Srimani, P.K., +, T-C Oct 02 1121-1123

fault-tolerant embedded systems (special section). T-C Feb 02 97-215

fault-tolerant embedded systems (special section intro.). Avresky, D., +, T-C Feb 02 97-99

Specification languages
see Hardware description languages
SRAM chips

dual-port SRAM, realistic fault testing. Hamdioui, S., +, T-C May 02 460-473

Stability

timewheel group commun. syst. Mishra, S., +, T-C Aug 02 883-899

Stability
see Numerical stability
Statistical analysis

host-based intrusion detect., audit trails, stat. anal. Ye, N., +, T-C Jul 02 810-820

Statistics
see Monte Carlo methods; Statistical analysis
Stochastic processes
see Markov processes
Storage allocation

memory latency reduction via read-after-read memory depend. prediction. Moshovos, A., +, T-C Mar 02 313-326

Storage management

adaptive buffer replacement, detect.-based, disk block caching. Jongmoo Choi, +, T-C Jul 02 793-800

flow table designs for high-speed routers. Jun Xu, +, T-C Sep 02 1089-1099

storage-based built-in test pattern generation method for scan circuits based on partitioning and reduction of precomputed test set. Pomeranz, I., +, T-C Nov 02 1282-1293

Storage management
see Buffer storage
Subroutines

efficient data allocation over multiple channels at broadcast servers. Wai Gen Yee, +, T-C Oct 02 1231-1236

fault-tolerant embedded systems (special section). T-C Feb 02 97-215

fault-tolerant embedded systems (special section intro.). Avresky, D., +, T-C Feb 02 97-99

PC-OPT, optimal offline prefetching and caching for parallel I/O systems. Kallahalla, M., +, T-C Nov 02 1333-1344

Subscriber loops

WLL model with call holding time/subscribers. Hsien-Ming Tsai, +, T-C Jul 02 775-786

Surveillance

grid coverage for surveillance and target location in distributed sensor networks. Chakrabarty, K., +, T-C Dec 02 1448-1453

Switching
see Telecommunication switching
Switching circuits
see Logic circuits
Switching networks
see Multiprocessor interconnection networks
Synchronization

distributed real-time syst. fast asynchronous uniform consensus. Hermant, J.-F., +, T-C Aug 02 931-944

timely computing base model and archit. Verissimo, P., +, T-C Aug 02 916-930

System buses

lin. array with reconfigurable pipelined bus syst. Yijie Han, +, T-C Jun 02 702-707

System monitoring

embedded systs., anom. detect. Maxion, R.A., +, T-C Feb 02 108-120

System monitoring
see Program diagnostics
System recovery

fault-tolerant embedded systems (special section). T-C Feb 02 97-215

fault-tolerant embedded systems (special section intro.). Avresky, D., +, T-C Feb 02 97-99

onboard guarded software upgrading, error containment and recovery, low-cost approach. Tai, A.T., +, T-C Feb 02 121-137

ROC-1 hardware platform for recovery-oriented computing. Oppenheimer, D., +, T-C Feb 02 100-107

Systems analysis

decomp. based on closed-partition lattice. Lee, D., +, T-C Feb 02 216-228

microkernel-based systs., COTS, dependability charactn. Arlat, J., +, T-C Feb 02 138-163

Systems software
see Operating systems (computers); Program processors; System monitoring
T
Telecommunication
see Bandwidth allocation; Data communication; Mobile communication; Multicast communication; Multimedia communication; Telecommunication computing; Telecommunication services; Telecommunication switching; Telecommunication traffic
Telecommunication channels
see Broadcast channels; Channel allocation
Telecommunication computing

residual connectedness network reliab. models, recursive variance reduction simul. tech. Cancela, H., +, T-C Apr 02 439-443

Telecommunication congestion control

distributed call admission control for heterogeneous PCS network. Yieh-Ran Haung, +, T-C Dec 02 1400-1409

Internet routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

Telecommunication control
see Telecommunication congestion control
Telecommunication links
see Radio links
Telecommunication network reliability

residual connectedness network reliab. models, recursive variance reduction simul. tech. Cancela, H., +, T-C Apr 02 439-443

Telecommunication network routing

conf. network for group commun. Yuanyuan Yang, T-C Sep 02 995-1010

coord. en-route Web caching. Xueyan Tang, +, T-C Jun 02 595-607

delay constrained group multicast routing problem. Chor Ping Low, +, T-C May 02 581-588

flow table designs for high-speed routers. Jun Xu, +, T-C Sep 02 1089-1099

Internet routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

Telecommunication networks
see Computer networks; Personal communication networks; Telecommunication network reliability; Telecommunication network routing
Telecommunication security
see Message authentication
Telecommunication services

implementing automatic location update for follow-me database using VoIP and Bluetooth technologies. Yi-Bing Lin, +, T-C Oct 02 1154-1168

Telecommunication services
see Quality of service; Teleconferencing; Telephony
Telecommunications services

general modeling and perform. anal. for location mgt. in wireless mobile networks. Yuguang Fang, T-C Oct 02 1169-1181

Telecommunication standards
see FDDI
Telecommunication switching

Internet routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

Telecommunication traffic

Internet routers, fair scheduling. Nan Ni, +, T-C Jun 02 686-701

Teleconferencing

conf.-key agreement protocol, fault-tolerant, secure. Wen-Guey Tzeng, T-C Apr 02 373-379

conf. network for group commun. Yuanyuan Yang, T-C Sep 02 995-1010

corrections to "A secure fault-tolerant conference-key agreement protocol" (Apr 02 373-379). Wen Guey Tzeng, T-C Dec 02 1462

Telecontrol

teleoperation/resource sharing over Internet, distributed archit. Monaco, F.J., +, T-C Jul 02 787-792

Telecontrol
see Telerobotics
Telephone lines
see Subscriber loops
Telephone networks
see Subscriber loops
Telephony

conf. network for group commun. Yuanyuan Yang, T-C Sep 02 995-1010

Telerobotics

teleoperation/resource sharing over Internet, distributed archit. Monaco, F.J., +, T-C Jul 02 787-792

Test equipment
see Automatic test equipment
Testing

fault-tolerant embedded systems (special section). T-C Feb 02 97-215

fault-tolerant embedded systems (special section intro.). Avresky, D., +, T-C Feb 02 97-99

storage-based built-in test pattern generation method for scan circuits based on partitioning and reduction of precomputed test set. Pomeranz, I., +, T-C Nov 02 1282-1293

Testing
see Automatic testing; Built-in self test; Computer testing; Logic testing; Program testing
Time division multiplexing
see Asynchronous transfer mode
Timing

cycle-time props. of timed token medium access control protocol. Sijing Zhang, +, T-C Nov 02 1362-1367

Topology
see Graph theory; Network topology
Tracking

hard real-time control systs. execution overrun mgt. Caccamo, M., +, T-C Jul 02 835-849

Traffic
see Telecommunication traffic
Transaction processing

client-server databases, real-time proc. Kanitkar, V., +, T-C Mar 02 269-288

data management systems and mobile computing (special section). T-C Oct 02 1121-1268

data management systems and mobile computing (special section intro.). Srimani, P.K., +, T-C Oct 02 1121-1123

multiversion data broadcast. Pitoura, E., +, T-C Oct 02 1224-1230

real-time database mixed transaction concurrency control. Lee, V.C.S., +, T-C Jul 02 821-834

TCOT, timeout-based mobile transaction commitment protocol. Kumar, V., +, T-C Oct 02 1212-1218

transaction processing with partial validation and timestamp ordering in mobile broadcast environments. Lee, V.C.S., +, T-C Oct 02 1196-1211

Transport protocols

dyn. Web data dissemination, adaptive push-pull. Bhide, M., +, T-C Jun 02 652-668

TCP buffer allocation in HTTP server, optim. schemes. Cohen, A., +, T-C Mar 02 303-312

Tuning

data allocation on wireless broadcast channels for efficient query processing. Guanling Lee, +, T-C Oct 02 1237-1252

U
Unix

compiled event driven VHDL simul., automatic parallelization. Krishnaswamy, V., +, T-C Apr 02 380-394

User interfaces

Internet Web services, QoS issues. Conti, M., +, T-C Jun 02 593-594

ROC-1 hardware platform for recovery-oriented computing. Oppenheimer, D., +, T-C Feb 02 100-107

User interfaces
see Graphical user interfaces
Utility programs
see Application program interfaces
V
Vectors

static test compaction improvement based on vector omission. Pomeranz, I., +, T-C Jul 02 866-872

Video coding

layered encoded video distrib. through caches. Kangasharju, J., +, T-C Jun 02 622-636

Video equipment
see Video servers
Video on demand

queuing syst., threshold-based, perform. measure bounds, dyn. resource mgt. in VoD servers. Golubchik, L., +, T-C Apr 02 353-372

Video servers

queuing syst., threshold-based, perform. measure bounds, dyn. resource mgt. in VoD servers. Golubchik, L., +, T-C Apr 02 353-372

Video signal processing
see Video coding
Virtual machines

EDARS diagnosis algm. for regular struct. Caruso, A., +, T-C Jul 02 850-865

VLSI

archits. and VLSI implements. of AES-proposal Rijndael. Sklavos, N., +, T-C Dec 02 1448-1453

comments on "A new representation of elements of finite fields GF(2 m) yielding small complexity arithmetic circuits" (by G. Drolet, Sep 98 938-946). Geiselmann, W., +, T-C Dec 02 1460-1461

diminished-one modulo 2 n + 1 adder design. Vergos, H.T., +, T-C Dec 02 1389-1399

seq. ccts., power minimization during test appl. Nicolici, N., +, T-C Jun 02 721-734

streaming BDD manipulation. Shin-ichi Minato, T-C May 02 474-485

syst.-on-a-chip, test bus sizing. Iyengar, V., +, T-C May 02 449-459

W
Workstation clusters

nondedicated network computing perform. modeling and prediction. Linguo Gong, +, T-C Sep 02 1041-1055

ROC-1 hardware platform for recovery-oriented computing. Oppenheimer, D., +, T-C Feb 02 100-107

streaming BDD manipulation. Shin-ichi Minato, T-C May 02 474-485

34 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool