1. Hybrid Nanoelectronics: Future of Computer Technology

   • Wei Wang
   • Ming Liu
   • Andrew Hsu

   Survey Pages: 871 - 886

2. Low-Complexity Bit-Parallel Multiplier over GF(2^m) Using Dual Basis Representation

   • Chiou-Yng Lee
   • Jenn-Shyong Horng
   • I-Chang Jou

   Short Paper Pages: 887 - 892

3. Toward the Optimal Configuration of Dynamic Voltage Scaling Points in Real-Time Applications

   • Hui-Zhan Yi
   • Xue-Jun Yang

   Short Paper Pages: 893 - 900

4. Parallel Error Detection for Leading Zero Anticipation

   • Ge Zhang
   • Wei-Wu Hu
   • Zi-Chu Qi

   Short Paper Pages: 901 - 906

5. Test Time Minimization for Hybrid BIST of Core-Based Systems

   • Gert Jervan
   • Petru Eles
   • Maksim Jenihhin

   Short Paper Pages: 907 - 912

6. Priority-Based Routing Resource Assignment Considering Crosstalk

   • Yi-Ci Cai
   • Bin Liu
   • Xian-Long Hong

   Regular Paper Pages: 913 - 921

7. General Floorplans with L/T-Shaped Blocks Using Corner Block List

   • Yu-Chun Ma
   • Xian-Long Hong
   • Jun Gu

   Short Paper Pages: 922 - 926

8. Influences of Gate Operation Errors in the Quantum Counting Algorithm

   • Qing Ai
   • Yan-Song Li
   • Gui-Lu Long

   Short Paper Pages: 927 - 932

9. Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

   • Kai-Le Su
   • Qing-Liang Chen
   • Xi-Zhong Zheng

   Regular Paper Pages: 932 - 943

10. Direct Model Checking Matrix Algorithm

    • Zhi-Hong Tao
    • Hans Kleine Büning
    • Li-Fu Wang

    Short Paper Pages: 944 - 949

11. A Note on the Stopping Redundancy of Linear Codes

    • Shu-Tao Xia

    Short Paper Pages: 950 - 951

12. EAFoC: Enterprise Architecture Framework Based on Commonality

    • Jin-Woo Kim
    • Ju-Hum Kwon
    • Doo-Kwon Baik

    Regular Paper Pages: 952 - 964

13. Code Based Analysis for Object-Oriented Systems

    • Swapan Bhattacharya
    • Ananya Kanjilal

    Regular Paper Pages: 965 - 972

14. Improvement of Performance of MegaBlast Algorithm for DNA Sequence Alignment

    • Guang-Ming Tan
    • Lin Xu
    • Ning-Hui Sun

    Short Paper Pages: 973 - 978

15. A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States

    • Jian-Liang Xu
    • Yun-Xia Liu
    • Tsunehiro Yoshinaga

    Short Paper Pages: 979 - 983

16. Semi-Online Algorithms for Scheduling with Machine Cost

    • Yi-Wei Jiang
    • Yong He

    Short Paper Pages: 984 - 988

17. Effective I/O Scheme Based on RTP for Multimedia Communication Systems

    • Nam-Sup Park
    • Chong-Sun Hwang

    Regular Paper Pages: 989 - 996

18. Inter-Cluster Routing Authentication for Ad Hoc Networks by a Hierarchical Key Scheme

    • Yueh-Min Huang
    • Hua-Yi Lin
    • Tzone-I Wang

    Regular Paper Pages: 997 - 1011

19. Parallel Switch System with QoS Guarantee for Real-Time Traffic

    • Wen-Jie Li
    • Bin Liu
    • Heng Liao

    Regular Paper Pages: 1012 - 1021

20. Design and Analysis of a Multiscale Active Queue Management Scheme

    • Qi-Jin Ji
    • Yong-Qiang Dong

    Regular Paper Pages: 1022 - 1030

21. Bandwidth Reservation Using Velocity and Handoff Statistics for Cellular Networks

    • Chuan-Lin Zhang
    • Kam Yiu Lam
    • Wei-Jia Jia

    Regular Paper Pages: 1031 - 1039

22. 2006 Author Index

    OriginalPaper Pages: 1040 - 1043