1 | -- | 2 | Erik R. Altman, Weisong Shi. Preface |
3 | -- | 13 | Jie Tang, Pollawat Thanarungroj, Chen Liu, Shaoshan Liu, Zhimin Gu, Jean-Luc Gaudiot. Pinned OS/Services: A Case Study of XML Parsing on Intel SCC |
14 | -- | 27 | Zhiguang Chen, Nong Xiao, Fang Liu, Yimo Du. Reorder Write Sequence by Hetero-Buffer to Extend SSD's Lifespan |
28 | -- | 41 | Yimo Du, Nong Xiao, Fang Liu, Zhiguang Chen. CSWL: Cross-SSD Wear-Leveling Method in SSD-Based RAID Systems for System Endurance and Performance |
42 | -- | 53 | Jin-Tao Meng, Jian-Rui Yuan, Sheng-Zhong Feng, Lian-Sheng Tan. Power Adjusting Algorithm: A New Cross-Layer Power Saving Mechanism for Mobile Ad-Hoc Networks |
54 | -- | 71 | Xiaohang Wang, Peng Liu 0016, Mei Yang, Maurizio Palesi, Yingtao Jiang, Michael C. Huang. Energy Efficient Run-Time Incremental Mapping for 3-D Networks-on-Chip |
72 | -- | 89 | Carlos Teijeiro, Guillermo L. Taboada, Juan Touriño, Ramon Doallo, José Carlos Mouriño, Damián A. Mallón, Brian Wibecan. Design and Implementation of an Extended Collectives Library for Unified Parallel C |
90 | -- | 105 | Yan Li, Yunquan Zhang, Yi-Qun Liu, Guoping Long, Haipeng Jia. MPFFT: An Auto-Tuning FFT Library for OpenCL GPUs |
106 | -- | 118 | Lei Zhao, Jiwen Yang. Resources Snapshot Model for Concurrent Transactions in Multi-Core Processors |
119 | -- | 128 | Yuan-Qing Cheng, Lei Zhang, Yin-He Han, Xiao-Wei Li. TSV Minimization for Circuit - Partitioned 3D SoC Test Wrapper Design |
129 | -- | 143 | Gao-Li Wang. Collision Attack on the Full Extended MD4 and Pseudo-Preimage Attack on RIPEMD |
144 | -- | 151 | Adrian Atanasiu. A New Batch Verifying Scheme for Identifying Illegal Signatures |
152 | -- | 158 | Bo Yang 0003, Yong Yu, Chung-Huang Yang. A Secure Scalar Product Protocol Against Malicious Adversaries |
159 | -- | 164 | Shusheng Liu, Zheng Gong, Libin Wang. Cryptanalysis of Reduced-Round DASH |
165 | -- | 187 | Qiliang Yang, Jian Lu, XianPing Tao, Xiaoxing Ma, Jianchun Xing, Wei Song. Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty |
188 | -- | 202 | Yu Zhou, Luciano Baresi, Matteo Rossi. Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata |
203 | -- | 216 | Yang Liu, Huaikou Miao, Hongwei Zeng, Yan Ma, Pan Liu. Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System |