Journal: J. Comput. Sci. Technol.

Volume 20, Issue 6

735 -- 750Jin-yi Cai, Hong Zhu. Progress in Computational Complexity Theory
751 -- 757Ruqian Lu. Towards a Mathematical Theory of Knowledge
758 -- 762Daoyun Xu, Zhi-Hong Tao. Complexities of Homomorphism and Isomorphism for Definite Logic Programs
763 -- 773Xu-bin Deng, Yangyong Zhu. L-Tree Match: A New Data Extraction Model and Algorithm for Huge Text Stream with Noises
774 -- 787Yong-Ji Wang, Matthew Cartmell, Qiu-Ming Tao, Han Liu. A Generalized Real-Time Obstacle Avoidance Method Without the Cspace Calculation
788 -- 796Zille Huma, Muhammad Rehman, Nadeem Iftikhar. An Ontology-Based Framework for Semi-Automatic Schema Integration
797 -- 810Imad Jawhar, Jie Wu. QoS Support in TDMA-Based Mobile Ad Hoc Networks
811 -- 821KwangJin Park, MoonBae Song, Chong-Sun Hwang. Broadcast-Based Spatial Queries
822 -- 830Jipeng Zhou. Fault-Tolerant Wormhole Routing with 2 Virtual Channels in Meshes
831 -- 835Zhang Jin-Yu, Li Liu, Li Hong-Hui, Feng Liu. Quantitative QoS Management Implement Mechanism in IP-DiffServ
836 -- 842Caixia Zhang, Zhanyi Hu. A General Sufficient Condition of Four Positive Solutions of the P3P Problem
843 -- 848Xiang-Sheng Wu. A New Technique for Digital Image Watermarking
849 -- 854Hua Li, Shuicheng Yan, Li-Zhong Peng. Robust Non-Frontal Face Alignment with Edge Based Texture
855 -- 860Shuqiang Jiang, Jun Du, Qingming Huang, Tiejun Huang, Wen Gao. Visual Ontology Construction for Digitized Art Image Retrieval
861 -- 874Ming Li, Xiao-Shan Gao, Jin-San Cheng. Generating Symbolic Interpolants for Scattered Data with Normal Vectors
875 -- 884Wei Lu, Xiu-Tao Yang, Tao Lv, Xiao-Wei Li. An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage
885 -- 894Jian-Hui Jiang. An Error Recoverable Structure Based on Complementary Logic and Alternating-Retry
895 -- 900Yinshui Xia, Lun-Yao Wang, Zong-Gang Zhou, Xien Ye, Jian-Ping Hu. Novel Synthesis and Optimization of Multi-Level Mixed Polarity Reed-Muller Functions
901 -- 906Yici Cai, Xin Zhao, Qiang Zhou, Xianlong Hong. Shielding Area Optimization Under the Solution of Interconnect Crosstalk

Volume 20, Issue 5

