1. Preface

   • Erik Altman
   • Wei-Song Shi

   OriginalPaper 01 February 2013 Pages: 1 - 2

2. Pinned OS/Services: A Case Study of XML Parsing on Intel SCC

   • Jie Tang
   • Pollawat Thanarungroj
   • Jean-Luc Gaudiot

   Regular Paper 01 February 2013 Pages: 3 - 13

3. Reorder Write Sequence by Hetero-Buffer to Extend SSD’s Lifespan

   • Zhi-Guang Chen
   • Nong Xiao
   • Yi-Mo Du

   Regular Paper 01 February 2013 Pages: 14 - 27

4. CSWL: Cross-SSD Wear-Leveling Method in SSD-Based RAID Systems for System Endurance and Performance

   • Yi-Mo Du
   • Nong Xiao
   • Zhi-Guang Chen

   Regular Paper 01 February 2013 Pages: 28 - 41

5. Power Adjusting Algorithm: A New Cross-Layer Power Saving Mechanism for Mobile Ad-Hoc Networks

   • Jin-Tao Meng
   • Jian-Rui Yuan
   • Lian-Sheng Tan

   Regular Paper 01 February 2013 Pages: 42 - 53

6. Energy Efficient Run-Time Incremental Mapping for 3-D Networks-on-Chip

   • Xiao-Hang Wang
   • Peng Liu
   • Michael C Huang

   Regular Paper 01 February 2013 Pages: 54 - 71

7. Design and Implementation of an Extended Collectives Library for Unified Parallel C

   • Carlos Teijeiro
   • Guillermo L. Taboada
   • Brian Wibecan

   Regular Paper 01 February 2013 Pages: 72 - 89

8. MPFFT: An Auto-Tuning FFT Library for OpenCL GPUs

   • Yan Li
   • Yun-Quan Zhang
   • Hai-Peng Jia

   Regular Paper 01 February 2013 Pages: 90 - 105

9. Resources Snapshot Model for Concurrent Transactions in Multi-Core Processors

   • Lei Zhao
   • Ji-Wen Yang

   Regular Paper 01 February 2013 Pages: 106 - 118

10. TSV Minimization for Circuit — Partitioned 3D SoC Test Wrapper Design

    • Yuan-Qing Cheng
    • Lei Zhang
    • Xiao-Wei Li

    Regular Paper 01 February 2013 Pages: 119 - 128

11. Collision Attack on the Full Extended MD4 and Pseudo-Preimage Attack on RIPEMD

    • Gao-Li Wang

    Regular Paper 01 February 2013 Pages: 129 - 143

12. A New Batch Verifying Scheme for Identifying Illegal Signatures

    • Adrian Atanasiu

    Regular Paper 01 February 2013 Pages: 144 - 151

13. A Secure Scalar Product Protocol Against Malicious Adversaries

    • Bo Yang
    • Yong Yu
    • Chung-Huang Yang

    Short Paper 01 February 2013 Pages: 152 - 158

14. Cryptanalysis of Reduced-Round DASH

    • Shu-Sheng Liu
    • Zheng Gong
    • Li-Bin Wang

    Short Paper 01 February 2013 Pages: 159 - 164

15. Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty

    • Qi-Liang Yang
    • Jian Lv
    • Wei Song

    Regular Paper 01 February 2013 Pages: 165 - 187

16. Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata

    • Yu Zhou
    • Luciano Baresi
    • Matteo Rossi

    Regular Paper 01 February 2013 Pages: 188 - 202

17. Nondeterministic Probabilistic Petri Net — A New Method to Study Qualitative and Quantitative Behaviors of System

    • Yang Liu
    • Huai-Kou Miao
    • Pan Liu

    Regular Paper 01 February 2013 Pages: 203 - 216