Pinned OS/Services: A Case Study of XML Parsing on Intel SCC Jie TangPollawat ThanarungrojJean-Luc Gaudiot Regular Paper 01 February 2013 Pages: 3 - 13
Reorder Write Sequence by Hetero-Buffer to Extend SSD’s Lifespan Zhi-Guang ChenNong XiaoYi-Mo Du Regular Paper 01 February 2013 Pages: 14 - 27
CSWL: Cross-SSD Wear-Leveling Method in SSD-Based RAID Systems for System Endurance and Performance Yi-Mo DuNong XiaoZhi-Guang Chen Regular Paper 01 February 2013 Pages: 28 - 41
Power Adjusting Algorithm: A New Cross-Layer Power Saving Mechanism for Mobile Ad-Hoc Networks Jin-Tao MengJian-Rui YuanLian-Sheng Tan Regular Paper 01 February 2013 Pages: 42 - 53
Energy Efficient Run-Time Incremental Mapping for 3-D Networks-on-Chip Xiao-Hang WangPeng LiuMichael C Huang Regular Paper 01 February 2013 Pages: 54 - 71
Design and Implementation of an Extended Collectives Library for Unified Parallel C Carlos TeijeiroGuillermo L. TaboadaBrian Wibecan Regular Paper 01 February 2013 Pages: 72 - 89
MPFFT: An Auto-Tuning FFT Library for OpenCL GPUs Yan LiYun-Quan ZhangHai-Peng Jia Regular Paper 01 February 2013 Pages: 90 - 105
Resources Snapshot Model for Concurrent Transactions in Multi-Core Processors Lei ZhaoJi-Wen Yang Regular Paper 01 February 2013 Pages: 106 - 118
TSV Minimization for Circuit — Partitioned 3D SoC Test Wrapper Design Yuan-Qing ChengLei ZhangXiao-Wei Li Regular Paper 01 February 2013 Pages: 119 - 128
Collision Attack on the Full Extended MD4 and Pseudo-Preimage Attack on RIPEMD Gao-Li Wang Regular Paper 01 February 2013 Pages: 129 - 143
A New Batch Verifying Scheme for Identifying Illegal Signatures Adrian Atanasiu Regular Paper 01 February 2013 Pages: 144 - 151
A Secure Scalar Product Protocol Against Malicious Adversaries Bo YangYong YuChung-Huang Yang Short Paper 01 February 2013 Pages: 152 - 158
Cryptanalysis of Reduced-Round DASH Shu-Sheng LiuZheng GongLi-Bin Wang Short Paper 01 February 2013 Pages: 159 - 164
Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty Qi-Liang YangJian LvWei Song Regular Paper 01 February 2013 Pages: 165 - 187
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata Yu ZhouLuciano BaresiMatteo Rossi Regular Paper 01 February 2013 Pages: 188 - 202
Nondeterministic Probabilistic Petri Net — A New Method to Study Qualitative and Quantitative Behaviors of System Yang LiuHuai-Kou MiaoPan Liu Regular Paper 01 February 2013 Pages: 203 - 216