575 -- 576Pen-Chung Yew, Jingling Xue. Forword
577 -- 585Ruby B. Lee, Xiao Yang, Zhijie Shi. Single-Cycle Bit Permutations with MOMR Execution
586 -- 595Philip Machanick. The Value of a Small Microkernel for Dreamy Memory and the RAMpage Memory Hierarchy
596 -- 606Ying Chen, Karthik Ranganathan, Vasudev V. Pai, David J. Lilja, Kia Bazargan. A Novel Memory Structure for Embedded Systems: Flexible Sequential and Random Access Memory
607 -- 614Cheol Kim, Sung Chung, Chu Shik Jhon. A Power-Aware Branch Predictor by Accessing the BTB Selectively
615 -- 623Yong Xiao, Xing-Ming Zhou. Performance Evaluation of Data Value Prediction Schemes
624 -- 634Sebastian Wallner. Micro-Task Processing in Heterogeneous Reconfigurable Systems
635 -- 646Mei Wen, Nan Wu, Haiyan Li, Chunyuan Zhang. Multiple-Morphs Adaptive Stream Architecture
647 -- 653Wu Jigang, Thambipillai Srikanthan. Power Efficient Sub-Array in Reconfigurable VLSI Meshes
654 -- 664Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser. User-Level Device Drivers: Achieved Performance
665 -- 675Youfeng Wu, Yong-Fong Lee. Hardware-Software Collaborative Techniques for Runtime Profiling and Phase Transition Detection
676 -- 688Weisong Shi, Sharun Santhosh, Hanping Lufei. Secure Application-Aware Service Differentiation in Public Area Wireless Networks
689 -- 701Yu Jiang, Binxing Fang, Ming-Zeng Hu, Xiang Cui. Techniques for Determining the Geographic Location of IP Addresses in ISP Topology Measurement
702 -- 712Wei-Sheng Si, Cheng-Zhi Li. RMAC: A Reliable MAC Protocol Supporting Multicast for Wireless Ad Hoc Networks
713 -- 716Ya-feng Wu, Yinlong Xu, Guo-Liang Chen. Approximation Algorithms for Steiner Connected Dominating Set
717 -- 727I-Shyan Hwang, I-Feng Huang, Shin-Cheng Yu. Dynamic Fuzzy Controlled RWA Algorithm for IP/GMPLS over WDM Networks
728 -- 734Ruochen Liu, Licheng Jiao, Haifeng Du. Clonal Strategy Algorithm Based on the Immune Memory

Volume 20, Issue 4

433 -- 433Ying Xu, Liming Cai, Zhiping Weng. Preface
434 -- 438Liang Chen, Hongyu Zhao. Integrating mRNA Decay Information into Co-Regulation Study
439 -- 445Peter M. Haverty, Zhiping Weng, Ulla Hansen. Transcriptional Regulatory Networks Activated by PI3K and ERK Transduced Growth Signals in Human Glioblastoma Cells
446 -- 453Heng Li, Jin-Song Liu, Zhao Xu, Jiao Jin, Lin Fang, Lei Gao, Yu-Dong Li, Zi-Xing Xing, Shao-Gen Gao, Tao Liu, Hai-Hong Li, Yan Li, Li-Jun Fang, Hui-Min Xie, Wei-Mou Zheng, Bai-Lin Hao. Test Data Sets and Evaluation of Gene Prediction Programs on the Rice Genome
454 -- 464Yinglei Song, Jizhen Zhao, Chunmei Liu, Kan Liu, Russell L. Malmberg, Liming Cai. RNA Structural Homology Search with a Succinct Stochastic Grammar Model
465 -- 482Xiu-Feng Wan, Dong Xu. Intrinsic Terminator Prediction and Its Application in ::::Synechococcus sp.:::: WH8102
483 -- 490Bo Yan, Youxing Qu, Fenglou Mao, Victor Olman, Ying Xu. PRIME: A Mass Spectrum Data Mining Tool for ::::De Nova:::: Sequencing and PTMs Identification
491 -- 495Zhi-Ke Zi, Zhirong Sun. Robustness Analysis of the IFN-y Induced JAK-STAT Signaling Pathway
496 -- 513Su Feng. Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions
514 -- 525Guang-Ping Qin, Jin-Zhao Wu. Action Refinement for Real-Time Concurrent Processes with Urgency
526 -- 535Jian-Min Pang, Paul Callaghan, Zhaohui Luo. ::::LFTOP::::: An ::::LF::::-Based Approach to Domain-Specific Reasoning
536 -- 541Ping Hou. Some Representation Theorems for Recovering Contraction Relations
542 -- 551Huaimin Wang, Yufeng Wang, Yang-Bin Tang. StarBus+: Distributed Object Middleware Practice for Internet Computing
552 -- 558Xiaojun Wan, Yuxin Peng. A New Retrieval Model Based on TextTiling for Document Similarity Search
559 -- 566Sheng-Zhi Du, Zeng-Qiang Chen, Zhu-Zhi Yuan. Evolutionary Pseudo-Relaxation Learning Algorithm for Bidirectional Associative Memory
567 -- 573Hui Wei, Shang-Min Luan. Ganglion-Based Balance Design of Multi-Layer Model and Its Watchfulness-Keeping
574 -- 574Xiaoping Sun, Qing Li. The Knowledge Grid

