Hybrid Nanoelectronics: Future of Computer Technology Wei WangMing LiuAndrew Hsu Survey Pages: 871 - 886
Low-Complexity Bit-Parallel Multiplier over GF(2m) Using Dual Basis Representation Chiou-Yng LeeJenn-Shyong HorngI-Chang Jou Short Paper Pages: 887 - 892
Toward the Optimal Configuration of Dynamic Voltage Scaling Points in Real-Time Applications Hui-Zhan YiXue-Jun Yang Short Paper Pages: 893 - 900
Parallel Error Detection for Leading Zero Anticipation Ge ZhangWei-Wu HuZi-Chu Qi Short Paper Pages: 901 - 906
Test Time Minimization for Hybrid BIST of Core-Based Systems Gert JervanPetru ElesMaksim Jenihhin Short Paper Pages: 907 - 912
Priority-Based Routing Resource Assignment Considering Crosstalk Yi-Ci CaiBin LiuXian-Long Hong Regular Paper Pages: 913 - 921
General Floorplans with L/T-Shaped Blocks Using Corner Block List Yu-Chun MaXian-Long HongJun Gu Short Paper Pages: 922 - 926
Influences of Gate Operation Errors in the Quantum Counting Algorithm Qing AiYan-Song LiGui-Lu Long Short Paper Pages: 927 - 932
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation Kai-Le SuQing-Liang ChenXi-Zhong Zheng Regular Paper Pages: 932 - 943
Direct Model Checking Matrix Algorithm Zhi-Hong TaoHans Kleine BüningLi-Fu Wang Short Paper Pages: 944 - 949
EAFoC: Enterprise Architecture Framework Based on Commonality Jin-Woo KimJu-Hum KwonDoo-Kwon Baik Regular Paper Pages: 952 - 964
Code Based Analysis for Object-Oriented Systems Swapan BhattacharyaAnanya Kanjilal Regular Paper Pages: 965 - 972
Improvement of Performance of MegaBlast Algorithm for DNA Sequence Alignment Guang-Ming TanLin XuNing-Hui Sun Short Paper Pages: 973 - 978
A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States Jian-Liang XuYun-Xia LiuTsunehiro Yoshinaga Short Paper Pages: 979 - 983
Semi-Online Algorithms for Scheduling with Machine Cost Yi-Wei JiangYong He Short Paper Pages: 984 - 988
Effective I/O Scheme Based on RTP for Multimedia Communication Systems Nam-Sup ParkChong-Sun Hwang Regular Paper Pages: 989 - 996
Inter-Cluster Routing Authentication for Ad Hoc Networks by a Hierarchical Key Scheme Yueh-Min HuangHua-Yi LinTzone-I Wang Regular Paper Pages: 997 - 1011
Parallel Switch System with QoS Guarantee for Real-Time Traffic Wen-Jie LiBin LiuHeng Liao Regular Paper Pages: 1012 - 1021
Design and Analysis of a Multiscale Active Queue Management Scheme Qi-Jin JiYong-Qiang Dong Regular Paper Pages: 1022 - 1030
Bandwidth Reservation Using Velocity and Handoff Statistics for Cellular Networks Chuan-Lin ZhangKam Yiu LamWei-Jia Jia Regular Paper Pages: 1031 - 1039