Volume 20, Issue 3

289 -- 295Hai Zhuge, Xiangfeng Luo. Knowledge Map: Mathematical Model and Dynamic Behaviors
296 -- 308JuHum Kwon, Chee-Yang Song, Chang-Joo Moon, Doo-Kwon Baik. Bridging Real World Semantics to Model World Semantics for Taxonomy Based Knowledge Representation System
309 -- 318Cai-Yan Jia, Xie-Ping Gao. Multi-Scaling Sampling: An Adaptive Sampling Method for Discovering Approximate Association Rules
319 -- 330Menq-Wen Lin, K. Robert Lai, Ting-Jung Yu. Fuzzy Constraint-Based Agent Negotiation
331 -- 337Huaping Zhang, Jian Sun, Bing Wang, Shuo Bai. Computation on Sentence Semantic Distance for Novelty Detection
338 -- 344Yu Sun, Yuefei Sui, Youming Xia. Logical Sentences as the Intent of Concepts
345 -- 356Hong Gao, Jianzhong Li. Parallel Data Cube Storage Structure for Range Sum Queries and Dynamic Updates
357 -- 366Dun-Ren Che. Accomplishing Deterministic XML Query Optimization
367 -- 372Sheng-En Li, Shan Wang. Semi-Closed Cube: An Effective Approach to Trading Off Data Cube Size and Query Response Time
373 -- 377Guoren Wang, Xiaolin Zhang. Declarative XML Update Language Based on a Higher Data Model
378 -- 388Jie Yang, Mohammed Al-Rawi. Illumination Invariant Recognition of Three-Dimensional Texture in Color Images
389 -- 395Chen-Dong Xu, Fa-Lai Chen. Blending Canal Surfaces Based on PH Curves
396 -- 401Hong Chen, Ling Chen, Gencai Chen. Effects of Local-Lag Mechanism on Task Performance in a Desktop CVE System
402 -- 410Nadir Farah, Labiba Souici, Mokhtar Sellami. Arabic Word Recognition by Classifiers and Context
411 -- 418Xiangqian Wu, Kuanquan Wang, David Zhang. Wavelet Energy Feature Extraction and Matching for Palmprint Recognition
419 -- 425JunZhou Huang, Tieniu Tan, Li Ma, Yunhong Wang. Phase Correlation Based Iris Image Registration Model
426 -- 431Yang-Li Wang, Cheng-Ke Wu. Complete Multiple Description Mesh-Based Video Coding Scheme and Its Performance

Volume 20, Issue 2

145 -- 145Xiaowei Li. Perface
147 -- 165Dian Zhou, Ruiming Li. Design and Verification of High-Speed VLSI Physical Design
166 -- 174Ozgur Sinanoglu, Alex Orailoglu. Efficient RT-Level Fault Diagnosis
175 -- 186Li Shen 0002. VFSim: Concurrent Fault Simulation at Register Transfer Level
187 -- 194Xiaoqing Wen, Hideo Tamamoto, Kewal K. Saluja, Kozo Kinoshita. Fault Diagnosis of Physical Defects Using Unknown Behavior Model
195 -- 200Jean Marc Gallière, Michel Renovell, Florence Azaïs, Yves Bertrand. Delay Testing Viability of Gate Oxide Short Defects
201 -- 209Yinhe Han, Xiaowei Li, Huawei Li, Anshuman Chandra. Test Resource Partitioning Based on Efficient Response Compaction for Test Time and Tester Channels Reduction
210 -- 215Terumine Hayashi, Haruna Yoshioka, Tsuyoshi Shinogi, Hidehiko Kita, Haruhiko Takase. On Test Data Compression Using Selective Don t-Care Identification
216 -- 223Abdil Rashid Mohamed, Zebo Peng, Petru Eles. A Wiring-Aware Approach to Minimizing Built-In Self-Test Overhead
224 -- 230Yici Cai, Jin Shi, Zuying Luo, Xianlong Hong. Modeling and Analysis of Mesh Tree Hybrid Power/Ground Networks with Multiple Voltage Supply in Time Domain
231 -- 236Hailong Yao, Yici Cai, Qiang Zhou, Xianlong Hong. Crosstalk-Aware Routing Resource Assignment
237 -- 242Yinshui Xia, Lun-Yao Wang, A. E. A. Almaini. A Novel Multiple-Valued CMOS Flip-Flop Employing Multiple-Valued Clock
243 -- 249Weiwu Hu, Fuxin Zhang, Zusong Li. Microarchitecture of the Godson-2 Processor
250 -- 257Masayuki Hirayama, Osamu Mizuno, Tohru Kikuno. Analysis of Software Test Item Generation - Comparison Between High Skilled and Low Skilled Engineers
258 -- 263Shun-Dong Li, Yiqi Dai. Secure Two-Party Computational Geometry
264 -- 269Lei Hu, Jun-Wu Dong, Dingyi Pei. Implementation of Cryptosystems Based on Tate Pairing
270 -- 275Qianhong Wu, Bo Qin, YuMin Wang. Extended Methodology of RS Design and Instances Based on GIP
276 -- 281Yun Li, Keping Long, Weiliang Zhao, Feng-Rui Yang. RWBO(p::d::w): A Novel Backoff Algorithm for IEEE 802.11 DCF
282 -- 288Yong Peng, Shiduan Cheng, Junliang Chen. RSAD: A Robust Distributed Contention-Based Adaptive Mechanism for IEEE 802.11 Wireless LANs

Volume 20, Issue 1

1 -- 2Zhiwei Xu. Preface
3 -- 17Benjamin W. Wah, Zhe Wu. Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems
18 -- 37Jian-Er Chen. Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardness
38 -- 47Xiaowei Li, Guanghui Li, Ming Shao. Formal Verification Techniques Based on Boolean Satisfiability Problem
48 -- 54Zhi-Hua Zhou, Yang Yu. Adapt Bagging to Nearest Neighbor Classifiers
55 -- 62Shan Wang, Kunlong Zhang. Searching Databases with Keywords
63 -- 69Joong Hyuk Chang, Won Suk Lee. Effect of Count Estimation in Finding Frequent Itemsets over Online Transactional Data Streams
70 -- 76David Zhang, Guangming Lu, Adams Wai-Kin Kong, Michael Wong. Online Palmprint Identification System for Civil Applications
77 -- 89Ligang Liu, Bo Zhang, Baining Guo, Heung-Yeung Shum. Polygonal Shape Blending with Topological Evolutions
90 -- 94Ling Zhang, Bo Zhang. A Quotient Space Approximation Model of Multiresolution Signal Analysis
95 -- 104Huimin Lin. Predicate µ-Calculus for Mobile Ambients
105 -- 177Wen Gao, Lionel M. Ni, Zhiwei Xu, S. C. Cheung, Li Cui, Qiong Luo. BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale
118 -- 124Swapan Bhattacharya, Anirban Banerjee, Shibdas Bandyopadhyay. CORBA-Based Analysis of Multi Agent Behavior
125 -- 133Xiaobing Feng 0002, Li Chen, Yiran Wang, Xiao-Mi An, Lin Ma, Chun-Lei Sang, Zhaoqing Zhang. Integrating Parallelizing Compilation Technologies for SMP Clusters
134 -- 140Changjun Jiang, Zhaohui Zhang, Guosun Zeng, Hong-Zhong Chen, Duo-Qian Miao, Yu Fang, Xiaofeng Tao, Qing Zhi, Feng Yue, Yang Luo, Anqing Zhou, Lin Chen, Lei Liu. Urban Traffic Information Service Application Grid
141 -- 143Andrew A. Chien, Xian-He Sun, Zhiwei Xu. Viewpoints on Grid Standards
144 -- 145Jian Pei. Book Review on Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists